From 5474d12b381d44cdda290fa9754d134a1d41d926 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 4 Nov 2019 15:46:10 +0100
Subject: [PATCH] [opam] add zmq as optional dependency

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

diff --git a/opam/opam b/opam/opam
index c09d2cdf3c4..f6749fdc815 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: [
-- 
GitLab