.

dinosaure · Dec 20, 2023 · 641ebe5 · 641ebe5
1 parent 6703a17
commit 641ebe5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/com.opam b/com.opam
@@ -72,6 +72,6 @@ x-mirage-extra-repo: [
   [ "opam-overlays" "https://github.com/dune-universe/opam-overlays.git" ]
   [ "mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git" ]
 ]
-x-opam-monorepo-opam-provided: ["ocaml" "ocamlfind" "opam-monorepo" "esperanto-cosmopolitan" "x86_64-esperanto" "aarch64-esperanto"]
+x-opam-monorepo-opam-provided: ["ocaml" "ocamlfind" "opam-monorepo"]
 
 url { src: "git+https://github.com/dinosaure/bob.git" }