From dad20225ab82713b2bc4276332ce1afc87cb199c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 4 Nov 2019 15:51:54 +0100
Subject: [PATCH] [opam] add optional dependencies for markdown-report

---
 opam/opam | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/opam/opam b/opam/opam
index f6749fdc815..dc750822991 100644
--- a/opam/opam
+++ b/opam/opam
@@ -111,6 +111,8 @@ depopts: [
   "mlgmpidl"
   "apron"
   "zmq"
+  "ppx_deriving"
+  "ppx_deriving_yojson"
 ]
 
 conflicts: [
-- 
GitLab