("8.17" tarm64le ("0bbabae81df11a3b034522d8ef544d6cc4ecb270" . "ddfab4cb2c6e093c97b2d7108dd40144206ce698") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
