Add graphviz for gapt.

2015-09-11 06:56:20 +02:00 · 2015-09-11 06:56:20 +02:00 · 2b5ebf019f
commit 2b5ebf019f
parent 6435add6c4
1 changed files with 1 additions and 0 deletions
--- a/common.nix
+++ b/common.nix
@ -111,6 +111,7 @@
    eprover
    z3
    why3
+    graphviz

    nix-repl
  ] ++ (with aspellDicts; [ en de fr nl ]);