("5.3.6" ("0066a596e73af7f3602a16096fb57877c96cc69f" . "16ddee51e76df8705e9d55e0acec9c01777c63fc") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"basic.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"include.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
