("5.0.1.5" ("22fe27fd8a5338bcf744488177feb2a544b8919b" . "7bef5ef6c718c0c8658689e026e1f0dc862deb8b") (collects #"slideshow" #"main.rkt") (collects #"slideshow" #"initial-ones.rkt") (collects #"slideshow" #"code.rkt") (collects #"mred" #"main.rkt") (collects #"slideshow" #"face.rkt") (collects #"slideshow" #"balloon.rkt") (collects #"mred" #"edit.rkt") (collects #"slideshow" #"step.rkt") (collects #"slideshow" #"lang" #"reader.rkt"))
