overlays

Tragicus · Tragicus · commit 9faf9e6c80b7 · 2025-10-13T11:33:29.000+02:00
diff --git a/dev/ci/user-overlays/21180-Tragicus-evd-inst.sh b/dev/ci/user-overlays/21180-Tragicus-evd-inst.sh
@@ -0,0 +1,3 @@
+overlay hott https://github.com/Tragicus/Coq-HoTT rocq19822 21180
+overlay argosy https://github.com/Tragicus/argosy rocq21180 21180
+overlay iris https://gitlab.mpi-sws.org/Tragicus/iris rocq21180 21180

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+overlay hott https://github.com/Tragicus/Coq-HoTT rocq19822 21180`
	`2`	`+overlay argosy https://github.com/Tragicus/argosy rocq21180 21180`
	`3`	`+overlay iris https://gitlab.mpi-sws.org/Tragicus/iris rocq21180 21180`