("5.0.1.5" ("59fa67ec835c214c9919122ad54dfcaeff100822" . "8a1adffbc4a324cce7d2e2332973b95c508adce9") (collects #"scribble" #"eval.rkt") (collects #"scriblib" #"gui-eval.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
