("7.0" ("0a2cbad65bb168ddc8bd24dc4b5cc1deaeed93a3" . "72c743a37bd3bb6f76515fd22008a2f382126a64") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
