("7.3" racket ("1018e97cdb165985d5d9f6183d4d235a7cea6d4a" . "e27e78b3958f596fca2cc8990969cc8f8589c2ac") (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"))
