libfloat-coq binary package in Ubuntu Xenial armhf
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-11-13 11:49:15 UTC | Published | Ubuntu Xenial armhf | release | universe | libdevel | Optional | 1:8.4-5build1 | ||
|
|||||||||
Deleted | Ubuntu Xenial armhf | proposed | universe | libdevel | Optional | 1:8.4-5build1 | |||
|
|||||||||
2015-11-13 12:20:14 UTC | Superseded | Ubuntu Xenial armhf | release | universe | libdevel | Optional | 1:8.4-5 | ||
|
|||||||||
2015-11-14 18:10:24 UTC | Deleted | Ubuntu Xenial armhf | proposed | universe | libdevel | Optional | 1:8.4-5 | ||
|
|||||||||
2015-10-24 02:45:40 UTC | Superseded | Ubuntu Xenial armhf | release | universe | libdevel | Optional | 1:8.4-4 | ||
|