From 99cb63ea7ed951d0b551d8af0eacfb50971985a9 Mon Sep 17 00:00:00 2001
From: Ike Mulder <me@ikemulder.nl>
Date: Mon, 10 Mar 2025 23:33:17 +0000
Subject: [PATCH] Update actris to version dev.2025-02-27.0.316a5108
---
supplements/coq-diaframe-actris.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/supplements/coq-diaframe-actris.opam b/supplements/coq-diaframe-actris.opam
index e496587e..e6a609e1 100644
--- a/supplements/coq-diaframe-actris.opam
+++ b/supplements/coq-diaframe-actris.opam
@@ -10,7 +10,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
depends: [
"coq-diaframe-heap-lang" {= version}
"coq" { = "8.20.0" }
- "coq-actris" { = "dev.2025-01-24.0.f9d06c7b" | = "~dev" }
+ "coq-actris" { = "dev.2025-02-27.0.316a5108" | = "~dev" }
]
build: [make "-j%{jobs}%" "diaframe-actris"]
install: [make "install-diaframe-actris"]
--
GitLab