("5.3.1" ("8996996d7fe80f13fcbc92a9369c779094fd1115" . "bed048d463c5e9d4c0d8a37c9150508f4c4caff9") (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"))
