diff --git a/src/plugins/dive/README.md b/src/plugins/dive/README.md index 5e221a21b908f77cb6c93e07b0d9b99309f6f1c4..6279d390f08c34722bb7754d071a86ffed963eb3 100644 --- a/src/plugins/dive/README.md +++ b/src/plugins/dive/README.md @@ -14,7 +14,7 @@ The front-end of Dive relies on several external tools and libraries : - electron: a javascript framework for gui applications - Ivette: the future Frama-C and other tools GUI - Cytoscape: a javascript library to display graphs and interact with them - +- Zmq (C library and opam package) Compilation ===========