("5.3.1" ("c8b877a2310c4d29714c01190c7bc53ae873638c" . "e9fb67dbd895c403999be7ad7b56597700e33ba3") (collects #"scheme" #"file.rkt") (collects #"scheme" #"cmdline.rkt") (collects #"r6rs" #"lang" #"reader.rkt") (collects #"syntax" #"modcode.rkt") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"private" #"readtable.rkt") (collects #"r6rs" #"private" #"encode-name.rkt") (collects #"scheme" #"port.rkt") (collects #"setup" #"dirs.rkt") (collects #"compiler" #"cm.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
