("5.3.1" ("f38a84e1d1a9905859eebca230ea88936f62b5e0" . "58950e003d6e19bc4d8ec594be270833133a83a6") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"syntax-color" #"module-lexer.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"private" #"manual-scheme.rkt") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"strip-context.rkt") (collects #"scribble" #"racket.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
