("8.15" tarm64nt ("dbcf27ea1d7bc22279ec2c6d5f2f6730d5f51fe7" "1a77ec64a5c4110c75dae511fe015e271031d644" . "e76e8dbe9308da2fca5cc0a82fdd1444a82b7f9d") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
