("8.15" tarm32nb ("fe4cf2504cceb77dad3d02baca12070816dc54c3" . "9b24b2edede15dfbe19ec4ab579a67aff8a52792") (collects #"htdp" #"arrow-gui.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
