diff --git a/rdbgui4sasa.opam b/rdbgui4sasa.opam
index de3438fad33832182f49a307dc3b0a6fccff8b5d..9861730a7bf15f381ce3a9617be0d610da65ed16 100644
--- a/rdbgui4sasa.opam
+++ b/rdbgui4sasa.opam
@@ -23,6 +23,7 @@ build: ["dune" "build"]
 install: ["dune" "install"]
 post-messages:
   "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
-depexts: ["graphviz" "emacs" "gnuplot" "zathura"]
+depexts: ["graphviz" "gnuplot"]
+# depexts: ["graphviz" "emacs" "gnuplot" "zathura"]
 dev-repo:
   "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"