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 |
| MD5 | C26219A15D1D3DF7BA984AE3FD3431AB |
| PackageArch | aarch64 |
| PackageDescription | Flocq (Floats for Coq) is a floating-point formalization for the Coq
system. It provides a comprehensive library of theorems on a
multi-radix multi-precision arithmetic. It also supports efficient
numerical computations inside Coq. |
| PackageMaintainer | danf <danf> |
| PackageName | coq-flocq |
| PackageRelease | 1.mga9 |
| PackageVersion | 4.1.0 |
| SHA-1 | 74715921BFF55B4473F44C44B5B7572D7D507BD1 |
| SHA-256 | F9DC1DDD3451F813836980B60FD27191E960044255C1A7F922FF48F096D3C155 |