("7.9" racket ("562aa3eaa6ab57ecbd8b1468fafa89d88f3e069c" "e2759d7fc572372da9cff0cabfe5d41fb4fb39dd" . "a2871e9b2dd560afee95e1a57a604aa26721ab68") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
