From 2132835430a2585be36ac1599ae0435a79ef8dd5 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 23 Jun 2022 08:23:58 +0200
Subject: [PATCH] [Opam] fixes 'depends' and 'depopts' refer to the same
 ppx_deriving_yojson

---
 opam/opam | 1 -
 1 file changed, 1 deletion(-)

diff --git a/opam/opam b/opam/opam
index f3c6d36312c..a0d18ad0129 100644
--- a/opam/opam
+++ b/opam/opam
@@ -139,7 +139,6 @@ depopts: [
   "apron"
   "coq"
   "mlgmpidl"
-  "ppx_deriving_yojson"
   "zmq"
 ]
 
-- 
GitLab