("5.0.1.5" ("8faa38751c9a70a4e492f784be883eabd4d35bc0" . "f429dbd6100e488ded2d5d682ab6780a067c7167") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"main" #"private" #"utils.rkt") (collects #"scribblings" #"main" #"private" #"manuals.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
