Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_definition_E.html |
FileSize | 71530 |
MD5 | 0232C09942AD1656E4F079F7558852F9 |
SHA-1 | 0193A640E70636ABD9157EE25EDFF0875A9BD32E |
SHA-256 | D9D973298631E4A54ED1118B9922C762EDF611B23AE4F6B6A5CE19A0D1B210AF |
SSDEEP | 192:1mEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy452AUmC6roU8iuBJ9HM:18QGaf+CANMHpRBO7d58Ga0QGaf+v |
TLSH | T10E63D35155C215AF87582A3E0AB43DAD31F317F21A613E44AE4FBC3FCAA3795025E293 |
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 |