("7.2" racket ("2f6169bdb8249e8c391c11c1c4ed4f15938c5fe6" . "fa35e84996703c476e1102f5b9958a68d878ca15") (collects #"pkg" #"name.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"cmdline.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"raco" #"command-name.rkt") (collects #"setup" #"private" #"command-name.rkt"))
