("7.9" racket ("c936c3442dda718f56ff2717efbceac61099ed9b" "dce1a1eb5702c859408bb777a7d78f0137e1ba9f" . "d1cb070317f26764611f7feda163daa7e0c679c3") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
