("7.9" racket ("37761c7d72dd97dc4cee4c083650523ec8f713fe" "2e35f7c7a7bc0171aefce22bf32c775a2ed70881" . "04e54fdbe17d99247318e8aabe3e936a18ec07f4") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"undefined.rkt") (collects #"syntax" #"kerncase.rkt"))
