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