coq-float 1:8.2-1.2-5 source package in Ubuntu
Changelog
coq-float (1:8.2-1.2-5) unstable; urgency=low * Rebuild with Coq 8.2pl2 * Update debian/watch * Bump Standards-Version to 3.9.0 (no changes) * Switch source package format to 3.0 (quilt) -- Iain Lane <email address hidden> Sat, 03 Jul 2010 15:51:20 +0200
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Maverick
- Original maintainer:
- Debian OCaml Maintainers
- 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.2-1.2.orig.tar.gz | 315.4 KiB | df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 |
coq-float_8.2-1.2-5.debian.tar.gz | 3.0 KiB | e667798ed677824ce721c78c4650edca17705c303c10be6d4198f5e7ed920bbf |
coq-float_8.2-1.2-5.dsc | 1.3 KiB | 931f6544ac8ec47fb4239f0587cf9a247e50dc5f1f88ff385e6814d2879e9486 |
Available diffs
- diff from 1:8.2-1.2-4 to 1:8.2-1.2-5 (748 bytes)
Binary packages built by this source
- libfloat-coq: No summary available for libfloat-coq in ubuntu maverick.
No description available for libfloat-coq in ubuntu maverick.