Ubuntu
coq-float package

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

Changelog

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

  * No-change rebuild against new coq
 -- Andreas Moog <email address hidden>   Sat, 07 Jan 2012 18:36:51 +0100

Upload details

Uploaded by:
Andreas Moog
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-8build2.debian.tar.gz 3.5 KiB a3bc57b8bcffc8582ed8a8e0021b8659120f81c9f0bea5a641dd0202ded71fad
coq-float_8.2-1.2-8build2.dsc 2.0 KiB 16efb8f7bdf0d8979dfc9bc375b3d624149bda31881d15595e7449cdb0716ac2

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.