From 4beb3c4aa64bdb6fd738558ba58ef4a1a23bd737 Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Wed, 20 Dec 2023 12:52:13 +0100 Subject: [PATCH] . --- com.opam | 3 --- 1 file changed, 3 deletions(-) diff --git a/com.opam b/com.opam index df6fdf2..203ee07 100644 --- a/com.opam +++ b/com.opam @@ -57,9 +57,6 @@ pin-depends: [ [ "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" ] - [ "esperanto-cosmopolitan.dev" "git+https://github.com/dinosaure/esperanto.git#621b451bde0dd333cfb12ac23a54a27623dddc25" ] - [ "x86_64-esperanto.dev" "git+https://github.com/dinosaure/esperanto.git#621b451bde0dd333cfb12ac23a54a27623dddc25" ] - [ "aarch64-esperanto.dev" "git+https://github.com/dinosaure/esperanto.git#621b451bde0dd333cfb12ac23a54a27623dddc25" ] ] x-mirage-opam-lock-location: "com.opam.locked"