right bound

ulrikstrid · Sep 3, 2024 · 212b6f6 · 212b6f6
1 parent a080469
commit 212b6f6
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -40,15 +40,15 @@
   (mirage-crypto
    (and
     :with-test
-    (>= "0.8.1")))
+    (>= "1.0.0")))
   (mirage-crypto-rng
    (and
     :with-test
-    (>= "0.8.1")))
+    (>= "1.0.0")))
   (mirage-crypto-pk
    (and
     :with-test
-    (>= "0.8.1")))))
+    (>= "1.0.0")))))
 
 (package
  (version 1.0.0)

diff --git a/oidc.opam b/oidc.opam
@@ -21,9 +21,9 @@ depends: [
   "junit" {with-test}
   "junit_alcotest" {with-test}
   "containers" {with-test}
-  "mirage-crypto" {with-test & >= "0.8.1"}
-  "mirage-crypto-rng" {with-test & >= "0.8.1"}
-  "mirage-crypto-pk" {with-test & >= "0.8.1"}
+  "mirage-crypto" {with-test & >= "1.0.0"}
+  "mirage-crypto-rng" {with-test & >= "1.0.0"}
+  "mirage-crypto-pk" {with-test & >= "1.0.0"}
   "odoc" {with-doc}
 ]
 build: [