("8.15" tarm32nb ("2d665c73bdbf90b0497594b129dc457e4854ac0a" . "7174692bbe6cb62bbd0d77e77eee92d53f9e1bc0") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter9" #"classes" #"lang.rkt") (collects #"eopl" #"tests" #"chapter9" #"classes" #"store.rkt"))
