("5.0.1.5" ("a35b4739169195f145a8d2dc1f77ae0a8f188cbd" . "8e6e740c41378003f4f6c3a55cf4199a65c71bd3") (collects #"mzlib" #"pregexp.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
