("5.0.1.5" ("3decf091abccf38930bf54828643e4d7e4bd8bff" . "70e45fc3169025b89cd60a25bbebf6feb333f68a") (collects #"srfi" #"provider.rkt") (collects #"srfi" #"28.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
