("8.17" tarm64le ("ad38da5306c6be0f1d04baf0c1f8c3c1c66b07cb" . "4c2842d885a5fd40ece3bb0e5c0e5fd07943cfcb") (collects #"framework" #"main.rkt") (collects #"mrlib" #"graph.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"private" #"size-snip.rkt"))
