("7.2" racket ("96930f09ca3d8fb98d1c8f44c54e9e0d5c6f1506" . "c488b122cf89801eaa659c2e0f4f6f4a08ee1872") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"setup" #"cross-system.rkt"))
