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