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 | C82AA631F4E4D7DEDEE75794B90E222A |
PackageArch | i586 |
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 | E55EAE14B4E44AA16E3940BDC4D855889E9B702D |
SHA-256 | 6558183A8A0E06CD6941CBAE873D32428C563E6687CBD6C1F2B7D0B98A2B2363 |