| Key | Value |
|---|---|
| FileName | ./usr/lib64/ghc-8.0.2/Agda-2.5.2-AyyJ54X0qGFDV8rYckhQtt/Agda/TypeChecking/Constraints.hi |
| FileSize | 42637 |
| MD5 | 8C6289EF04737BC4321857F391943069 |
| SHA-1 | 006EF1F0CB067F0E8D3C3CC7EAB64908E3AA17C6 |
| SHA-256 | 89E10D4A59C9458DF6AE7A7C1AEE1A4DF2F3A9785033F8E46F80B1D58CC35954 |
| SSDEEP | 768:JHv/ZWQjkmlbI7Ct4a1MfSSPB8l1xfPL2e:Vvge7KCt4a1Mf5efNPR |
| TLSH | T17E136256BF08962AEC280FB68CFB0704BB70D9E15243D79B0199B131DDFA4E51D366E8 |
| 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 | 90B28AEE1048588B4FF1E19F07B0EC9D |
| PackageArch | x86_64 |
| PackageDescription | This package provides the Haskell Agda library development files. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | ghc-Agda-devel |
| PackageRelease | lp150.1.17 |
| PackageVersion | 2.5.2 |
| SHA-1 | 5D82D211110CE16666BE3CBB8814EC9FC124A2FE |
| SHA-256 | C4F293026F91302C08A15BFDBD533A1CA80764680CBDB144D8E45D0866C44695 |