("5.3" ("37c13d07ed4560322efa005035b83afc9c98af9c" . "f765c4c83b66630cfff3da7b1b88aa63208d5520") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"private" #"manual-scheme.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"search.rkt") (collects #"scribble" #"basic.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
