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