("8.17" tarm64le ("0fc719e578682ea5fd2faee3825442371e67013c" . "0d64b1cee6536353f6fd6c28ae75b95794788779") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mzscheme" #"main.rkt") (collects #"trace" #"stacktrace.rkt"))
