("8.17" tarm64le ("f1f44034152ed371a60af371bff24aa8ce6bbb8e" . "cee87a988928e8e3f90d8bbbf4cc822aa766c235") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"private" #"utils.rkt"))
