libfloat-coq binary package in Ubuntu Xenial s390x
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-12-02 21:40:21 UTC | Published | Ubuntu Xenial s390x | release | universe | libdevel | Optional | 1:8.4-5build1 | ||
|