Changelog
matita (0.5.7-2) unstable; urgency=low
* rebuild against ocaml 3.11
* copyright file points to versioned licenses
matita (0.5.7-1) unstable; urgency=low
* New upstream release
matita (0.5.6-1) experimental; urgency=low
* New upstream bugfix release
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)
matita (0.5.5-1) experimental; urgency=low
* New upstream bugfix release
matita (0.5.4-1) experimental; urgency=low
* New upstream bugfix release
-- Ubuntu Archive Auto-Sync <email address hidden> Wed, 29 Apr 2009 12:03:54 +0100