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