Adding overlays for elpi and QuickChick.

coq · Jul 29, 2021 · 0f66f53 · 0f66f53
1 parent 5481d06
commit 0f66f53
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