("8.17" tarm64le ("4f6774b6f73e71ef6d3eb14de4b2c8b369ad9736" . "15dd4f80a8948e838da31c4a99f8d75c15becab5") (collects #"mred" #"private" #"const.rkt") (collects #"mred" #"private" #"kernel.rkt") (collects #"mred" #"private" #"wx.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"main.rkt"))
