("7.0" ("3b149762c4e444abc5624c2b7732c35adf3f392c" . "ddf705b5e3a62783f62573027c353fc3747649a3") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt"))
