("8.14" racket ("8be5fb6dc97f5804a51d76d00b74b0cbd5a0636c" "41367637cc1860091a05961b3b46867f6b9b33a6" . "7058fee7ea040ddce1603fe644c2edb2a9dce095") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"intdef-util.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt"))
