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