("8.15" tarm64nt ("8fcc71db54766e78e52040a8e620f83e416a2461" "34d85118ca38a2f909fd3c399bfff90b716e3184" . "d60db1117a405dd0c66d6a31a2021a5f61ffdda8") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"doctable.rkt"))
