("5.0.1.5" ("490ec582c60af7d394b321d97c11874195717f42" . "44f2170caaac168b475ed3b2b02f96387d6dd682") (collects #"racket" #"main.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"base-render.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"racket.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"bnf.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"scribble" #"reader.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
