| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/coq/set/.coq-native/NWhy3_set_SetImp.cmxs |
| FileSize | 24800 |
| MD5 | 34FBA4CB1AC38975CE4683191CCE3228 |
| SHA-1 | 001D51DFBFD4CD4AE56E2DED93B231E0D50B9FA3 |
| SHA-256 | F54B00EC1F6979034D52F7EA1BC81D4AE295FE8474325D813AC98F4E7A20D3BA |
| SSDEEP | 192:R/SQoJ783HjSipE4svMuo/xQyqHvbIXYEJWhViE9MZTvu8DX58SVOdl8Qn5nK4s4:l7H+iK4luo/xAHvbIxEQvDXGQO82nKV |
| TLSH | T1B7B22A5732F9C63FD67687F840AB437522B0B4103E62EF136BA5B71C5FC128AA786491 |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
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 | 45A486D6C678D48E770B6A9339C42504 |
| PackageArch | x86_64 |
| PackageDescription | Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. |
| PackageMaintainer | Fedora Project |
| PackageName | why3 |
| PackageRelease | 7.fc34 |
| PackageVersion | 1.3.3 |
| SHA-1 | 02474BB213FA1101885E279CD888655711874965 |
| SHA-256 | A7CB11DE26800E3ACA74DBB37BA122857265BAA0F366288991D1FC8DD65F2E7F |