("8.15" tarm32nb ("ee56320d2531dd174b76dee73f9ddcf7c6bfbc13" . "ca39899983fea624da876438e70e4d124278c7bc") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"classes.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"lang.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"store.rkt"))
