("7.2" racket ("5f04901303eff2a908a19ae4c6f2d2ab0aff5111" . "c43abc41aeedd4bbda3d8d102be31868dfe82fae") (collects #"racket" #"date.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
