("8.15" tarm64nt ("80cee5f08e1f03a060dd7a2f23fe847ad80b8dcb" "f4e172ff5c089df1dff6688703ebbf2fdd030a49" . "ec525842272918f550356daef9d8c4e6eec8fbe6") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"modcode-noctc.rkt"))
