("5.0.1.5" ("e35b174cef518269a65e83b54ec6e109ceffe42d" . "243149f54bf426e5114dbe394770155900cec101") (collects #"mrlib" #"interactive-value-port.rkt") (collects #"scheme" #"pretty.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mrlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
