("8.17" tarm64nt ("8fcc71db54766e78e52040a8e620f83e416a2461" "0ec91ec7dfb0daeede383477d11bf35ed1da3005" . "3d9c5189498b212c535cc304b4e792ade929d4a3") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"doctable.rkt"))
