("8.17" tarm64le ("16778799998b062fdd38f2c0e94124fd8af43560" . "06caf464435b50a28c28a47c9286d380e1b408f5") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter6" #"cps-lang" #"cps-out-lang.rkt"))
