Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc.a |
FileSize | 753148 |
MD5 | A2D8A566CB925C6F5B414BBB9D1B82A2 |
SHA-1 | 2367914D0B4EDF04EB870E249E09F52B51CF79F5 |
SHA-256 | E18A022C81B73647D835B16AB980AE7FE8D34DDBC5ED5A096FCF18258A883540 |
SSDEEP | 12288:RDQjHwCdBsUQlII6T05JvmZS60NBpDfwICtm8Dkim2f6RMLVV0Xe7xMA2YdljWYK:ouu9OzSEsxMA2 |
TLSH | T1E3F4654AEB444619F9EE013DE1EBE7A9A322CB88564EFB0F241476D51E072D45E33327 |
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 | 203148 |
MD5 | A51AE538A8F1CD5D6E21529D38D0B530 |
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-4+b1 |
SHA-1 | 9B0F3458A6862F317A43ACBFA6768BEED2DDE6D5 |
SHA-256 | 8F5E104023E71BD855FDCBECDEEFABAECC5EB7EA514DA645DDF36EF95F9CC4E7 |