Adding overlays.

coq · May 7, 2024 · 225e619 · 225e619
1 parent 725e46f
commit 225e619
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/18996-ppedrot-case-info-rm-tags.sh b/dev/ci/user-overlays/18996-ppedrot-case-info-rm-tags.sh
@@ -0,0 +1,3 @@
+overlay paramcoq https://github.com/ppedrot/paramcoq case-info-rm-tags 18996
+
+overlay elpi https://github.com/ppedrot/coq-elpi case-info-rm-tags 18996