Skip to content

Commit

Permalink
Adding overlays.
Browse files Browse the repository at this point in the history
  • Loading branch information
@ppedrot
ppedrot committed Jan 14, 2025
1 parent 5191f01 commit 295212d
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions dev/ci/user-overlays/19995-ppedrot-module-abstract-type.sh
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
overlay coq_lsp https://github.com/ppedrot/coq-lsp module-abstract-type 19995

overlay elpi https://github.com/ppedrot/coq-elpi module-abstract-type 19995

overlay metacoq https://github.com/ppedrot/metacoq module-abstract-type 19995

overlay paramcoq https://github.com/ppedrot/paramcoq module-abstract-type 19995

0 comments on commit 295212d

Please sign in to comment.
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy