("5.3.1" ("a8b0cbb1547fc4775927a90af0df031af240c545" . "4c72dae9449a6e06d451c91c9b6024b88222c6ea") (collects #"scribble" #"comment-reader.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"strip-context.rkt") (collects #"compiler" #"cm-accomplice.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
