("8.17" tarm64le ("2adee43286d9b6d72cec7740efee2112919d1c7a" . "7e1bc0923542df160b13706c9db6d47c9224e1e1") (collects #"deinprogramm" #"sdp" #"private" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
