coq-float 1:8.1-1.0-2 source package in Ubuntu
Changelog
coq-float (1:8.1-1.0-2) unstable; urgency=low
* Rebuild with latest version of coq.
coq-float (1:8.1-1.0-1) unstable; urgency=low
* New upstream release.
* Updated upstream url and watch.
* Made the package arch all since coq libraries should be
platform-independant.
coq-float (2001-1) unstable; urgency=low
* Initial release, closes: #438613.
-- Ubuntu Archive Auto-Sync <email address hidden> Sun, 28 Oct 2007 16:51:40 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Hardy
- Original maintainer:
- Samuel Mimram
- Architectures:
- all
- Section:
- libdevel
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-float_8.1-1.0.orig.tar.gz | 313.5 KiB | 420d8cdabc5dffd619fc4b25d3358e4e2023eadd7a4a6014c2ab172fe3780fa4 |
| coq-float_8.1-1.0-2.diff.gz | 3.7 KiB | dc4fe36735b741c15df5f719f6403847903584d879e3844dc43bfc87a3fb1684 |
| coq-float_8.1-1.0-2.dsc | 602 bytes | 1c9f531db2ece6d67a23d4cc8da9919634e15be5a81b119f5e7c6c25d4297ef2 |
