("5.0.1.5" ("ee862f91af0a6ddd63be5090faec1dd7d607b5c4" . "f31b1afb6399fc56d6bafcd87b2a1a4b25ebe517") (collects #"scribble" #"sigplan.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
