("7.8" ta6nt ("c2fdad9a8938d83b784fdcafa234053c2e808966" "94fb1c72af0c93ab9fac2e503dbd88992f2409f5" . "37f800e3674fb0ef06c63a3dec1b11411dc9e71c") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt"))
