coq-TVUA7OYX.mjs 153 B

123456
  1. import { require_coq } from './chunk-E7UROAZQ.mjs';
  2. import './chunk-JRLSWQMA.mjs';
  3. var coqTVUA7OYX = require_coq();
  4. export { coqTVUA7OYX as default };