("5.3.1" ("e5f472b30fac39832c1b92ef41185c75b64f6514" . "f5525bca2dd5eb6bfee7c95cbdf7ef55e0f60857") (collects #"srfi" #"%3a38.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
