diff --git a/goblint.opam.locked b/goblint.opam.locked
index 5f01f7915a..9fbee1e02b 100644
--- a/goblint.opam.locked
+++ b/goblint.opam.locked
@@ -110,7 +110,7 @@ depends: [
   "uutf" {= "1.0.3" & with-doc}
   "yaml" {= "3.2.0"}
   "yojson" {= "2.2.1"}
-  "zarith" {= "1.13"}
+  "zarith" {= "1.14"}
 ]
 build: [
   ["dune" "subst"] {dev}