| Key | Value |
|---|---|
| FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Classes.SetoidClass.html |
| FileSize | 24831 |
| MD5 | D19C7FFBEF7750370F436CFA92179244 |
| SHA-1 | 00D20FC6D155E1FA9CEC0DAA73D663CDA840600E |
| SHA-256 | 3A29648A9FB2F616830D6CAD04F812CCC67CAC0D677262EFD6BEA8A3487715A6 |
| SSDEEP | 768:Ml5+oOJ+s0dOAtILb1OVW5VHM0y2mKA2BeO0ys:48HssSdIv1hTHSWOys |
| TLSH | T1A2B2F2D883B228379973C6E627ED6B29F0E04A49D4894800F6FD47E757CDE60B586837 |
| 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 |