update dependencies

coq-lambda-rust.opam

@@ -15,7 +15,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2025-01-28.0.6f76c393") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2025-02-05.0.31e913ff") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]

theories/lang/arc_cmra.v

@@ -549,7 +549,7 @@ Section ArcGhost.
   Qed.
 
   Lemma WeakAuth_valid γ iS st :
-    WeakAuth γ (iS, st) -∗ ⌜st ≠ Some CsumBot⌝.
+    WeakAuth γ (iS, st) -∗ ⌜st ≠ Some CsumInvalid⌝.
   Proof.
     iIntros "own".
     iDestruct (@own_valid _ arcUR with "own") as %[[_ Hvl] _].