("8.17" tarm64le ("e98a994a34af2a9580208380679b2593d06eeea8" . "5fbdbc446fe3ef10d564e58f5f654217dd7b1df6") (collects #"mred" #"mred-sig.rkt") (collects #"mred" #"mred.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mzscheme" #"main.rkt"))
