Overlays

coq · Aug 30, 2023 · 14ae6d1 · 14ae6d1
1 parent 3f459eb
commit 14ae6d1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/17987-herbelin-master+fix17963-search-anomaly-with-evars.sh b/dev/ci/user-overlays/17987-herbelin-master+fix17963-search-anomaly-with-evars.sh
@@ -0,0 +1,4 @@
+overlay coq_dpdgraph https://github.com/herbelin/coq-dpdgraph coq-master+adapt-coq-pr17987-search-pass-sigma 17987
+overlay coqhammer https://github.com/herbelin/coqhammer master+adapt-coq-pr17987-search-pass-sigma 17987
+overlay serapi https://github.com/herbelin/coq-serapi main+adapt-coq-pr17987-search-pass-sigma 17987
+overlay vscoq https://github.com/herbelin/vscoq coq-master+adapt-coq-pr17987-search-pass-sigma 17987