Ubuntu
coq-float package

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

Changelog

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

  * Recompile with OCaml 3.12.1 (no changes)
  * Bump Standards-Version to 3.9.2 (no changes)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  10 Nov 2011 16:40:51 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
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-8.debian.tar.gz 3.4 KiB 9461326f90b2d4385324d9007eda3a1f1ace5c6d2d3bea3b07350f65d65e0959
coq-float_8.2-1.2-8.dsc 2.0 KiB 999f4d4b731858490f5d97b1b7bea22c0fa5fee2e6fb184e14c97a9c25f947e8

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.