use updated mirage-crypto

mirleft · Apr 23, 2024 · 67a37a2 · 67a37a2
1 parent dd49771
commit 67a37a2
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/x509.opam b/x509.opam
@@ -50,9 +50,9 @@ namely PKCS 1, PKCS 5, PKCS 7, PKCS 8, PKCS 9, PKCS 10, and PKCS 12.
 """
 
 pin-depends: [
-  [ "mirage-crypto.dev" "git+https://github.com/mirage/mirage-crypto.git#47127ec04403b18216696de5a8a637f7e88ca85e" ]
-  [ "mirage-crypto-pk.dev" "git+https://github.com/mirage/mirage-crypto.git#47127ec04403b18216696de5a8a637f7e88ca85e" ]
-  [ "mirage-crypto-ec.dev" "git+https://github.com/mirage/mirage-crypto.git#47127ec04403b18216696de5a8a637f7e88ca85e" ]
-  [ "mirage-crypto-rng.dev" "git+https://github.com/mirage/mirage-crypto.git#47127ec04403b18216696de5a8a637f7e88ca85e" ]
+  [ "mirage-crypto.dev" "git+https://github.com/mirage/mirage-crypto.git#81c492efcb8877a383554f2a85bd87fc5e1fa1e1" ]
+  [ "mirage-crypto-pk.dev" "git+https://github.com/mirage/mirage-crypto.git#81c492efcb8877a383554f2a85bd87fc5e1fa1e1" ]
+  [ "mirage-crypto-ec.dev" "git+https://github.com/mirage/mirage-crypto.git#81c492efcb8877a383554f2a85bd87fc5e1fa1e1" ]
+  [ "mirage-crypto-rng.dev" "git+https://github.com/mirage/mirage-crypto.git#81c492efcb8877a383554f2a85bd87fc5e1fa1e1" ]
   [ "pbkdf.dev" "git+https://github.com/dinosaure/ocaml-pbkdf.git#0ef32f89cac4091e74d1a0fa34cf417f9b7c70df" ]
 ]