("5.3.1" ("bffad1ca7aa90f4e459b463df3f59b75daec2f84" . "0edfc12b6becaef49a66b129fac5729c507f5a33") (collects #"srfi" #"67" #"compare.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
