("8.15" tarm64nt ("bdfc8c1a942a99e0cc979bd8b9da42a6b2684688" "462c076df01a55451e3f63f006424c66d1a2103c" . "dd21cd031de48e8609c4a9bcf6932b4a6aa11f64") (collects #"dynext" #"filename-version.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"cross-system.rkt"))
