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