| Key | Value |
|---|---|
| FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Init.Logic.html |
| FileSize | 528018 |
| MD5 | 8ABA931AF00F257BA5C5BC73261B8CF3 |
| SHA-1 | 01658944CB38ED26CB970CE6363A5C38CBE27CF9 |
| SHA-256 | 8EAFD670B8BF25226200487B0BF15ACA79236E64DE67CEC79376A4AEEF79E0FB |
| SSDEEP | 1536:eRn7mYS7asDrT4wrVDXVCIi6Wgk7asx3TnFhAnXmCA3mE7asMLTZ+OA+cyeQiY8l:2SisNA6AadAY3AXAmAoshR7ANCsIS |
| TLSH | T1CFB4B8E483A2297B4D778AF613FD6B28F0F14949E5864A10E2EF46E706CDF247585833 |
| 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 | D078C6B8114F4C41E40A900EEC09FB97 |
| 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 | 1.6 |
| PackageVersion | 8.14.1 |
| SHA-1 | 9052D6F90BB6E4E8A193FE1DCEA598154741B3E4 |
| SHA-256 | C232A1D9A618CFA1C1BC2F23DFC0CCC00BE55A2534772C52051877756BC046A9 |