("7.2" racket ("796f32182baa69bbdf2d2e42b9e6712831f4c38e" . "1f69a1b0d5d77533b835fadba4c7b0eecdbde983") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scriblib" #"footnote.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
