coq-float 1:8.4-4 source package in Ubuntu
Changelog
coq-float (1:8.4-4) unstable; urgency=medium * Recompile with coq 8.4pl4 -- Stéphane Glondu <email address hidden> Wed, 30 Jul 2014 08:59:29 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- libdevel
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-float_8.4-4.dsc | 2.0 KiB | 44005ef7c5f4172db0f7ebd41e2f47a7e277f700389155816138c4b97298416e |
| coq-float_8.4.orig.tar.gz | 344.1 KiB | 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c |
| coq-float_8.4-4.debian.tar.xz | 3.3 KiB | f7f1eecbab88af55814d83c17db20703f21ae7f0b7dd1aee8eb1ceea6ddeb3c8 |
Available diffs
- diff from 1:8.4-3 to 1:8.4-4 (284 bytes)
No changes file available.
Binary packages built by this source
- libfloat-coq: No summary available for libfloat-coq in ubuntu wily.
No description available for libfloat-coq in ubuntu wily.
