("5.3.1" ("5493ed62470a4fc048528cbd0fc69298fadf0477" . "a09f8807fd88a6a8e48238f6bf2b81ae746a7ac2") (collects #"scheme" #"base.rkt") (collects #"scheme" #"include.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"private" #"lp.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
