("8.17" tarm64le ("8c55f1f5f158cb5af3735cd1997eb9ea961c712a" . "3e84c352cd1149a954cadb0bb3f6702e010a32bc") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"core.rkt"))
