| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3/html/_images/graphviz-a0a9573eecd3e1281c8506e989de8ac30f984c55.png |
| FileSize | 22091 |
| MD5 | 5A21397D1A83332C873688D3D5D51424 |
| SHA-1 | 04445D701B689A5D14FCAA093A14566CEAB144E8 |
| SHA-256 | 0F4F974F9B660B321E4E3E4F52FFFF1976C97DDC615CC0FBBEC36C345C5030F2 |
| SSDEEP | 384:IlYLi5VRqNuIdtStb6xLzFplRdXmrTVVKBg3gBHi2MijyHtBCi:aHwuQtStb69zFfrU2MiOPCi |
| TLSH | T1ADA2D1AAF93BDD22CF3A709A29490EB49AA98570350FE485F0009C53C462BB511BDCD6 |
| 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 | FB12B0D25352051C4938E4F274455102 |
| 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 | Fedora Project |
| PackageName | why3 |
| PackageRelease | 1.fc33 |
| PackageVersion | 1.3.3 |
| SHA-1 | 13B9F520B7E2853CF71036EA070F89748CEEAD8A |
| SHA-256 | 152F2439E7167A7260E42CB52A2B76DBB66F6AF26F869E75A860BFB89A7D34FF |