From: Enrico Tassi Date: Fri, 16 Nov 2007 10:21:11 +0000 (+0000) Subject: added recommends graphvi X-Git-Tag: 0.4.97@7895~10 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=620814c48b69711aad8cf83777e26f639bdbbde8;p=helm.git added recommends graphvi --- 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.