("8.17" tarm64nt ("0312e55b087879f9d0ba9f80b8e49585e8c7c4f6" "0222d18a4a8a004dbd0a542b20aae5c246a8a180" . "b9516cdeaa8df794eb1fdedae24e2bc967ecab87") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"name.rkt"))
