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