[ubuntu/lucid] matita 0.5.8-2 (Accepted)
Ubuntu Installer
archive at ubuntu.com
Mon Mar 22 19:54:37 GMT 2010
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 <glondu at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/matita/0.5.8-2
-------------- next part --------------
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 <debian-ocaml-maint at lists.debian.org>
Changed-By: St?phane Glondu <glondu at debian.org>
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
More information about the Lucid-changes
mailing list