| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/commands/why3doc |
| FileSize | 15129080 |
| MD5 | AAE7017192B5FC6DFDFEAB1D2880EF3B |
| SHA-1 | 07B1B4937EC9C25DB6B987E2F36E30FCFF7B9242 |
| SHA-256 | FA2BAB81B4351833B28DB29D7A2FFA95236F59549641CC2AFDE9C0C0657C9E48 |
| SSDEEP | 98304:K/0B/j0fwRWPXMHjO3MmejxIrpsWgVJbS9uJd8jAar9VkueKQOlBpB2sexSQuJYj:K/k0dDejx8psXJb7JiAIPhWWJ |
| TLSH | T1B8E6086FF84CEFACDE8E6A708F59179372B6D84929A0CB0157513255BAC33C8093A5F1 |
| 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 | C724DAECA4595FDA8D786899B1EBA833 |
| 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.fc33 |
| PackageVersion | 1.3.3 |
| SHA-1 | 7D95BAD99DC661A3B052E142D3F032A4070DFBD1 |
| SHA-256 | 943E612031D678016F3777DD6D76AC1EFCC3E09E119DFE9EF42D34F3CF0E2AEC |