("7.8" ta6nt ("cc18d1ed110745837eb2ae1f479bc0a5dee1f3e3" "2736f41aee458089fe7df530380e797f10279c94" . "c14f9f43f607ac51a11408481b3d387c6fb2b7b3") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"intdef-util.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt"))
