libfloat-coq binary package in Ubuntu Trusty 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 | ||
---|---|---|---|---|---|---|---|---|---|
2014-01-21 06:53:22 UTC | Published | Ubuntu Trusty armhf | release | universe | libdevel | Optional | 1:8.4-3 | ||
|
|||||||||
Deleted | Ubuntu Trusty armhf | proposed | universe | libdevel | Optional | 1:8.4-3 | |||
|
|||||||||
2014-01-21 06:54:07 UTC | Superseded | Ubuntu Trusty armhf | release | universe | libdevel | Optional | 1:8.4-2build1 | ||
|
|||||||||
2014-01-22 12:10:12 UTC | Deleted | Ubuntu Trusty armhf | proposed | universe | libdevel | Optional | 1:8.4-2build1 | ||
|
|||||||||
2013-12-24 16:47:07 UTC | Superseded | Ubuntu Trusty armhf | release | universe | libdevel | Optional | 1:8.4-2 | ||
|
|||||||||
2013-12-25 18:10:13 UTC | Deleted | Ubuntu Trusty armhf | proposed | universe | libdevel | Optional | 1:8.4-2 | ||
|
|||||||||
2013-12-07 18:09:11 UTC | Superseded | Ubuntu Trusty armhf | release | universe | libdevel | Optional | 1:8.4-1 | ||
|