("8.15" tarm64nt ("97d94bedbc36e4aa26f6a86edd0fcd56e0e01194" "c74293fc4bfc6f1774f872bdd66983a4b62f48dd" . "11ddb463e41b4558899e0c03fdc28acd18e80306") (collects #"pkg" #"name.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"matching-platform.rkt"))
