("5.0.1.5" ("5b27d1fb74677f1e2557417b5442ad5554176288" . "55eb1f41c20aa1bde37772483ae2c2b043dc3c58") (collects #"scheme" #"base.rkt") (collects #"mysterx" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
