("8.15" tarm64nt ("c3eda922a69888d7ac96ce6f9479ebc25bebaf9f" "1a77ec64a5c4110c75dae511fe015e271031d644" . "0dc7611c8bcd6bf3ac6756a039ae92d5bce960a4") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
