("5.3.1" ("30c05daa543e1fa4bd983aab266ad861ccd05521" . "867216c2a436efd8efa8b27d555808cbe2e0589b") (collects #"scribble" #"base" #"reader.rkt") (collects #"scribble" #"reader.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
