("5.3.1" ("7a4ec98127a12f2edc30f03ede5f47e18fa9d250" . "db3e3225a772d1da7438c48e7c5e959999c25785") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"racket.rkt") (collects #"scribblings" #"reference" #"prog-steps.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
