matita 0.5.8-2ubuntu1 source package in Ubuntu
Changelog
matita (0.5.8-2ubuntu1) oneiric; urgency=low * Apply r11210 from upstream SVN to account for changes in the signatures of Gramext.Slist0sep and Gramext.Slist1sep. -- Colin Watson <email address hidden> Sat, 21 May 2011 09:44:50 +0100
Upload details
- Uploaded by:
- Colin Watson
- Uploaded to:
- Oneiric
- Original maintainer:
- Ubuntu Developers
- 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-2ubuntu1.diff.gz | 6.1 KiB | 0d2343e015422a34b0c86812339f03620c9d9583000a0be5fdc0d989696707e1 |
matita_0.5.8-2ubuntu1.dsc | 2.5 KiB | 27ce2ac55bcf9d6a123d8c0a265eeee75032692319fd3dc76561f072514fd630 |
Available diffs
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 oneiric.
No description available for matita-doc in ubuntu oneiric.