("5.0.1.5" ("58e8ce4935aa3b9208bd11e783a3065bb833d6fa" . "b183acd34f3b8a37b8be9e0b89a3adab6a127fd3") (collects #"scheme" #"main.rkt") (collects #"redex" #"reduction-semantics.rkt") (collects #"redex" #"examples" #"racket-machine" #"grammar.rkt") (collects #"redex" #"examples" #"racket-machine" #"util.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
