| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3/html/_images/graphviz-733c6bee4ad5df6f1cdfd17afa048af0d20c830a.png |
| FileSize | 103257 |
| MD5 | 0951AA8215BEE14994BE55B265E4F394 |
| SHA-1 | 08A28FF333D21120EC50D8BA7DF55908A0B1465B |
| SHA-256 | 095B1B08DB31EF8FD71E17DD5643D06E185B021EFF383199365A7CE1C3545147 |
| SSDEEP | 3072:l82LCGuALaIuFZwhvCfuiIOlsVTBW2f1rpgB:l82LCGuPIuTvmfOlsVT7lgB |
| TLSH | T168A302A47D4154243E6D0851AD3B4E2DBAFA205161BD82E0970BF6D77FC429A3CD1AAC |
| 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 | B8BF70F25097EEBCA7BD94B898D7469A |
| 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 | 1.fc32 |
| PackageVersion | 1.3.1 |
| SHA-1 | 96CE07E76ECAFBDAAC4ADEB7CDF320D32A57D012 |
| SHA-256 | A09D7E9F43B1F5076DD7E0736F93153A8DD3997BAD812D1C67A85C3CCDD41101 |