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