("8.17" tarm64le ("79c10962d2951d12f0f485d9cb638c38d3fb5c8e" . "dd267961c2c1ef12ecb57aebdd63fbb51f782b7c") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"lang" #"reader.rkt") (collects #"mzscheme" #"main.rkt") (collects #"racket" #"private" #"namespace.rkt") (collects #"syntax" #"moddep.rkt"))
