Fix the ocaml-gmp commit

dinosaure · Feb 2, 2024 · e9255b8 · e9255b8
1 parent fb9b16b
commit e9255b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/com.opam b/com.opam
@@ -60,7 +60,7 @@ pin-depends: [
   [ "mirage-crypto-ec.dev" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
   [ "mirage-crypto-rng.dev" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
   [ "mtime.dev" "git+https://github.com/dinosaure/mtime.git#d5d70f38c40da90e3e173eb60346df55b64a4a0a" ]
-  [ "gmp.dev" "git+https://github.com/mirage/ocaml-gmp.git#dfc83c74a327d848074ecf0d33b009eaf5625250" ]
+  [ "gmp.dev" "git+https://github.com/mirage/ocaml-gmp.git#90c7941b3b2649c19f2596538417e5ce1df61b9d" ]
 ]
 
 x-mirage-opam-lock-location: "com.opam.locked"