("5.3.1" ("d4009eb8509bd944e35c5b4ce7f4b57980443d09" . "b5c88ec239ed7543463b158d79ed606b2a04328a") (collects #"r6rs" #"private" #"readtable.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
