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