("8.15" tarm64nt ("774a293e663ce99f32bc76bd26722c06f35da65b" "8ca420fba10bc45efd418b3466d45e297acc31bc" . "87ccbc3f9c72cc46ec9ab342ac388dfe4cc64d47") (collects #"db" #"private" #"pre.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"format.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"serialize.rkt") (collects #"setup" #"main-doc.rkt"))
