| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/commands/why3prove |
| FileSize | 7981688 |
| MD5 | D16328D496B0AE649BEBA37E6BFAC7F2 |
| SHA-1 | 0608C02BD930E957DD14B20FA7D890C782BFD939 |
| SHA-256 | 5164C87889C2B703099CF7305DE7B34575C6B5EE84CEA9E3E2537AF4058C2EBC |
| SSDEEP | 98304:RUZYTZowKqluuPhsPX7ANHl4lle+Hne+:RxDo/4mCse |
| TLSH | T178862B5F69CB8FF9C2BDD6384B664761BA72786016A17F032AD026100F435EA0F7E794 |
| 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 | 96A26BC6D701C56461D84CF5252D0F1B |
| 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 | daviddavid <daviddavid> |
| PackageName | why3 |
| PackageRelease | 1.mga7 |
| PackageVersion | 1.2.0 |
| SHA-1 | 2BB756EC117F57495F536462FEC6C7D46FE5CD5A |
| SHA-256 | D22B36F9307C03C401C530244D3115399BF4703DE2E27E1EF57169954AB7591C |