("5.3" ("9567d311292783250adb5822d2e0b0cd7e7380d5" . "de8541236542b53c15a95202e9afc0804dbb7b88") (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"))
