| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJTFormula.p_hi |
| FileSize | 32328 |
| MD5 | F8E5F59E6E026689A51EC101F138DA05 |
| SHA-1 | F4693E39F9DC4D31B71BB60B2A434C394778FAC2 |
| SHA-256 | FBA26518CFD4F0D18C1F0F0B369999207D2FC68FD416BD169EF6587AF3DDA7C8 |
| SSDEEP | 768:RbRfjSp2VYLrEz8tWzdiHtNWi1U4Nz+0t+8ttCY9k9d27o1AHF:tdiHtNWi1U4zq8 |
| TLSH | T176E2AA57FF45D113DA3D063984BE0341BF34D982524BAF83604A223ADCA73D0AF9A69D |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 166924 |
| MD5 | B636F5F6FF7728FE805E6809FA30C615 |
| PackageDescription | Generate Haskell code from a type; profiling libraries Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. |
| PackageMaintainer | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| PackageName | libghc-djinn-lib-prof |
| PackageSection | haskell |
| PackageVersion | 0.0.1.3-3+b2 |
| SHA-1 | A9AF4FFE83D1322BF22BED60D9750781F1F873A8 |
| SHA-256 | 062D05EB6676282B3D30816F9F99F5D756AD17553D5110CE13C9B411B28F2057 |
| Key | Value |
|---|---|
| FileSize | 178112 |
| MD5 | 1576BC0D84BDA1A4AE86F6376642219C |
| PackageDescription | Generate Haskell code from a type; profiling libraries Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. |
| PackageMaintainer | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| PackageName | libghc-djinn-lib-prof |
| PackageSection | haskell |
| PackageVersion | 0.0.1.3-3+b2 |
| SHA-1 | CB97A4A68398BACAAD1E12D2D4F1F43A1E2490B9 |
| SHA-256 | 34662EB7CF97B609556F64A939FF2AB85818D41F1F72177E05ED30E98549901C |
| Key | Value |
|---|---|
| FileSize | 178280 |
| MD5 | 69035640A2B86C8500DCF5F4D55EBFA9 |
| PackageDescription | Generate Haskell code from a type; profiling libraries Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. |
| PackageMaintainer | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| PackageName | libghc-djinn-lib-prof |
| PackageSection | haskell |
| PackageVersion | 0.0.1.3-3+b3 |
| SHA-1 | 4FDAE52FF09E7F54F37F25BB79A356683A5370D7 |
| SHA-256 | 6BE4D00AA7A6AD930981CE30AFB721311976C2DE72BFC62844FBF8586D22AC95 |