("7.2" racket ("b9f6795e556022c4906e042f2e76f1ddf82965cc" . "29fe7309f2994fed025721ba0b12af4cd480e44d") (collects #"pkg" #"name.rkt") (collects #"pkg" #"private" #"catalog.rkt") (collects #"pkg" #"private" #"dep.rkt") (collects #"pkg" #"private" #"path.rkt") (collects #"pkg" #"private" #"print.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"format.rkt") (collects #"racket" #"runtime-config.rkt"))
