("7.9" racket ("cc18d1ed110745837eb2ae1f479bc0a5dee1f3e3" "ed1b71d66af21932be63b5da437fda0ce0a55168" . "613556314136581bd034405f80bd199c5c6fe429") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"intdef-util.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt"))
