| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-flocq/html/Flocq.Core.Round_NE.html |
| FileSize | 36402 |
| MD5 | D03AA029869D0ABC9CB2B760E4519C31 |
| SHA-1 | 1A1FB5B8D38DE002F9706CEA1B7824931D7722CF |
| SHA-256 | 5CD13051D75119461BD2452754468C781D189F38B6BD1C31934E21821F11E478 |
| SSDEEP | 192:VLu3f/L7i+nHsa9hymXaetqUzeuzSa8QSPS/cPSgHq3QmPS/mPSkJ1ls+b1Hdcjj:VCfPPN9raa8Tztq3zB2Sgbc7e/Xrp |
| TLSH | T179F24AE85796193F557786FB32E86768F1E10D45E0868810F2ED0AEB5B8EF207691833 |
| hashlookup:parent-total | 4 |
| hashlookup:trust | 70 |
The searched file hash is included in 4 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 |
| Key | Value |
|---|---|
| MD5 | F46679FE541EAC5CF39598E02B75F402 |
| PackageArch | armv7hl |
| 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 | 0658B6129A14D7FAE3FE922275516853E179B454 |
| SHA-256 | 5D0CD912F2F7B7C62FBC7484D8D4C8BC8130953D164BF65B7B7B1821F2B40D2A |
| 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 |
| Key | Value |
|---|---|
| MD5 | 26D95FA5518B79853195418534999348 |
| PackageArch | x86_64 |
| 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 | 8EE4431047D19F0587D41560B74D30DCF8A929A3 |
| SHA-256 | 028E428086F4BB8021D7D53A75A03F6A074F486337A3852B76F547E3790BEF7C |