matita (0.5.8-2) unstable; urgency=low * Conflict and replace matita-standard-library (Closes: #559261) * suggest matita-doc
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 Date: Mon, 22 Mar 2010 19:21:37 +0000 Changed-By: St?phane Glondu <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Origin: Debian/unstable https://launchpad.net/ubuntu/lucid/+source/matita/0.5.8-2
Origin: Debian/unstable Format: 1.7 Date: Mon, 22 Mar 2010 19:21:37 +0000 Source: matita Binary: matita, matita-doc Architecture: source Version: 0.5.8-2 Distribution: lucid Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: St?phane Glondu <[email protected]> Description: matita - interactive theorem prover Closes: 532289 559261 Changes: matita (0.5.8-2) unstable; urgency=low . * Conflict and replace matita-standard-library (Closes: #559261) * suggest matita-doc . 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 Files: 879a6c609a8ea707e5d12711e1808669 5266 math optional matita_0.5.8-2.diff.gz ef3faccd0d6a399abcdd01f20a278353 5879034 math optional matita_0.5.8.orig.tar.gz 0160cf486979eb5aee72d54f43fc8336 1721 math optional matita_0.5.8-2.dsc
-- Lucid-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/lucid-changes
