coq-float 1:8.2-1.2-3 source package in Ubuntu
Changelog
coq-float (1:8.2-1.2-3) unstable; urgency=low * Rebuild with Coq 8.2pl1 coq-float (1:8.2-1.2-2) unstable; urgency=low * Recompile with OCaml 3.11.1 ABI * Update Standards-Version to 3.8.2 -- Michael Bienia <email address hidden> Sat, 15 Aug 2009 16:32:06 +0100
Upload details
- Uploaded by:
- Michael Bienia
- Uploaded to:
- Karmic
- 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-3.diff.gz | 2.7 KiB | e3de79301f14ecdd04606181e7b6edcfd204ff27480dee59a77b9b32d5da8c10 |
coq-float_8.2-1.2-3.dsc | 1.3 KiB | edda5b26e9887fc841c06be5b70bf7742bdca222586e0c1296e617db239dd186 |
Available diffs
- diff from 1:8.2-1.2-1 to 1:8.2-1.2-3 (540 bytes)
Binary packages built by this source
- libfloat-coq: No summary available for libfloat-coq in ubuntu lucid.
No description available for libfloat-coq in ubuntu lucid.