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