| Key | Value |
|---|---|
| FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Wellfounded.Transitive_Closure.html |
| FileSize | 8698 |
| MD5 | 30D4264E6BA4A72988ACF5EF7D952705 |
| SHA-1 | 011A7C7F5EC80E3D8569F961603CAB7245849433 |
| SHA-256 | C333DF46F92EE622611FB075142EA0281004EFC0444D15F983A41EBD7DAB16A3 |
| SSDEEP | 96:1xYtWMxGMjILK+9bW8hIWbjzMY55ILvOcM9PX5557FLMYzME55575GpILHWjlf5U:nYtrV8KFilXeNGxyTVtp6EYGont |
| TLSH | T15C0254E443A2183F8A7287E613F87B28F6D08D4AE7450854F2FE87AB0BCDF546552527 |
| 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 |