("5.0.1.5" ("24727fe0da9f913adc8dc0c8130c838d3313f4d7" . "3652b7557abc2f75b94a5959d7723070c5077094") (collects #"slideshow" #"play.rkt") (collects #"slideshow" #"code.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"slideshow" #"ss.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
