Ubuntu
coq-float package

coq-float 1:8.2-1.2-8build1 source package in Ubuntu

Changelog

coq-float (1:8.2-1.2-8build1) precise; urgency=low

  * No-change rebuild for OCaml 3.12.1.
 -- Ilya Barygin <email address hidden>   Sun, 11 Dec 2011 13:34:38 +0400

Upload details

Uploaded by:
Ilya Barygin
Uploaded to:
Precise
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
libdevel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Precise: [FULLYBUILT] i386

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-8build1.debian.tar.gz 3.5 KiB bb28bd3bcce98346f87ed006bf394a016b5b768df77b70686fa985c8dd78e921
coq-float_8.2-1.2-8build1.dsc 1.7 KiB fb4fc500cb4c824be8a52e144393af2c2a866caa6b42645d926434dfef895756

Available diffs

View changes file

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.