("8.17" tarm64le ("33c12d99d4318edfa72271bf11e10afea9b192e0" . "c98e233bde7e235e0df6e197f7870289667363cc") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter8" #"full-system" #"lang.rkt"))
