("5.0.1.5" ("2f0145bb86a5357899f2c2779a8bdf5c4987c22e" . "6281a6068cc29d90357be8c1b725f6686fb83523") (collects #"scribble" #"doclang.rkt") (collects #"mrlib" #"scribblings" #"aligned-pasteboard" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
