("8.17" tarm64nt ("97d94bedbc36e4aa26f6a86edd0fcd56e0e01194" "e5d972562670932d9d8b7e3d22fcf79f1f99c7ad" . "55b025cee9a941a99ff0780a4d476c14c5bf0684") (collects #"pkg" #"name.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"matching-platform.rkt"))
