("5.0.1.5" ("6376b092553a8aad4599e1a32bb850dbb8099c38" . "0938f0722c822af830a605c4398a6ca4e39bcc82") (collects #"scheme" #"base.rkt") (collects #"scheme" #"contract.rkt") (collects #"redex" #"private" #"reduction-semantics.rkt") (collects #"redex" #"private" #"matcher.rkt") (collects #"redex" #"private" #"term.rkt") (collects #"redex" #"private" #"rg.rkt") (collects #"redex" #"private" #"error.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
