("8.17" tarm64le ("cf967d00e35cfa218e320718934c81ef260be78c" . "6e2f6407a5ab3cebbecfe7b3f63f884b83491372") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"lang.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"static-classes.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"static-data-structures.rkt"))
