("7.2" racket ("9372b70d6118cdecee8014cc54f1b1a775934ec0" . "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"))
