("5.0.1.5" ("b0f0aa4aa3646a34cee13e6dc5eab4582024c083" . "10b73e4e2e8eedc75cc44ca6d99dca4c59fca2fe") (collects #"srfi" #"provider.rkt") (collects #"srfi" #"60" #"60.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
