Overlay for elpi and equations

coq · Oct 28, 2023 · b37c09c · b37c09c
1 parent b5f0778
commit b37c09c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/18190-herbelin-master+weak-cbv.sh b/dev/ci/user-overlays/18190-herbelin-master+weak-cbv.sh
@@ -0,0 +1,2 @@
+overlay elpi https://github.com/herbelin/coq-elpi coq-master+adapt-coq-pr18190-whd-cbv 18190 master+weak-cbv
+overlay equations https://github.com/herbelin/Coq-Equations master+adapt-coq-pr18190-whd-cbv 18190 master+weak-cbv