("5.0.1.5" ("ee13f1d969ebf4fce35c3cbe7e9749dce3f4bbca" . "59244fa733bc2100e59bfdbb669ccd6f4c3d5993") (collects #"mzscheme" #"main.rkt") (collects #"redex" #"private" #"term.rkt") (collects #"redex" #"private" #"matcher.rkt") (collects #"scheme" #"main.rkt") (collects #"mzlib" #"list.rkt") (collects #"redex" #"private" #"underscore-allowed.rkt"))
