("8.15" tarm64nt ("0a2cbad65bb168ddc8bd24dc4b5cc1deaeed93a3" "08573fd85f78f835130ff9df7dfd96fc4c4020c2" . "d6f3b7328dce8ed22f77aa5136fedcee48faeb70") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
