matita 0.5.7-2 source package in Ubuntu

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

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Karmic
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.7.orig.tar.gz 3.5 MiB cc89f8902552b7ed0360633b33fcf0fef843611751a632fd14d2d4bea045b3d2
matita_0.5.7-2.diff.gz 4.9 KiB e66807020c05358e118da1295d710ad8407e2d10cf796f984c18f5777fcab8d6
matita_0.5.7-2.dsc 1.7 KiB 17368e2cbda17a2777357d36d1fc2c567ae1d50dab60951909db3b7f02f0b0b4

Available diffs

View changes file

Binary packages built by this source

matita: No summary available for matita in ubuntu karmic.

No description available for matita in ubuntu karmic.