Ubuntu
coq-float package

coq-float 1:8.9.0-1build1 source package in Ubuntu

Changelog

coq-float (1:8.9.0-1build1) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Tue, 25 Feb 2020 18:37:43 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Focal
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
libdevel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Focal: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-float_8.9.0.orig.tar.gz 96.7 KiB 8690288a0c5c7d3527981f469a9da57453db896e3161ccf1299c2a37f210a760
coq-float_8.9.0-1build1.debian.tar.xz 3.0 KiB 8bb7a812b16f7a633803495f1aca9a29121a4671780daf6290a0c41ac64839a8
coq-float_8.9.0-1build1.dsc 1.9 KiB d832353ed49012dc6840d0b9ace729562b0a00ba54e8ed811614b10da965e3b5

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.