("5.0.1.5" ("e584b55ce681492754b22cf79fc3836e4d3c1390" . "1f3b3c0a352b2a1a3c48d1cd222b0c74ba7f1345") (collects #"racket" #"port.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"racket" #"main.rkt") (collects #"scribble" #"basic.rkt") (collects #"racket" #"include.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"lang" #"reader.rkt"))
