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