Adding overlays for elpi and QuickChick.

coq · Jul 21, 2021 · 5e3522e · 5e3522e
1 parent c869850
commit 5e3522e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/14598-herbelin-master+proj-nodes-in-concrete-syntax.sh b/dev/ci/user-overlays/14598-herbelin-master+proj-nodes-in-concrete-syntax.sh
@@ -0,0 +1,2 @@
+overlay elpi https://github.com/herbelin/coq-elpi coq-master+adapt-coq-pr14598-adding-proj-syntax-constructor 14598
+overlay quickchick https://github.com/herbelin/QuickChick master+adapt-coq-pr14598-adding-proj-syntax-constructor 14598