("5.0.2" ("3cde10389f170720109d5c74269c932e08029c4e" . "100d38e68f67c15127fa9bf5fac5f5f0ec229d47") (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"))
