("8.15" tarm32nb ("2ccd889deb00fa0e19203c136deecc3f37afb988" . "505c46e4b0e9d8caf67590460a48b7526049f343") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"web-server" #"lang" #"abort-resume.rkt") (collects #"web-server" #"lang" #"util.rkt"))
