("8.15" tarm64nt ("c638adfc8ff3b103ab9d7cbe4ab034a4c5cb1511" "4e28ffc145be5e90f1230e5baba1f72f6184b6f4" . "f2ec3fded201fb1c1de72ce5c03bd2e6e9d389ef") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
