("8.15" tarm64nt ("df0dfc4fc046c370a48ff52ec354f5011b5cde6d" "08573fd85f78f835130ff9df7dfd96fc4c4020c2" . "d243c3dd6106abbe9c8235630d9ca91adcab8bba") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
