("7.2" racket ("6a35e1b623815527e008e3cfe7a755db6671324b" . "9c98b1424c3fab7926a0507f0dc327b5110a9944") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
