Ubuntu
coq-float package

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

Changelog

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

  * New upstream release (Closes: #813596)
  * Update Homepage and debian/watch
  * Update Vcs-*
  * Remove Samuel from Uploaders
  * Bump debhelper compat level to 12
  * Bump Standards-Version to 4.5.0
  * Add Rules-Requires-Root: no

 -- Stéphane Glondu <email address hidden>  Sat, 01 Feb 2020 11:28:40 +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

Builds

Focal: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-float_8.9.0-1.dsc 1.7 KiB 1909988cd544246228ff4a54bfe4e0c5fecdd80b39d25cd2fbc9cc47d930f851
coq-float_8.9.0.orig.tar.gz 96.7 KiB 8690288a0c5c7d3527981f469a9da57453db896e3161ccf1299c2a37f210a760
coq-float_8.9.0-1.debian.tar.xz 3.0 KiB bc7c28c443a057a86daf4da17377d10309cf54b1adc70584ac6d9a1a27afdf6d

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.