("5.3" ("8996996d7fe80f13fcbc92a9369c779094fd1115" . "dd8fc6e16d67505e2bca3860992c16cd5450354f") (collects #"slideshow" #"balloon.rkt") (collects #"slideshow" #"code.rkt") (collects #"slideshow" #"initial-ones.rkt") (collects #"mred" #"edit.rkt") (collects #"slideshow" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"slideshow" #"step.rkt") (collects #"slideshow" #"face.rkt") (collects #"slideshow" #"lang" #"reader.rkt"))
