From 69a723299ea4c9ba4087a87e60c6fbeef4c1d33d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 10:21:11 +0000 Subject: [PATCH] added recommends graphvi --- helm/software/pkg-matita/trunk/debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.39.2