("8.17" tarm64le ("f5adca2269dca8ac04491d68556854f643943a11" . "09f38138aad651cdaca9807f3f12b9bc701e9296") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter7" #"checked" #"lang.rkt"))
