("5.3.1" ("ea06a9e310d3d53ecdd3ad8c556249da6eb6f2a7" . "22ceb64cad728748eb8108b49bbbae175948df9f") (collects #"srfi" #"%3a13.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
