From 6469c109bcb477a2984b4f6ace90d2ee973cfb4e Mon Sep 17 00:00:00 2001
From: Jonas Kastberg Hinrichsen <jihgfee@gmail.com>
Date: Thu, 27 Feb 2025 13:28:29 +0100
Subject: [PATCH] Added explicit coq-stdpp version to .opam to inherit Iris
 version

---
 coq-actris.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq-actris.opam b/coq-actris.opam
index ea2e945..0454e5f 100644
--- a/coq-actris.opam
+++ b/coq-actris.opam
@@ -8,6 +8,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/actris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/actris.git"
 
 depends: [
+  "coq-stdpp" { (= "dev.2025-02-26.0.d2e8771d") | (= "dev") }
   "coq-iris-heap-lang" { (= "dev.2025-02-27.0.ecd13933") | (= "dev") }
 ]
 
-- 
GitLab