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