("5.3.1" ("fe0b544100164fd08daced43af2ead9c65e0c9b2" . "80835964caacb941c7b9f8907ea7fbb0579935fa") (collects #"srfi" #"8" #"receive.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
