Ubuntu
matita package

matita 0.5.8-2 source package in Ubuntu

Changelog

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 
 -- St?phane Glondu <email address hidden>   Mon,  22 Mar 2010 19:21:37 +0000

Upload details

Uploaded by:
Stéphane Glondu
Uploaded to:
Lucid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
matita_0.5.8.orig.tar.gz 5.6 MiB bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2
matita_0.5.8-2.diff.gz 5.1 KiB d24027c681922a6065a13e759910ef46e4936380a89d08ec460e845708cdb91a
matita_0.5.8-2.dsc 1.7 KiB d5b27fdeb7faee028d7b318bbe4f4cb674433b49f8e07b0b9032644acb5ff9ec

Available diffs

View changes file

Binary packages built by this source

matita: No summary available for matita in ubuntu lucid.

No description available for matita in ubuntu lucid.

matita-doc: No summary available for matita-doc in ubuntu lucid.

No description available for matita-doc in ubuntu lucid.