("7.2" racket ("8ec3b44bcf6c3d46a5a3bca74f7f6ea7ddc80739" . "1e3df5fc4377c20f37c7037227531d801628df9d") (collects #"racket" #"hash.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
