From b1c02b168fa631102ed91485f18507975ecef626 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 22 Jul 2025 15:51:43 +0200
Subject: [PATCH 1/4] Add missing v in salto-analyzer's zarith_stubs_js lower
 bound

---
 packages/salto-analyzer/salto-analyzer.0.1/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/salto-analyzer/salto-analyzer.0.1/opam b/packages/salto-analyzer/salto-analyzer.0.1/opam
index 35aaf48c7ff5..ed737ea09d1d 100644
--- a/packages/salto-analyzer/salto-analyzer.0.1/opam
+++ b/packages/salto-analyzer/salto-analyzer.0.1/opam
@@ -32,7 +32,7 @@ depends: [
   "js_of_ocaml" {>= "5.4.0" & <= "5.9.1"}
   "js_of_ocaml-ppx" {build & >= "5.4.0"}
   "js_of_ocaml-tyxml" {>= "5.4.0"}
-  "zarith_stubs_js" {>= "0.16.1"}
+  "zarith_stubs_js" {>= "v0.16.1"}
   "csexp" {>= "1.5.2"}
   "ez_dune_describe" {>= "0.1"}
   "odoc" {with-doc}

From 92b88da7d8efd1e508805f30dba4bde04d52638a Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 22 Jul 2025 15:54:55 +0200
Subject: [PATCH 2/4] Add missing v in octez-libs and octez-proto-libs's
 zarith_stubs_js lower bound

---
 packages/octez-libs/octez-libs.20.1/opam             | 2 +-
 packages/octez-proto-libs/octez-proto-libs.20.1/opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/octez-libs/octez-libs.20.1/opam b/packages/octez-libs/octez-libs.20.1/opam
index bb5452a5f946..9a5922ab83ac 100644
--- a/packages/octez-libs/octez-libs.20.1/opam
+++ b/packages/octez-libs/octez-libs.20.1/opam
@@ -18,7 +18,7 @@ depends: [
   "ppx_expect"
   "hex" { >= "1.3.0" }
   "zarith" { >= "1.13" & < "1.14" }
-  "zarith_stubs_js" { >= "0.16.1" }
+  "zarith_stubs_js" { >= "v0.16.1" }
   "aches" { >= "1.0.0" }
   "seqes" { >= "0.2" }
   "lwt-canceler" { >= "0.3" & < "0.4" }
diff --git a/packages/octez-proto-libs/octez-proto-libs.20.1/opam b/packages/octez-proto-libs/octez-proto-libs.20.1/opam
index 93de8c2155e3..afe522413bf3 100644
--- a/packages/octez-proto-libs/octez-proto-libs.20.1/opam
+++ b/packages/octez-proto-libs/octez-proto-libs.20.1/opam
@@ -13,7 +13,7 @@ depends: [
   "data-encoding" { >= "1.0.1" & < "1.1" }
   "bls12-381" { = version }
   "zarith" { >= "1.13" & < "1.14" }
-  "zarith_stubs_js" { >= "0.16.1" }
+  "zarith_stubs_js" { >= "v0.16.1" }
   "class_group_vdf" { >= "0.0.4" }
   "aches" { >= "1.0.0" }
   "aches-lwt" { >= "1.0.0" }

From ef6c0254f0808d7504592f2c005b2f4b04fcca51 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 22 Jul 2025 15:57:05 +0200
Subject: [PATCH 3/4] Add missing v in bls12-381's zarith_stubs_js lower bound

---
 packages/bls12-381/bls12-381.20.1/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/bls12-381/bls12-381.20.1/opam b/packages/bls12-381/bls12-381.20.1/opam
index 79b51329e036..e1bc0e51fa08 100644
--- a/packages/bls12-381/bls12-381.20.1/opam
+++ b/packages/bls12-381/bls12-381.20.1/opam
@@ -11,7 +11,7 @@ depends: [
   "integers"
   "integers_stubs_js"
   "zarith" { >= "1.13" & < "1.14" }
-  "zarith_stubs_js" { >= "0.16.1" }
+  "zarith_stubs_js" { >= "v0.16.1" }
   "hex" { >= "1.3.0" }
   "tezt" { with-test & >= "4.0.0" & < "5.0.0" }
   "octez-alcotezt" { with-test & = version }

From 2218f91bca258d2f98d5d37064adb66c307e0e83 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 22 Jul 2025 15:58:44 +0200
Subject: [PATCH 4/4] Add missing v in catala's zarith_stubs_js lower bound

---
 packages/catala/catala.0.3.0/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/catala/catala.0.3.0/opam b/packages/catala/catala.0.3.0/opam
index 5107f5fdaf91..7d5885db3cb1 100644
--- a/packages/catala/catala.0.3.0/opam
+++ b/packages/catala/catala.0.3.0/opam
@@ -21,7 +21,7 @@ depends: [
   "cmdliner" {>= "1.0.4" & < "1.1.0"}
   "re" {>= "1.9.0"}
   "zarith" {>= "1.10"}
-  "zarith_stubs_js" {>= "0.14.0"}
+  "zarith_stubs_js" {>= "v0.14.0"}
   "dune" {>= "2.2"}
   "ocamlgraph" {>= "1.8.8"}
   "calendar" {>= "2.04"}