Skip to content
Snippets Groups Projects
Commit 5474d12b authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[opam] add zmq as optional dependency

parent 7955f754
No related branches found
No related tags found
No related merge requests found
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: [
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment