coq-float 1:8.2-1.2-7 source package in Ubuntu
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) coq-float (1:8.2-1.2-6) unstable; urgency=low * Rebuild with coq 8.2.pl2+dfsg-2 (no changes) -- Ubuntu Archive Auto-Sync <email address hidden> Sat, 30 Apr 2011 12:41:38 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Oneiric
- 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-7.debian.tar.gz | 3.4 KiB | 5d442618f0f26caae04a05f7eaf8d4e5b2d6a5ac2f0f00d0ac54318747fb9e16 |
| coq-float_8.2-1.2-7.dsc | 1.9 KiB | 32005509de63d7b0b4e0a9634bf57a9cf558fc8cdf81ebca7ff620230118d353 |
Available diffs
- diff from 1:8.2-1.2-5 to 1:8.2-1.2-7 (1.1 KiB)
Binary packages built by this source
- libfloat-coq: Coq library on floating-point arithmetic
This package provides PFF (Preuves Formelles sur les Flottants =
Formal Proofs about Floats), a library for reasoning about
floating-point arithmetic in Coq. It contains both definitions and
proofs of basic facts, old & new properties and algorithms.
