| Key | Value |
|---|---|
| FileName | ./usr/lib/why3/plugins/hypothesis_selection.cmo |
| FileSize | 6318998 |
| MD5 | A11BA104923CEDCD395ADE98447B8C9F |
| SHA-1 | 07700E93B46045D99AA422D37FD9945605BD12AA |
| SHA-256 | 688481C2DBC55C58C778CA2E8D9F2460A25A960B3E22915499B6065BC883B8FF |
| SSDEEP | 49152:W9WPuCpqHumDm/rbPd1oi/DGNqtFQZZDT9nXzfMef0EwdHwm/oogixKzSk6rgx8W:UCpYKop+fwm0iEd6UeXxwJx5tg2 |
| TLSH | T17F567F4FB10A46A0DC4C497DA8F64AAF7B50216B00F72DBB900D6AD05676E2F43CE9D7 |
| 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 | 53C5D2DE492818851B465C903F0DB027 |
| PackageArch | i586 |
| 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 | 230A0D721B26F079950B229805CC8809EC053C02 |
| SHA-256 | C6888BB98569B6C038DAD457889780E1A33F20C07D266E30D3173604052CC211 |