| Key | Value |
|---|---|
| FileName | ./usr/share/doc/ghc-8.4.4/html/libraries/Agda-2.5.4.2/Agda-Utils-Map.html |
| FileSize | 10266 |
| MD5 | ED2A43F16570552544F3187EB8E26177 |
| SHA-1 | 027C5E6677DCF07F709D2FF9322C1FE4BBAADB9E |
| SHA-256 | 572197D67BC322D9F654A423E7717D4A3E22415831E3903B47B8BA1AFCF1473F |
| SSDEEP | 96:JuMOB/XYn70EaTBLQHM5aHnQbp3tznTBqHOINk5a2inBAiXV+ibSYT:JPOJY0EaTBRaHKnTBIfma20G5MT |
| TLSH | T18C22654093C6C33D6BC18D8820D2757F6583AAFDF1458F01B0A9D4ABC799BBDB10A5A3 |
| hashlookup:parent-total | 2 |
| hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | ABFA4581FBDAD569281FE00360126966 |
| PackageArch | x86_64 |
| PackageDescription | This package provides the Haskell Agda library development files. |
| PackageName | ghc-Agda-devel |
| PackageRelease | 1.10 |
| PackageVersion | 2.5.4.2 |
| SHA-1 | 2699025544EDFA8D33B6B000675387CAC06FF9B1 |
| SHA-256 | 7C3B9C95FC5A9458ABAEE6AD4198CC62CEA8FEDA0C9677DB81316E4A5446CE17 |
| Key | Value |
|---|---|
| MD5 | 01876E4B8BA529CED995190CCD8613E0 |
| PackageArch | x86_64 |
| PackageDescription | This package provides the Haskell Agda library development files. |
| PackageName | ghc-Agda-devel |
| PackageRelease | lp150.1.2 |
| PackageVersion | 2.5.4.2 |
| SHA-1 | 07AC45D3D2FF76510B8992A149B6D153998022CD |
| SHA-256 | DB3B6C5A5BE9E166F40D48179F5B7A6ADB2377731D682759D798BB00869DED70 |