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 | 13989620 |
| MD5 | 1100DE583979A25EFC59512CD6355EDE |
| 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-9 |
| SHA-1 | 6A5A449125CD50B0F5767C1B608B14B5549721C6 |
| SHA-256 | A16A3BEB59946071522D7BCA831AD1622BD17E9586B7951C478899AAC2BF7619 |