diff --git a/supplements/coq-diaframe-actris.opam b/supplements/coq-diaframe-actris.opam
index e496587e5a79598b18b8f4c1a49495f25cce3a62..e6a609e1ef96d670f8322a4d8ee7b41088905fb4 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"]