("5.0.1.5" ("056fc6b88e1167b69868bae1e5ada8a9802940d1" . "a8d875e789c4ffd9765f0aec567865b64aea14dd") (collects #"scheme" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"bnf.rkt"))
