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