coq-float 1:8.3pl1-3 source package in Ubuntu
Changelog
coq-float (1:8.3pl1-3) unstable; urgency=low * Recompile with coq 8.3pl4 and camlp5 6.05 (no changes) -- Stéphane Glondu <email address hidden> Fri, 30 Mar 2012 08:06:29 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-float_8.3pl1-3.dsc | 2.0 KiB | 00b67b0e634fbaed4160a83d90ae0703cb26d16c9a87df34277cc758437f4125 |
coq-float_8.3pl1.orig.tar.gz | 351.3 KiB | f56ee9c5c1b7ec3fba4299f80b01eafd76a1225a2235050083a1b72c539844b0 |
coq-float_8.3pl1-3.debian.tar.gz | 3.2 KiB | 3eb9aa92ba7a6bc9698a4f5f0f13076de02a45cb87df82bd40312266b6b9b7aa |
Available diffs
- diff from 1:8.2-1.2-9 to 1:8.3pl1-3 (39.3 KiB)
No changes file available.
Binary packages built by this source
- libfloat-coq: No summary available for libfloat-coq in ubuntu quantal.
No description available for libfloat-coq in ubuntu quantal.