From 641ebe5f43bf0181d55a4542eb97a51cb85e8ff6 Mon Sep 17 00:00:00 2001
From: Calascibetta Romain <romain.calascibetta@gmail.com>
Date: Wed, 20 Dec 2023 11:43:00 +0100
Subject: [PATCH] .

---
 com.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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