diff --git a/opam/opam b/opam/opam
index c09d2cdf3c49393acc184945c7c54ac3cd2459fe..f6749fdc815a3e1ba2da78f3147eee1f588b6d7f 100644
--- a/opam/opam
+++ b/opam/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "19.1"
+version: "20.0"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
@@ -110,6 +110,7 @@ depopts: [
   "coq"
   "mlgmpidl"
   "apron"
+  "zmq"
 ]
 
 conflicts: [