2009
matita (0.5.8-2) unstable; urgency=low
* Conflict and replace matita-standard-library (Closes: #559261) * suggest matita-doc
-- Enrico Tassi <gareuselesinge@debian.org> Fri, 04 Dec 2009 14:32:45 +0100
matita (0.5.8-1) unstable; urgency=low
* New upstream release supporting lablgtksourceview2 * Added docbook-xsl and docbook-xml as build-depend-indep (Closes: #532289) * Removed debian/patches/lablgtk2.14.dpatch, added upstream * Added README.source * build-depend on lablgtksourceview2 * build-depend on debhelper >= 5 * Standards-version set to 3.8.3
-- Enrico Tassi <gareuselesinge@debian.org> Wed, 02 Dec 2009 00:10:57 +0100
matita (0.5.7-2) unstable; urgency=low
* rebuild against ocaml 3.11 * copyright file points to versioned licenses
-- Enrico Tassi <gareuselesinge@debian.org> Fri, 20 Mar 2009 18:19:50 +0100
matita (0.5.7-1) unstable; urgency=low
* New upstream release
-- Enrico Tassi <gareuselesinge@debian.org> Sun, 15 Feb 2009 16:04:54 +0100
2008
matita (0.5.6-1) experimental; urgency=low
* New upstream bugfix release
-- Enrico Tassi <gareuselesinge@debian.org> Mon, 01 Dec 2008 19:11:51 +0100
matita (0.5.5-2) experimental; urgency=low
* Bumped standards-version to 3.8.0, no changes needed
* Added matita-doc package to contain the .html and .pdf versions of
the user manual
* Added matita-doc.doc-base to register the user manual shipped by
matita-doc
* Relaxed dependency of matita-standard-library to >= making it
bin-nmuable. The bin-nmu is safe only if the OCaml compiler used to
build the binary package has the same marshalling convention
of the one used to build the arch-all package. (Closes: #454176)
-- Enrico Tassi <gareuselesinge@debian.org> Sat, 22 Nov 2008 15:45:34 +0100
matita (0.5.5-1) experimental; urgency=low
* New upstream bugfix release
-- Enrico Tassi <gareuselesinge@debian.org> Mon, 17 Nov 2008 18:24:52 +0100
matita (0.5.4-1) experimental; urgency=low
* New upstream bugfix release
-- Enrico Tassi <gareuselesinge@debian.org> Sun, 19 Oct 2008 10:24:36 +0200
matita (0.5.3-1) unstable; urgency=low
* New upstream bugfix release
-- Enrico Tassi <gareuselesinge@debian.org> Wed, 23 Jul 2008 23:32:19 +0200
matita (0.5.2-1) unstable; urgency=low
* New upstream release
-- Enrico Tassi <gareuselesinge@debian.org> Wed, 02 Jul 2008 11:39:06 +0200
matita (0.5.1-1) unstable; urgency=medium
* New upstream release
-- Enrico Tassi <gareuselesinge@debian.org> Thu, 29 May 2008 10:14:28 +0200
matita (0.5.0-1) unstable; urgency=low
* New upstream release
-- Enrico Tassi <gareuselesinge@debian.org> Fri, 09 May 2008 18:47:36 +0200
matita (0.5.0~rc1-1) unstable; urgency=low
* New upstream release candidate, fixing many relevant bugs and cleaning up
the standard library of theorems
* Strict dependency over libgtkmathview >= 0.8.0-2
-- Enrico Tassi <gareuselesinge@debian.org> Thu, 01 May 2008 14:11:10 +0200
matita (0.4.98-7) unstable; urgency=medium
* Added dependency on the bytecode interpreted (ocaml-base-nox-$OCAMLABI)
on architectures that do not compile in native code.
-- Enrico Tassi <gareuselesinge@debian.org> Mon, 03 Mar 2008 10:34:52 +0100
matita (0.4.98-6) unstable; urgency=medium
[ Stefano Zacchiroli ] * setting me and Enrico as uploaders, d-o-m as maintainer * fixing vcs-svn field with the new, official field name * update standards-version, no changes needed [ Enrico Tassi ] * rebuilt against ocaml 3.10.1
-- Enrico Tassi <gareuselesinge@debian.org> Sun, 02 Mar 2008 22:27:52 +0100
2007
matita (0.4.98-5) unstable; urgency=low
* Added patch to disallow native compilers on alpha and ia64
-- Enrico Tassi <gareuselesinge@debian.org> Sat, 08 Dec 2007 11:29:31 +0100
matita (0.4.98-4) unstable; urgency=low
* Bumped version on camlp5 >= 5.04 and ulex08 >= 0.8-4 * Added patch to remove dependency on Coq numbers in number_notation.ml
-- Enrico Tassi <gareuselesinge@debian.org> Wed, 05 Dec 2007 13:45:27 +0100
matita (0.4.98-3) unstable; urgency=low
* Bumped again dependencies over liblablgtkmathview-ocaml-dev
-- Enrico Tassi <gareuselesinge@debian.org> Tue, 27 Nov 2007 10:31:55 +0100
matita (0.4.98-2) unstable; urgency=low
* updated dependency among liblablgtkmathview-ocaml-dev to
possible fix FTBFS
-- Enrico Tassi <gareuselesinge@debian.org> Mon, 26 Nov 2007 19:14:53 +0100
matita (0.4.98-1) unstable; urgency=low
[ Stefano Zacchiroli ] * fix Vcs-* fields to match pkg-ocaml-maint repository settings [ Enrico Tassi ] * Fixed dependencies among camlp5, ulex08 and findlib (Closes: #451896)
-- Enrico Tassi <gareuselesinge@debian.org> Tue, 20 Nov 2007 13:47:26 +0100
matita (0.4.97-1) unstable; urgency=low
* New version svn tag 0.4.96.
-- Enrico Tassi <gareuselesinge@debian.org> Fri, 16 Nov 2007 20:37:55 +0100
matita (0.4.96-1) unstable; urgency=low
* First upload of svn tag 0.4.96 (Closes: #448156).
-- Enrico Tassi <gareuselesinge@debian.org> Fri, 26 Oct 2007 11:25:03 +0200