("5.3" ("a8b0cbb1547fc4775927a90af0df031af240c545" . "d1e3e2420224418cb11c4acb068266f44434413d") (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"))
