("7.2" racket ("8674f1c134e0dba96a19354d00f282584c869b62" . "bb8ffa071f6692580c7699da1acbeee65ea894c5") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
