| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_ListSet.cmx |
| FileSize | 9077 |
| MD5 | FE09B0581F0C785D1BAE00578C37A348 |
| SHA-1 | 003B27F21964C6BB2E194DE77CC7B6297BB86F9C |
| SHA-256 | 43A06A2C5C358228EBCE4AAC8330D0352B2CB320A137A21B9DEA15C659416505 |
| SSDEEP | 192:tNeNn9evIk7B11x4p7KBKDo6ZjOvQbpuWtpdArY+twkdT+RR1W:He+vP71mpmBKDnxOvQbpPtpUY+tndSRq |
| TLSH | T19912CB2562B9BA4293D304FD59A9D2224D01C0348E60EA79976BC54FFFC8DCE775A30B |
| 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 | 610CC6E4F5B5ACC4BDE352F20EEBAFFF |
| PackageArch | x86_64 |
| PackageDescription | This package contains development files for Coq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-devel |
| PackageRelease | 1.6 |
| PackageVersion | 8.14.1 |
| SHA-1 | 30C6BC41C9C9B4065543D8B742209380E970BFCC |
| SHA-256 | CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA |