("5.0.1.5" ("936e03c12961a28bfa9a676a654628423679f146" . "413c118bd4d58ef84984aa33b3180bc8dbbde4f9") (collects #"scheme" #"base.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scheme" #"contract.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
