Overlay for elpi and equations

coq · Oct 27, 2023 · 30a61da · 30a61da
1 parent e8fb92b
commit 30a61da
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