("7.0" ("6750d922c18e33a873f5cda77ebbb117a79cb5fa" . "3c86ad28529749ff1c4e954e9285fa91e96720c7") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
