X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=pkg-matita%2Ftrunk%2Fdebian%2Fcontrol;h=351f28f7c7d3aec73f45e22dc04dc055a7a1ca8f;hb=620814c48b69711aad8cf83777e26f639bdbbde8;hp=d2a1c8ef4158406a6bb3f85b833f37262770a62f;hpb=2b53c47691d7f493afec2a4141a64d9f36145a95;p=helm.git

diff --git a/pkg-matita/trunk/debian/control b/pkg-matita/trunk/debian/control
index d2a1c8ef4..351f28f7c 100644
--- a/pkg-matita/trunk/debian/control
+++ b/pkg-matita/trunk/debian/control
@@ -12,7 +12,7 @@ XS-Vcs-Browser: http://helm.cs.unibo.it/websvn/listing.php?path=/trunk/helm/soft
 Package: matita
 Architecture: any
 Depends: ${shlibs:Depends}
-Recommends: matita-standard-library
+Recommends: matita-standard-library, graphviz
 Description: interactive theorem prover
  Matita is a graphical interactive theorem prover based on the Calculus of
  (Co)Inductive Constructions.