("8.15" tarm32nb ("82b677475eba6c0d349d7640ea1b6f55db478940" . "5a811d1b01bed3d8bf339e6c154864d477c8bded") (collects #"pict" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual.rkt") (collects #"slideshow" #"base.rkt"))
