Ubuntu
coq-float package

coq-float 1:8.4-2 source package in Ubuntu

Changelog

coq-float (1:8.4-2) unstable; urgency=low


  * Recompile with OCaml 4.01.0

 -- Stéphane Glondu <email address hidden>  Sat, 07 Dec 2013 10:06:37 +0100

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 Pocket Published Component Section

Builds

Trusty: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
coq-float_8.4-2.dsc 1.9 KiB bf558a7fe098f408f99729063881b5fa376126b809aef16175b2851a9356f6cd
coq-float_8.4.orig.tar.gz 344.1 KiB 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c
coq-float_8.4-2.debian.tar.gz 3.3 KiB 1f2047df80efc596b9d22143f265e56e6127294443ab8e8eaed3014446ec19e5

Available diffs

No changes file available.

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.