From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 16 Nov 2007 10:21:11 +0000 (+0000)
Subject: added recommends graphvi
X-Git-Tag: make_still_working~5818
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=69a723299ea4c9ba4087a87e60c6fbeef4c1d33d;p=helm.git

added recommends graphvi
---

diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control
index d2a1c8ef4..351f28f7c 100644
--- a/helm/software/pkg-matita/trunk/debian/control
+++ b/helm/software/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.