("7.2" racket ("31b1bddf5d65e401c82548814d8bd4a674db239b" . "ac14caa8d46e7c51a29caba240aee377b2da37dd") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"sandbox.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed" #"untyped-utils.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
