("5.3.1" ("d3b697e85a0af1630ac2a0b60c51f3916aca5518" . "1b6d4f86afc1d71490a1e59bfb66d96f6d9d1db5") (collects #"srfi" #"%3a2.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
