Adding overlays for elpi and QuickChick.

coq · Jul 26, 2021 · bbebaac · bbebaac
1 parent a82dff6
commit bbebaac
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