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_p.a |
FileSize | 1086134 |
MD5 | 634FBEDC0B4DB400F576733BC0F7660C |
SHA-1 | 4C76AC8F8F84FDA3531F1BA88B59FC04B2078DB0 |
SHA-256 | FED04D441AF4B525FD54305510959A7D283709C5008D876077084C0263BD8501 |
SSDEEP | 12288:LbioqG6Ho6NxBD0TarAvbDegO81M1jTpE/UgE7abRo27fQOBvien32gZ+WA12B0o:X+qUgd73OKNitQXc1 |
TLSH | T19B35958EFB448614EADD4138F1DEABA87722CA56138EE70B64087AF52F472D51D37312 |
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 | 177168 |
MD5 | 042A2D460873A69D124DE2E2F79FA3A0 |
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-4+b1 |
SHA-1 | CF33CE9DCA8A4A2DF7D2A3449E39FBDBFC60287D |
SHA-256 | 6EC901B562CF33364FCD46E3912FC529B770F03979E443D0F0BFF49B068AE2D5 |