("5.3.1" ("2f83be45ef613ded86f5a35d55650b7d486204ee" . "8a684235a4151412bd91baeef3a9717bb520e30b") (collects #"scribble" #"text" #"output.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"reader.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"scheme" #"include.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
