("7.2" racket ("0ccfc7b5c28b9881e5df3a192d3939d811afe6a3" . "3eb4bfeb9a8faab10e0d58af3dda9a7022ba9f08") (collects #"racket" #"contract.rkt") (collects #"racket" #"gui.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"contracts" #"utils.rkt"))
