add upper bound on x509

imandra-ai · Jan 6, 2025 · e9f04a7 · e9f04a7
1 parent 8af5458
commit e9f04a7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -27,7 +27,7 @@
    ppx_deriving_yojson
   (ppx_here :with-test)
   (tls :with-test)
-  (x509 ( >= 0.12.0)) ;; Required for the ~sloppy:true arg becoming the default
+  (x509 (and (>= 0.12.0) (< 1.0))) ;; Required for the ~sloppy:true arg becoming the default
    yojson))
 
 (package

diff --git a/gcloud.opam b/gcloud.opam
@@ -22,7 +22,7 @@ depends: [
   "ppx_deriving_yojson"
   "ppx_here" {with-test}
   "tls" {with-test}
-  "x509" {>= "0.12.0"}
+  "x509" {>= "0.12.0" & < "1.0"}
   "yojson"
   "odoc" {with-doc}
 ]