From 1ec23f7542dd68c50100f8eb636014c307342489 Mon Sep 17 00:00:00 2001
From: Ike Mulder <i.mulder@cs.ru.nl>
Date: Fri, 13 Sep 2024 18:43:18 +0000
Subject: [PATCH] Update Iris to version dev.2024-09-11.3.0203d5ca
---
coq-diaframe.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/coq-diaframe.opam b/coq-diaframe.opam
index cfb9dcdc..f1403ae9 100644
--- a/coq-diaframe.opam
+++ b/coq-diaframe.opam
@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>"
homepage: "https://gitlab.mpi-sws.org/iris/diaframe/"
bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
depends: [
- "coq-iris" { (>= "dev.2024-08-16.3.8890e30a" & <= "dev.2024-09-05.0.f6ed0921" ) | = "dev" | = "4.1.0" }
+ "coq-iris" { (>= "dev.2024-08-16.3.8890e30a" & <= "dev.2024-09-11.3.0203d5ca" ) | = "dev" | = "4.1.0" }
"coq" { >= "8.18" & < "8.20~" }
]
build: [make "-j%{jobs}%" "diaframe"]
--
GitLab