("8.17" tarm64le ("340943f8d33f1d7e00a784dc589880316ac1a9fc" . "508a53f4c05fafd4f506eed996441ed4a5ac98b8") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
