From: Enrico Tassi Date: Mon, 10 Sep 2007 18:34:12 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~6027 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e3a8bcf815ee8b619687007867205f24d501ebfa;p=helm.git ... --- diff --git a/helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz b/helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz index f49843820..0aae2063a 100644 Binary files a/helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz and b/helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz differ diff --git a/helm/software/pkg-matita/tarballs/matita-0.3.0.tar.gz b/helm/software/pkg-matita/tarballs/matita-0.3.0.tar.gz new file mode 100644 index 000000000..78d215ede Binary files /dev/null and b/helm/software/pkg-matita/tarballs/matita-0.3.0.tar.gz differ diff --git a/helm/software/pkg-matita/tarballs/matita_0.3.0.orig.tar.gz b/helm/software/pkg-matita/tarballs/matita_0.3.0.orig.tar.gz new file mode 120000 index 000000000..d0812cf51 --- /dev/null +++ b/helm/software/pkg-matita/tarballs/matita_0.3.0.orig.tar.gz @@ -0,0 +1 @@ +matita-0.3.0.tar.gz \ No newline at end of file diff --git a/helm/software/pkg-matita/trunk/debian/changelog b/helm/software/pkg-matita/trunk/debian/changelog index 979d40bab..a727cd091 100644 --- a/helm/software/pkg-matita/trunk/debian/changelog +++ b/helm/software/pkg-matita/trunk/debian/changelog @@ -1,3 +1,9 @@ +matita (0.3.0-1) unstable; urgency=low + + * last version with caml 3.09.2 + + -- Enrico Tassi Mon, 10 Sep 2007 18:49:47 +0100 + matita (0.2.0-1) unstable; urgency=low * Upstream release for the Bertinoro Types summer school diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control index fe5e7492a..2a44ce836 100644 --- a/helm/software/pkg-matita/trunk/debian/control +++ b/helm/software/pkg-matita/trunk/debian/control @@ -3,7 +3,7 @@ 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 +Build-Depends: ocaml, ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev (>= 0.22.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/