| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3/html/starting.html |
| FileSize | 26823 |
| MD5 | 4CE5ED319D5A8D20524415E6515D99AB |
| SHA-1 | 032E3CBA0CF9E2050F87A0D767CDB966D0B553A7 |
| SHA-256 | E9A6456F3A3262407DA2B9DD3B246D671236A20584CF64F9406CDE0D6043F3FF |
| SSDEEP | 384:LZavsEewX6E3/JDEEo34j03EREsi/F/Eqw2mvETjH6hIV5JCMd7vq6ZaIVirJsu5:LZaX9xKq0B8vEaUTzd7vqjIVirJsuqQ |
| TLSH | T1E0C29371C5B64637067342E6E3DB1B79B1DB482EE1620015F2FC436C03DAD94BA1B96E |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | C1B3DD078411CB8AAAA4F773500A8D8D |
| 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 | 1.fc32 |
| PackageVersion | 1.3.1 |
| SHA-1 | 94681FA2E789ED280278FE3E7D8A6F100DC0CB35 |
| SHA-256 | CC246B9D08A644734F1B9D2501E76B72FF63DC5D1442B1321E3E81F9B1F3D3D6 |
| 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 |
| Key | Value |
|---|---|
| MD5 | FFC8955EFA91600BAA574C76B97DE097 |
| 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.fc32 |
| PackageVersion | 1.3.1 |
| SHA-1 | BF35311963296809C51EB220B5E3BDC1F71CAF85 |
| SHA-256 | DB91BEB5178A05E95F2FEF7818767860490E329BAE1FEC9BF4514422A6969265 |