Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so |
FileSize | 452728 |
MD5 | 9FF1DFFA2F9BA43247027671C4ADDD86 |
SHA-1 | 17D01B7E2A72EBF351A474EC03DF3F437B8B9932 |
SHA-256 | 91D5D3AB3BA1ACC382C2C70C56CA8B1C0931D9A48061D9850FBA1534A3FB02F4 |
SSDEEP | 12288:XelcWMRoSisTXZUUBUU0qfnfVJVv8kYFU0+7icXzVbkg5xhxzybGY+WqXgb0Pufl:OlBMRbVNj/kztcKOw0S6C |
TLSH | T10EA49526F9454A35D9EF123CF1AAAB50B6360B8D9A4EF62D1424F9F4BB1F0504E72313 |
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 | 204240 |
MD5 | 287373E3B33A82D8F101628F88D1A4CD |
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+b2 |
SHA-1 | 74F1AB61F07109BDD1FF4BA4C84C89498CFB865E |
SHA-256 | 402D0F8F6B52BF4296A42F639BF8BA749006F9B33BEA15E0A5B5AD419B091AF4 |