("8.15" tarm64nt ("c8bb90994b180a0a49e33e08ff48dbd483dd88b3" "ec0b35c6afc02ea70c89d33bf79f7db4b5cfbfff" . "e87b0c299cd9966d23f3bfb6dc8c2b0b02da1f20") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
