| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/coq/real/Trigonometry.vo |
| FileSize | 48316 |
| MD5 | 1CF03610DAFE3D7D99F41EA8919C34B6 |
| SHA-1 | 039BA91E957104D17FBD05958B6CF9CECF71625A |
| SHA-256 | FB6A6017FE28C04BC41E6B3F411E48EDC36A864DF8BFE6B28A139B9B93E9BB71 |
| SSDEEP | 768:sul2KS9SCqJQwnuyfFe7jqfJIOBIDplVeKfwRqsHyVF+6I0jnZ:subtUyfFev8SLI5KXjdnZ |
| TLSH | T1C023E747E10147A016F6CCB45AB860C2D8419E8BE35D5B66A234812EDF1F7DF2EB8763 |
| 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 | 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 |