diff --git a/com.opam b/com.opam index e469d3e..f750b27 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"