("8.17" tarm64le ("220cd0082b7a853b9a3c311b0acefb9d87b5b050" . "e779785e2abbd3957da2b52ea1c97db4f226540f") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzscheme" #"main.rkt"))
