("5.0.1.5" ("fa3bab13b27e036a8055ad0b230010274170c8a0" . "936af36126d0dbbcc552454ac7c06a7980be1d34") (collects #"mzlib" #"cmdline.rkt") (collects #"scheme" #"cmdline.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
