("5.0.1.5" ("1522432123f5ef9c8100b0f4dab9763360a9fd9b" . "2a7e681a612991a846a09dc9e64f4e7c43d5da5e") (collects #"scheme" #"base.rkt") (collects #"scheme" #"contract.rkt") (collects #"scribble" #"manual.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
