| Key | Value |
|---|---|
| FileName | ./usr/lib/s390x-linux-gnu/why3/coq/HighOrd.vo |
| FileSize | 27484 |
| MD5 | 768E29E9C3E75147AC24EC3FF37FEB28 |
| SHA-1 | 062E76A4566973DC1251E590D5E9603E9909F04A |
| SHA-256 | 6EB8A30C2A5AF31D87703024482B1B3824EC7936AAE96AA83B46E5FB965F8F18 |
| SSDEEP | 384:xr7n8LEkR/ZLvVPpJeKEgKKXkSQUzo5TYByjItT0QQB1LkGijThrKnYBmnCDUJ:Bn8QG/5VjekKKUakhbjlQw1LkzcYB+4U |
| TLSH | T188C2A306D511CBA214B6CE349E3850C4A4459E839399272C263405AEFFFFEDB2DF069B |
| 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 |
|---|---|
| FileSize | 596352 |
| MD5 | C5423E3ABEABED25A07213263DD689FE |
| PackageDescription | Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 1.2.0-1 |
| SHA-1 | 325E06A204E7DA872B31A761F69B0888FFB5E106 |
| SHA-256 | 38EC61BB8F0D7EE5CB98BDBD65CE0F7AC3E05D330C39B99318662B9EB12B1007 |
| Key | Value |
|---|---|
| FileSize | 596776 |
| MD5 | C68E77FFB848DD86271093DEEC612CFC |
| PackageDescription | Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 1.2.0-1 |
| SHA-1 | 73A45D2B3A4229AB801C6EE6CE64B187F6392CDF |
| SHA-256 | 6E0D9124215CCB5C327DA89BDB6E346F85E4296DF2CCB6C7F8BFD8EA8F0F8FDE |
| Key | Value |
|---|---|
| FileSize | 596300 |
| MD5 | F10D79BB2C5A74889DF474E205E3C5B3 |
| PackageDescription | Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 1.2.0-1 |
| SHA-1 | D86BF08106790B7FCF95DD37D399C92C5AD09F63 |
| SHA-256 | 634E17243BA9601E775CC477589915E52735ECE6496EE24E095B3D7AD5559506 |