| Key | Value |
|---|---|
| FileName | ./usr/share/doc/ghc-8.0.2/html/libraries/Agda-2.5.2/Agda-TypeChecking-Rules-LHS-Implicit.html |
| FileSize | 9263 |
| MD5 | F1C89D131AAE6FBCB2B63B9A6881192C |
| SHA-1 | 000CF2EACE550EC0A7610DA8F1F059BD96951644 |
| SHA-256 | 757611FF5F90F0C28935AC2A908AE8719F86322ABFC5ACFDD31F741A38FEF808 |
| SSDEEP | 192:Y2q60HMRHRufwVHjCK/zpeRuk7wmiv0jxawK/ua:Y2q60HMRlpaRci3pa |
| TLSH | T11312EEF0ABD22A7963730B8AA5C4752C745703E4A8404A5EF1668A97CF9EF3030A7593 |
| 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 |