("7.0" ("034efbf585a5a3915536c94f7bb354958744775a" . "f14c405bfba44c538892176a6465f1cc886b40e0") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
