("7.2" racket ("b7c1e9dac9e76fcc89f6641df9cabf0887ffaabe" . "2c0053f10c277c3ea02f6afa669a4469be3097d2") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribblings" #"slideshow" #"ss.rkt"))
