("8.17" tarm64le ("443ac51b77077b22078c24cee5a2aff072225cb0" . "9f2fa4ed95205ae9c3b930334c5446d2ee4d4057") (collects #"htdp" #"lkup-gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
