overlay for coq-core -> rocq-runtime renaming

SkySkimmer · Dec 11, 2024 · 48526cb · 48526cb
1 parent f49fd25
commit 48526cb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/19764-SkySkimmer-rocq-cli.sh b/dev/ci/user-overlays/19764-SkySkimmer-rocq-cli.sh
@@ -0,0 +1,3 @@
+overlay coq_dpdgraph https://github.com/SkySkimmer/coq-dpdgraph rocq-cli 19764
+
+overlay coq_lsp https://github.com/SkySkimmer/coq-lsp rocq-cli 19764