("5.0.1.5" ("fbe67e821896bbf2896215f2b07193a248230788" . "6f4770e929b0ad5bfc848e649799478308a56114") (collects #"mzlib" #"restart.rkt") (collects #"mzlib" #"cmdline.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
