("5.0.1.5" ("44cfea94eff8de70412d3af9212d3304b92a64f7" . "aab2a6c4572d805a667f387abd0b8aa0c031781d") (collects #"slideshow" #"main.rkt") (collects #"slideshow" #"pict.rkt") (collects #"mred" #"mred.rkt") (collects #"slideshow" #"lang" #"reader.rkt"))
