("5.0.1.5" ("ab067da25fa91fe48faf8b7c0594f8966d0e896c" . "e9588fc4e761c0a767b3fc671371505308522ee7") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribblings" #"scribble" #"layers.scrbl") (collects #"scribblings" #"scribble" #"reader-internals.scrbl") (collects #"scribblings" #"scribble" #"core.scrbl") (collects #"scribblings" #"scribble" #"renderer.scrbl") (collects #"scribblings" #"scribble" #"decode.scrbl") (collects #"scribblings" #"scribble" #"doclang.scrbl") (collects #"scribblings" #"scribble" #"docreader.scrbl") (collects #"scribblings" #"scribble" #"xref.scrbl") (collects #"scribblings" #"scribble" #"config.scrbl") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
