.

dinosaure · Dec 20, 2023 · 4beb3c4 · 4beb3c4
1 parent 3820481
commit 4beb3c4
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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"