matita 0.5.8-2build2 source package in Ubuntu
Changelog
matita (0.5.8-2build2) lucid; urgency=low * No change rebuild for libmysqlclient transition. -- Chuck Short <email address hidden> Fri, 16 Apr 2010 12:12:58 -0400
Upload details
- Uploaded by:
- Chuck Short
- Uploaded to:
- Lucid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
matita_0.5.8.orig.tar.gz | 5.6 MiB | bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2 |
matita_0.5.8-2build2.diff.gz | 5.2 KiB | b7c156ed680ec9f23bd043f32295e3864878826c9d22d81d520c6583d09e6105 |
matita_0.5.8-2build2.dsc | 1.7 KiB | 5141752510f2ed24c84281f95384a0fdfc0c3dbbd4ee3ed39f47a63c552921a1 |
Available diffs
- diff from 0.5.8-2build1 to 0.5.8-2build2 (280 bytes)
Binary packages built by this source
- matita: No summary available for matita in ubuntu oneiric.
No description available for matita in ubuntu oneiric.
- matita-doc: No summary available for matita-doc in ubuntu maverick.
No description available for matita-doc in ubuntu maverick.