("8.17" tarm64le ("9be2109bc3c5a06dd6f5bcc831e7bfdee11d76b9" . "478b6b5a3abfeb124d73d8f90892afdd2005b0ba") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter3" #"lexaddr-lang" #"lang.rkt"))
