("8.15" tarm64nt ("7e32bccb46f9e014234a7c7f73e4de583987aa6e" "caebb0286c8cf2722ad325756c66c6ef94904bfa" . "b122b7673cc4fd1ab24c35ae20592faf5357e142") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"symbol.rkt") (collects #"syntax" #"readerr.rkt"))
