("7.2" racket ("98d20ea35068980dda02a4cf3a38309ba2ed0b96" . "6f438acb1afcebc4fa28fd5408988bdf66e69ab4") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt"))
