("8.17" tarm64le ("72f8a7da8480ffb80ff192d35c349213a4b99fc4" . "dd78be681188d43ce004b70c1a43be4d22e06df6") (collects #"net" #"uri-codec.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
