import { require_coq } from './chunk-JBVUCT3L.js'; import './chunk-BS5JN4MX.js'; var coqCY4ZU3GN = require_coq(); export { coqCY4ZU3GN as default };