("8.15" tarm64nt ("d6f193760417aa7d2bd061bc9767469d57da0c15" "dab24d707acea7287b50d81c94114dbb4a7976b5" . "b4b1cb38a76031e36d925a965c250ef24bf40fa4") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"serialize.rkt"))
