("5.0.1.5" ("15d3b007e35dee86fb2bcb797e30d56deb70239f" . "8d8f08bd19457894734918c1075394bf9d791b2b") (collects #"mrlib" #"hierlist.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mrlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
