| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/coq/for_drivers/.coq-native/NWhy3_for_drivers_ComputerOfEuclideanDivision.o |
| FileSize | 4216 |
| MD5 | 18980801FEC8C30EFFA3CE593AE9CA56 |
| SHA-1 | 0503852A2C0A6D1DC24E51421D35326B2930F5D5 |
| SHA-256 | 64A135190F83FAC11C484BBAA67F437AD4F83F69F76A642658BE11BD814397DE |
| SSDEEP | 24:gQOJviAYiqYZB51qj7orIdcICa8EaR3FanxmSBVZkA4ZD1vmUav9J1PWMmTCman3:GJqOZB5167fdhmeRvdx1J |
| TLSH | T15B914B6EAF0E48AFC31801B1A3E6935137F4F1E625964F0BD688E448ED433AC2D5BC46 |
| 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 | 62F4043E013545A3A594DCBE55839F04 |
| PackageArch | aarch64 |
| 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 | D5D1D2FD24E3513A1D3C35DDDE5A7D11BBEA35FA |
| SHA-256 | 8E4F6061615834719E949C56605466067446FAAB31DFC70ACDDE970126C231F4 |