| Key | Value |
|---|---|
| FileName | ./usr/lib/why3/commands/why3wc |
| FileSize | 1326700 |
| MD5 | 68BCB6DDB83F346FD8ED3D2E9A9D3348 |
| SHA-1 | 0183DA0B392A900DB19C370E0105791EC238AC53 |
| SHA-256 | CDE096FA1AE6C6EFCAA98242B5DA51F6F627F1176AA2A9DE03C7E82DFD49B322 |
| SSDEEP | 24576:E7pOkcLYPoI5W4f9EwwaNRYvbAkjhntv26R:E7pOkcLYP1W4ewX0bAkjhnt5 |
| TLSH | T1DE555B03FE186E6ADC9A4B34887F57DA9316FF89A7E21702590E31142DF21C41FE6AC5 |
| 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 | 7FD22268296354EABC55904D480ACB9A |
| PackageArch | armv7hl |
| 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 | daviddavid <daviddavid> |
| PackageName | why3 |
| PackageRelease | 1.mga7 |
| PackageVersion | 1.2.0 |
| SHA-1 | 419812E6D887F8D259DC535AA653B825DAF1649A |
| SHA-256 | 9C597AE0B6A3DE4BDD79D6364746301C912502AE2FBEC8EF1D7CC8D4A34DCDAB |