("7.2" racket ("6e1d7086136586b8ce67fea8beec1ad2b40f6936" . "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"))
