("5.0.1.5" ("6f0b419cd6760f056367dcecbc959aa016e297fc" . "e78007e86baf4656657bc6a1a8be1b5bd12a973d") (collects #"mzlib" #"file.rkt") (collects #"scheme" #"contract.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
