("7.2" racket ("33d2f232231204bf8c24f0f32018d42048d75bda" . "87440898515e36242026286027f63453b7eeed6b") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt"))
