Ubuntu
coq-float package

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

Changelog

coq-float (1:8.4-3) unstable; urgency=medium


  * Recompile with coq 8.4pl3
  * Bump Standards-Version to 3.9.5 (no changes)
  * Update Vcs-*

 -- Stéphane Glondu <email address hidden>  Mon, 20 Jan 2014 07:44:07 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
libdevel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release universe libdevel

Builds

Trusty: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
coq-float_8.4-3.dsc 1.9 KiB 32c7efd188fd3a13df5344bc5aebc7f46c05c2db7438256a08c89f37c9a31d03
coq-float_8.4.orig.tar.gz 344.1 KiB 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c
coq-float_8.4-3.debian.tar.xz 3.3 KiB ade9e710bb7b374f8a595f2aa46dbe62f49196a1aca09827caeb20163c39772b

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.