("5.0.2" ("d4332fdc415cedbbd8cc34bd702f5d5eeab897b6" . "a738e7e36c6329e4f9a6cff622f69e738dd1f3e8") (collects #"scribble" #"sigplan.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
