("5.0.1.5" ("dce6bcae0cc7c438cf9f5d1d8ef93de09717c904" . "61fd3da74613cb5019c1a76e75cc7f50fd6ad9b8") (collects #"scheme" #"main.rkt") (collects #"redex" #"main.rkt") (collects #"redex" #"examples" #"subst.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
