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