("8.15" tarm32nb ("505bc51d134268bb833101578df42f0ef3af27c2" . "b33a1c3387f42c140c7533ba7fc709f42c4576fd") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter4" #"implicit-refs" #"lang.rkt") (collects #"eopl" #"tests" #"chapter4" #"implicit-refs" #"store.rkt"))
