From: Enrico Tassi Date: Thu, 15 Nov 2007 10:44:45 +0000 (+0000) Subject: ... X-Git-Tag: 0.4.96@7881~23 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=efbf89f2138e410b95a1de2e375e063bb9bb89b9;p=helm.git ... --- diff --git a/pkg-matita/trunk/debian/control b/pkg-matita/trunk/debian/control index 0edd23a52..96fc7ddbc 100644 --- a/pkg-matita/trunk/debian/control +++ b/pkg-matita/trunk/debian/control @@ -3,7 +3,7 @@ Section: math Priority: optional Maintainer: Enrico Tassi Uploaders: Stefano Zacchiroli -Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5, dpatch +Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5, dpatch imagemagick 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/ diff --git a/pkg-matita/trunk/debian/matita.menu b/pkg-matita/trunk/debian/matita.menu new file mode 100644 index 000000000..2e4785bc9 --- /dev/null +++ b/pkg-matita/trunk/debian/matita.menu @@ -0,0 +1,4 @@ +?package(matita):needs="X11" section="Applications/Science"\ + title="Matita" \ + longtitle="Matita interactive theorem prover" \ + command="/usr/bin/matita" diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules index 06a874fd3..c97d080d9 100755 --- a/pkg-matita/trunk/debian/rules +++ b/pkg-matita/trunk/debian/rules @@ -16,3 +16,4 @@ common-install-arch:: make install-arch DESTDIR=$(DEB_DESTDIR) common-install-indep:: make install-indep DESTDIR=$(DEB_DESTDIR) + find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;