("5.3" ("9567d311292783250adb5822d2e0b0cd7e7380d5" . "3f46e6ad5090bbec640eac8e29739f2a5dfdaab0") (collects #"scribble" #"eval.rkt") (collects #"racket" #"main.rkt") (collects #"scribble" #"basic.rkt") (collects #"racket" #"include.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"port.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"racket" #"lang" #"reader.rkt"))
