("8.17" tarm64le ("0240cb14ffbb70ddb2ce6e1311ffadeb141961da" . "e4ad8e7f64d96b66e833537d50357c7cd96aaa2c") (collects #"mred" #"mred.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
