| Key | Value |
|---|---|
| FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Classes.SetoidDec.html |
| FileSize | 30793 |
| MD5 | D1C3EFD4EE2A44BBB083E0563A78BDEF |
| SHA-1 | 00D4D6B75CAF894E81301772794D189DA9B5ECB5 |
| SHA-256 | 1A34EEF4115D76B3B32E572396435E2E9ED10DA64633F1AA55FA0D965A27D1A4 |
| SSDEEP | 768:dmARkjutO03f4mh9zxZMP97GQRQJZXMLlVOoEa6GYRCojkQliOg+Ydw:sARsutfvHnqFyXcZhE9GYRCojeOg+5 |
| TLSH | T177D228E883B6293B49738AE616FD2B29F0E10945E1898D10F2FD47E7478DE1079D6837 |
| hashlookup:parent-total | 4 |
| hashlookup:trust | 70 |
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 36432E3A26D47FDD4C0DBBBDE4E40573 |
| PackageArch | x86_64 |
| PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-doc |
| PackageRelease | bp155.2.13 |
| PackageVersion | 8.13.2 |
| SHA-1 | D51CF5C0E9C43431D3F41C8C5CD5053F0E2A5763 |
| SHA-256 | 5016DFDCAD252644A2946D0BD211A0C07C969835304DE18E7B13779F82CC02DD |
| Key | Value |
|---|---|
| MD5 | B5D3E8F95485354F328266A3765654A4 |
| PackageArch | x86_64 |
| PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-doc |
| PackageRelease | bp154.1.44 |
| PackageVersion | 8.13.2 |
| SHA-1 | 7712E2102DFA52A5D3D1ACAB3CC06BBEFA371397 |
| SHA-256 | 7E9944B5AE65951DAA159FEFD5D527C2331BBE994415579634108382C70DA1BE |
| Key | Value |
|---|---|
| MD5 | 2B81E5BA2E85D9E9ACCBAF592EB9872E |
| PackageArch | s390x |
| PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-doc |
| PackageRelease | bp155.2.13 |
| PackageVersion | 8.13.2 |
| SHA-1 | 85BCE4A79C3696EDCCDEB38D9BFD43F7AF72A49C |
| SHA-256 | C707FB48B83D78BD3993D3C2EC971E60F19EBF095F7006D319A3E56BA0D951FE |
| Key | Value |
|---|---|
| MD5 | A1A864DEC3B230ECB3849ECB5968B08A |
| PackageArch | s390x |
| PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-doc |
| PackageRelease | bp154.1.44 |
| PackageVersion | 8.13.2 |
| SHA-1 | DD96C11A59A8CFD0F68E2A937C31DA378C0B0E46 |
| SHA-256 | 13722921104C50D5FDD60219683F1ACAB53474033C2D11867BD484841E357A1D |