| Key | Value |
|---|---|
| FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Reals.Cauchy_prod.html |
| FileSize | 14574 |
| MD5 | ED1EFE5288FB434401C8D90850B21CD5 |
| SHA-1 | 00B3C35A52534F238CC932852D2E3A033C34444E |
| SHA-256 | 2313B38A6BC4120DCB83B16D63A65C516DA912A5AFF2B7710467B9D941A01E52 |
| SSDEEP | 192:nOA6W7u9IBCBvb/BuKN1OcSPlpJuua9obNl1q+ir2knt:nB6ou9IgruKN10PIua9ohl1ErX |
| TLSH | T1136217E483A229374A7386FA17FD2728F9E14945E0899D50F2EE4AFA07CDF207555833 |
| 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 | AA756BB222B4292532B4108C3C20E0DC |
| PackageArch | i586 |
| 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 | 97231FCBDEEBD2E1C301173D8EA035766738F693 |
| SHA-256 | 726437DE8F02BF45ABEA092151F328A9F962F5A96EF26ED2C6842507BC3C4AE6 |