("8.17" tarm64le ("513a1f6f5b78a3f5d2a7f3ca2a16a28f5007669c" . "d85fb2a2e9cfe5dcc1952cbc8408dcbffb995943") (collects #"mzscheme" #"main.rkt") (collects #"slideshow" #"run.rkt") (collects #"texpict" #"slideshow.rkt"))
