| Key | Value |
|---|---|
| FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Logic.JMeq.html |
| FileSize | 40259 |
| MD5 | E2C20C4076625AB58EF5551970AAC0A4 |
| SHA-1 | 00B2BE65151F1E64FA7ACC96B5DEFF8AA3E3F97B |
| SHA-256 | 54BE09FC0F4E21F2B0A9D4CB2434614434F722B15CFABDD1D277834EBD71A43C |
| SSDEEP | 768:QJDhNNfFmbSOAIQ/L8r7XI/bGP3apqdZuzpSgPByX98/SREh4WYjT9e90ZfQwYrH:QbYCInXLREh4PYqfQwYrT4+e+YGQmoVe |
| TLSH | T13B0394E483A2293B5DB28AF616ED6B24F0F10949E9895810F2FE47F7078DF247945933 |
| 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 | 57B657B809DA145E1A7F3DEE9F13D0A8 |
| PackageArch | noarch |
| PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-doc |
| PackageRelease | bp156.1.14 |
| PackageVersion | 8.19.1 |
| SHA-1 | 9214A84088D9F6ABC83FAD9AF73C37430BC28FCD |
| SHA-256 | 354FA58AD83EE0981C0662772D67F79B2FCA378CBB8AAA122C744CE6CCC3F48B |