("5.0.1.5" ("b412db1eac073d9f6486b7f5df542400a5c19d24" . "0428fb88d77607ae1f7099307977c38521c2be52") (collects #"scheme" #"base.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"port.rkt") (collects #"preprocessor" #"mztext.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
