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 | 13908856 |
| MD5 | BC60D3E76EB884C9621CDBB03686D6B7 |
| 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-7 |
| SHA-1 | DBB1A4BFBA90013C4BEC6A850FB6006626BA7D38 |
| SHA-256 | 0CFF0B3EC483B69B7ADD16C95C7FCCA9F2E4C51244043376B939158DD060680C |