("5.0.2" ("056fc6b88e1167b69868bae1e5ada8a9802940d1" . "ec4ca28c39f5cc692829f33dc12bfe5461e1b432") (collects #"scheme" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"bnf.rkt"))
