("8.17" tarm64le ("08e80e8c1e294425952a1c4e0c04c78c6e871a70" . "d2245672800a5fc3046da9096ec3e26971b23982") (collects #"framework" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
