("8.17" tarm64le ("73e0b6c470ebbdc64aac3bd75b6d29ba57705d95" . "5cfd0ffe968887235407e65a30dab88316e716c0") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter4" #"call-by-need" #"store.rkt"))
