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