Skip to content

Commit

Permalink
Add overlays
Browse files Browse the repository at this point in the history
  • Loading branch information
@proux01
proux01 committed Dec 5, 2024
1 parent fff68a5 commit 2dcc49d
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions dev/ci/user-overlays/19530-proux01-stdlib-repo.sh
View file
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 2dcc49d

Please sign in to comment.