("7.2" racket ("db2e98690bc35c0c34e794a638c4f99b7c5ec569" . "557c68bc1eb52dfe6363228c469b26088889d296") (collects #"net" #"git-checkout.rkt") (collects #"pkg" #"private" #"config.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
