Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
FileSize | 450264 |
MD5 | 17AC1DA1C08523885C059CF14B78CEEC |
SHA-1 | 8B5E69F7D433D16676EE85028752806251C64BC2 |
SHA-256 | D476A0AF0600F5F338D742A7B58F82F6B496096FAF2F8ECAFEC2A28B53F85FD6 |
SSDEEP | 12288:/ZuTAocHNlNjXMOW7VCJtmzAsDzcYvYzVzuvsWAQ5iE3bRLoT4HN8FnJYdBpRjhm:/Zq0C+stQJgHF18QD47 |
TLSH | T110A4A715F8004658FAEE0138F2FA9B64A2370A4D4E8FFA195924FAF57B7F1549D23306 |
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 | 202524 |
MD5 | F3D68C45F4306E36A4CFDE2084961363 |
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 | BC83650721DE2A5B18F69E1F3DB40D5D12EDDA30 |
SHA-256 | 21D101BA3ED1F142AD5F8B554C691EE951AF70DE6B721B12D6308E0FEB935EA4 |