update dependencies; warning should be gone

_CoqProject

@@ -8,8 +8,6 @@
 # Cannot use non-canonical projections as it causes massive unification failures
 # (https://github.com/coq/coq/issues/6294).
 -arg -w -arg -redundant-canonical-projection
-# Warning seems incorrect, see https://gitlab.mpi-sws.org/iris/stdpp/-/issues/216
--arg -w -arg -notation-incompatible-prefix
 
 lifetime/model/definitions.v
 lifetime/model/faking.v

coq-lifetime-logic.opam

@@ -12,7 +12,7 @@ The lifetime logic extends Iris with a notion of "borrowing".
 """
 
 depends: [
-  "coq-iris" { (= "dev.2024-10-02.0.4320aaee") | (= "dev") }
+  "coq-iris" { (= "dev.2024-10-03.0.4871f965") | (= "dev") }
 ]
 
 build: ["./make-package" "lifetime" "-j%{jobs}%"]