("7.0" ("aeb150d1804ef4a0d97e9462506bbc20b9e5f576" . "07157a6f8ca5c2c3c519074bf187ca8898f50f0f") (collects #"planet" #"config.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
