("5.3.1" ("66278f6dced1508eb7fc16c0b03ed7fa94aaf270" . "7b79ba73ac05d40db7436ddc9c233db6cb832de1") (collects #"srfi" #"25.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
