("7.0" ("a4b029c9caa5e8c9ac96971fa1d4a0caf0d7d91c" . "e74badc39396b4428ad6b1fe88472396e9cd4861") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"modcode-noctc.rkt"))
