From: Enrico Tassi Date: Fri, 26 Oct 2007 12:47:30 +0000 (+0000) Subject: 0.4.0 almost working X-Git-Tag: 0.4.95@7852~91 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=7cf46248c403c61d548a10f17e3274d5da6a9035 0.4.0 almost working --- diff --git a/pkg-matita/tarballs/matita-0.4.0.tar.gz b/pkg-matita/tarballs/matita-0.4.0.tar.gz new file mode 100644 index 000000000..1f23eef0f Binary files /dev/null and b/pkg-matita/tarballs/matita-0.4.0.tar.gz differ diff --git a/pkg-matita/trunk/debian/changelog b/pkg-matita/trunk/debian/changelog index a727cd091..049ed2951 100644 --- a/pkg-matita/trunk/debian/changelog +++ b/pkg-matita/trunk/debian/changelog @@ -1,3 +1,9 @@ +matita (0.4.0-1) unstable; urgency=low + + * New upstream release working with ocaml 3.10.0 + + -- Enrico Tassi Fri, 26 Oct 2007 11:25:03 +0200 + matita (0.3.0-1) unstable; urgency=low * last version with caml 3.09.2 diff --git a/pkg-matita/trunk/debian/control b/pkg-matita/trunk/debian/control index b2443b7ff..8376f2903 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-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev +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 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/ @@ -26,6 +26,7 @@ Description: interactive theorem prover Package: matita-standard-library Architecture: all Recommends: matita +Depends: matita (= ${binary:Version}) Description: standard library for the Matita interactive theorem prover Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.