Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB.a |
FileSize | 778910 |
MD5 | 4891B611C2F1BD0E0D19DC9B85AFFBAA |
SHA-1 | 2813F2110A5C0C60B0D2A747A5324756E342F167 |
SHA-256 | C0F264C38FD87A15FD3F478BF4F208B849D6E0FB1E4384240DB1FF9949566880 |
SSDEEP | 12288:ke7uSDGGJUb2yQmucov7YxOZS16nwaQSA216KKlWslWHw7TLEMHU:kXUv7QOZS1Yv0 |
TLSH | T107F44227FB454A35E9AF523CD1BABB64AB35CB8A165AB70F141466C02E131D40FB7323 |
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 |
---|---|
FileSize | 204088 |
MD5 | 6F23B253A2A5A4F6E381BC819C9BBD61 |
PackageDescription | Generate Haskell code from a type 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. 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-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.3-3+b3 |
SHA-1 | 7C6E64AF450100B7D02AAF114DAC5C96FFFC2936 |
SHA-256 | F7EFFD1C8F505AE509F28F8C6B6EFC0430255E768E10C7A9BF3DC079AD15BAD4 |