Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 4b2709e6 · 2a40a0b1
--- a/jscoq.js
+++ b/jscoq.js
--- a/jscoq.opam
+++ b/jscoq.opam
--- a/package-lock.json
+++ b/package-lock.json
--- a/package.json
+++ b/package.json
--- a/package.json.wacoq
+++ b/package.json.wacoq
--- a/tests/qa0/nonzeros.v
+++ b/tests/qa0/nonzeros.v
--- a/coq-serapi @ 0bd0772f
+++ b/coq-serapi @ 0bd0772f
-Subproject commit 0bd0772fe683d1dbfd3bd29db5ad652e74a70f66
--- a/vendor/coq-serapi/.github/workflows/ci.yml
+++ b/vendor/coq-serapi/.github/workflows/ci.yml
--- a/vendor/coq-serapi/.gitignore
+++ b/vendor/coq-serapi/.gitignore
--- a/vendor/coq-serapi/.ocamlformat
+++ b/vendor/coq-serapi/.ocamlformat
--- a/vendor/coq-serapi/AUTHORS
+++ b/vendor/coq-serapi/AUTHORS
--- a/vendor/coq-serapi/CHANGES.md
+++ b/vendor/coq-serapi/CHANGES.md
--- a/vendor/coq-serapi/CODE_OF_CONDUCT.md
+++ b/vendor/coq-serapi/CODE_OF_CONDUCT.md
--- a/vendor/coq-serapi/CONTRIBUTING.md
+++ b/vendor/coq-serapi/CONTRIBUTING.md
--- a/vendor/coq-serapi/FAQ.md
+++ b/vendor/coq-serapi/FAQ.md
--- a/vendor/coq-serapi/LICENSE
+++ b/vendor/coq-serapi/LICENSE
--- a/vendor/coq-serapi/Makefile
+++ b/vendor/coq-serapi/Makefile
--- a/vendor/coq-serapi/README.md
+++ b/vendor/coq-serapi/README.md
--- a/vendor/coq-serapi/ROADMAP.md
+++ b/vendor/coq-serapi/ROADMAP.md
--- a/vendor/coq-serapi/VERSION
+++ b/vendor/coq-serapi/VERSION
No results found