From b67547bf6aca606877956b9776522cfbd6060072 Mon Sep 17 00:00:00 2001
From: Ike Mulder <me@ikemulder.nl>
Date: Wed, 12 Feb 2025 16:43:18 +0000
Subject: [PATCH] Update iris-examples to version dev.2025-02-05.0.9806de16
---
supplements/coq-diaframe-iris-examples.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/supplements/coq-diaframe-iris-examples.opam b/supplements/coq-diaframe-iris-examples.opam
index 7a49ba08..7a6815c0 100644
--- a/supplements/coq-diaframe-iris-examples.opam
+++ b/supplements/coq-diaframe-iris-examples.opam
@@ -10,7 +10,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
depends: [
"coq" { = "8.20.0" }
"coq-diaframe-heap-lang" {= version}
- "coq-iris-examples" { = "dev.2025-01-25.0.e5afd885" | = "~dev" }
+ "coq-iris-examples" { = "dev.2025-02-05.0.9806de16" | = "~dev" }
]
build: [make "-j%{jobs}%" "diaframe-iris-examples"]
install: [make "install-diaframe-iris-examples"]
--
GitLab