("7.9" racket ("c2fdad9a8938d83b784fdcafa234053c2e808966" "a6e38a0f611ba7be571ae66d28411770020e27e0" . "369b76bb1d384396e4c46e470506a07af091ee90") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt"))
