coq-float 1:8.2-1.2-7 source package in Debian
Changelog
coq-float (1:8.2-1.2-7) unstable; urgency=low * Add patch to fix build with Coq 8.3 * Bump Standards-Version to 3.9.1 (no changes) -- Stéphane Glondu <email address hidden> Tue, 19 Apr 2011 22:30:18 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- libdevel
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-float_8.2-1.2-7.dsc | 1.9 KiB | 32005509de63d7b0b4e0a9634bf57a9cf558fc8cdf81ebca7ff620230118d353 |
coq-float_8.2-1.2.orig.tar.gz | 315.4 KiB | df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 |
coq-float_8.2-1.2-7.debian.tar.gz | 3.4 KiB | 5d442618f0f26caae04a05f7eaf8d4e5b2d6a5ac2f0f00d0ac54318747fb9e16 |
No changes file available.