Ubuntu
matita package

matita 0.5.8-3build1 source package in Ubuntu

Changelog

matita (0.5.8-3build1) precise; urgency=low

  * Rebuild for libmysqlclient transition.
 -- Clint Byrum <email address hidden>   Tue, 29 Nov 2011 00:00:36 -0800

Upload details

Uploaded by:
Clint Byrum
Uploaded to:
Precise
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe math

Downloads

File Size SHA-256 Checksum
matita_0.5.8.orig.tar.gz 5.6 MiB bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2
matita_0.5.8-3build1.debian.tar.gz 6.5 KiB 3178c80be19a454219929d7adbcbc5f404d3d523a7afc451d0c9e960a0345be7
matita_0.5.8-3build1.dsc 2.0 KiB 7ddb50587c02e3eb0a41a20862ffec2d821ef562453a9e2d14925390ae765a0d

Available diffs

View changes file

Binary packages built by this source

matita: No summary available for matita in ubuntu quantal.

No description available for matita in ubuntu quantal.

matita-doc: user manual of the Matita interactive theorem prover

 This package contains the PDF and HTML formatted Matita user manual.