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 | 16635296 |
| MD5 | 3BCE2A39720294AF6C07224124B3C8E9 |
| 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.3pl1-4 |
| SHA-1 | 87F10D0A5760F9C4738192487DCB10BDABBF228A |
| SHA-256 | 96E182E7572A1ADBCA73FC2E864190515C7CC31845C7B1875ED67B14DD2AF6BA |