Parents (Total: 1)
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 10721776 |
| MD5 | 1300901C2A6568437EE6AC8B10B47D95 |
| PackageDescription | 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. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libfloat-coq |
| PackageSection | math |
| PackageVersion | 1:8.2-1.2-5 |
| SHA-1 | A6E88DB47A66B60ED03EC38AC27BFFD5A4488EB3 |
| SHA-256 | B0F080ADC1A71CDE38BD25BBA70F30576357E701473439144775372FAD521B8D |