("5.0.1.5" ("c2ceb1fb80c635929362c34264b73be3afb1f06c" . "5f455cb07563bf760ba194de85a769b0820ed9ab") (collects #"scheme" #"base.rkt") (collects #"scribble" #"manual.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
