("5.0.1.5" ("0a76d20a27361a9dff025473a8b6d458a82213e1" . "9bab43f0b73c89c1a7d62dc5b0d7313e9ea304fe") (collects #"scheme" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"scribble" #"reader.rkt") (collects #"scribble" #"text" #"output.rkt") (collects #"scheme" #"include.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
