("5.3.1" ("c6b2eb71b0e890fdeeb94cc902b1eb3d927dac62" . "cf45a717e9edc6114aa9bcf08e19133fa50394c8") (collects #"scheme" #"base.rkt") (collects #"scribble" #"reader.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
