("5.3.1" ("54a5584c64fe2f45ca60de4ed8d0760dc4722e84" . "2a6b218988bc1f936d3b0eaafcc2b70cc5cac1e8") (collects #"srfi" #"%3a67.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
