("7.6" racket ("2622c60c0c88cf7e691613924fc74c2c3d878961" "1b2bee2bb91d0a6a70f7e9e1da1d0c66b17f78ef" . "94cab2b58ee9d4df135411ca8fcacee239fbda0f") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"unit.rkt") (collects #"syntax" #"kerncase.rkt"))
