From 4f0d6b053fd6edfed041f5e2fe4ab1e6e9df102a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 21 Jun 2007 14:45:04 +0000 Subject: [PATCH] better description --- helm/software/pkg-matita/trunk/debian/control | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control index 4dbf9941e..fe5e7492a 100644 --- a/helm/software/pkg-matita/trunk/debian/control +++ b/helm/software/pkg-matita/trunk/debian/control @@ -2,20 +2,23 @@ Source: matita Section: math Priority: optional Maintainer: Enrico Tassi +Uploaders: Stefano Zacchiroli Build-Depends: ocaml, ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev (>= 0.21.0), libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev Standards-Version: 3.7.2 +XS-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/pkg-matita/trunk/ +XS-Vcs-Browser: http://helm.cs.unibo.it/websvn/listing.php?path=/trunk/helm/software/pkg-matita/trunk/ Package: matita Architecture: any Depends: ${shlibs:Depends} Recommends: matita-standard-library -Description: Matita interactive theorem prover - Matita is an interactive theorem prover based on the Calculus of (Co)Inductive - Constructions. - +Description: interactive theorem prover + Matita is a graphical interactive theorem prover based on the Calculus of + (Co)Inductive Constructions. + . Matita adopts XML-encoded proof objects are produced for storage and exchange. This makes it compatible, at some extent, with Coq. - + . The graphical interface has been inspired by CtCoq and Proof General. It supports high quality bidimensional rendering of proofs and formulae transformed on-the-fly to MathML markup @@ -23,6 +26,9 @@ Description: Matita interactive theorem prover Package: matita-standard-library Architecture: all Recommends: matita -Description: matita interactive theorem prover standard library +Description: standard library for the Matita interactive theorem prover + Matita is a graphical interactive theorem prover based on the Calculus of + (Co)Inductive Constructions. + . This package contains the standard library of theorems of the matita interactive theorem prover. -- 2.39.2