Add overlays

coq · Nov 9, 2023 · a78923b · a78923b
1 parent 8d8edd2
commit a78923b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/14928-herbelin-tmp-scope-delimiter.sh b/dev/ci/user-overlays/14928-herbelin-tmp-scope-delimiter.sh
@@ -0,0 +1,4 @@
+overlay serapi https://github.com/proux01/coq-serapi coq_14928 14928
+overlay tactician https://github.com/proux01/coq-tactician coq_14928 14928
+overlay vscoq https://github.com/coq-community/vscoq coq_14928 14928
+overlay quickchick https://github.com/proux01/QuickChick coq_14928 14928