iris overlay

Tragicus · Tragicus · commit d412f7a968e7 · 2025-12-16T21:21:02.000+01:00
diff --git a/dev/ci/user-overlays/21180-Tragicus-evd-inst.sh b/dev/ci/user-overlays/21180-Tragicus-evd-inst.sh
@@ -1,2 +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
`@@ -1,2 +1,3 @@`
`1`	`1`	`overlay hott https://github.com/Tragicus/Coq-HoTT rocq19822 21180`
`2`	`2`	`overlay argosy https://github.com/Tragicus/argosy rocq21180 21180`
	`3`	`+overlay iris https://gitlab.mpi-sws.org/Tragicus/iris rocq21180 21180`