("5.0.1.5" ("3cde10389f170720109d5c74269c932e08029c4e" . "96a0ad8cfd578ebae973a2238e05b564ade4fea2") (collects #"scheme" #"port.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scheme" #"main.rkt") (collects #"scribble" #"basic.rkt") (collects #"scheme" #"include.rkt") (collects #"scribble" #"manual.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
