("7.9" racket ("2622c60c0c88cf7e691613924fc74c2c3d878961" "e394b5b4b24d8503672ed8b22d6f3956e48de537" . "0df05fb469ab2d6e4bac05d0ef301620c72c60bb") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"unit.rkt") (collects #"syntax" #"kerncase.rkt"))
