("5.3.1" ("d7e6f312850e0588d31668e56d56c27d1ee6bddb" . "321e92def69ca1eedea705c2d573f504ec20c278") (collects #"r6rs" #"private" #"records-explicit.rkt") (collects #"rnrs" #"syntax-case-6.rkt") (collects #"r6rs" #"main.rkt") (collects #"r6rs" #"private" #"prelims.rkt") (collects #"rnrs" #"base-6.rkt") (collects #"r6rs" #"lang" #"reader.rkt"))
