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