From 667c185526322260f57fdf0e552ee3cd49ce5828 Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Tue, 31 Oct 2023 13:43:32 +0100 Subject: [PATCH] Update mirage-crypto --- com.opam | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/com.opam b/com.opam index 6a7b4bd..dcfb067 100644 --- a/com.opam +++ b/com.opam @@ -48,10 +48,10 @@ depends: [ ] pin-depends: [ - [ "mirage-crypto.dev" "git+https://github.com/dinosaure/mirage-crypto.git#989c4aff6915b239f2afa0c88d948257a960f43a" ] - [ "mirage-crypto-pk.dev" "git+https://github.com/dinosaure/mirage-crypto.git#989c4aff6915b239f2afa0c88d948257a960f43a" ] - [ "mirage-crypto-ec.dev" "git+https://github.com/dinosaure/mirage-crypto.git#989c4aff6915b239f2afa0c88d948257a960f43a" ] - [ "mirage-crypto-rng.dev" "git+https://github.com/dinosaure/mirage-crypto.git#989c4aff6915b239f2afa0c88d948257a960f43a" ] + [ "mirage-crypto.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ] + [ "mirage-crypto-pk.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ] + [ "mirage-crypto-ec.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ] + [ "mirage-crypto-rng.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ] [ "mtime.dev" "git+https://github.com/dinosaure/mtime.git#d5d70f38c40da90e3e173eb60346df55b64a4a0a"] ]