[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