("8.15" tarm32nb ("33c12d99d4318edfa72271bf11e10afea9b192e0" . "df98381f14e1f8f50590ccdb11cb36b068045240") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter8" #"simplemodules" #"lang.rkt"))
