From 63cb9e6566a398e1379201f8f8cd4a92957e54fb Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Wed, 20 Dec 2023 13:13:33 +0100 Subject: [PATCH] . --- com.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/com.opam b/com.opam index df6fdf2..e469d3e 100644 --- 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"] +x-opam-monorepo-opam-provided: ["ocaml" "ocamlfind" "opam-monorepo" "esperanto-cosmopolitan" "x86_64-esperanto" "aarch64-esperanto"] url { src: "git+https://github.com/dinosaure/bob.git" }