From 2dcc49d44d292cfe84fbcd9b9a49b4f0f8b73eaf Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Thu, 12 Sep 2024 14:56:28 +0200 Subject: [PATCH] Add overlays --- dev/ci/user-overlays/19530-proux01-stdlib-repo.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 dev/ci/user-overlays/19530-proux01-stdlib-repo.sh diff --git a/dev/ci/user-overlays/19530-proux01-stdlib-repo.sh b/dev/ci/user-overlays/19530-proux01-stdlib-repo.sh new file mode 100644 index 000000000000..35c73143bc22 --- /dev/null +++ b/dev/ci/user-overlays/19530-proux01-stdlib-repo.sh @@ -0,0 +1,9 @@ +overlay elpi https://github.com/proux01/coq-elpi stdlib_repo 19530 +overlay metacoq https://github.com/proux01/metacoq stdlib_repo 19530 +overlay quickchick https://github.com/proux01/QuickChick stdlib_repo 19530 + +overlay coqutil https://github.com/proux01/coqutil stdlib_repo 19530 +overlay coq_dpdgraph https://github.com/coq-community/coq-dpdgraph stdlib_repo 19530 +overlay equations https://github.com/proux01/Coq-Equations stdlib_repo 19530 +overlay coq_tools https://github.com/proux01/coq-tools stdlib_repo 19530 +overlay coq_lsp https://github.com/proux01/coq-lsp stdlib_repo 19530