Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj_p.a |
FileSize | 1334328 |
MD5 | ED5C8E65E59D1C9AB885CFB5C0D070D9 |
SHA-1 | 1B8A6CD235764FDD2259036463569C176052C07C |
SHA-256 | DDAE8DC1829B3B02069BB439C1E5D8873CC9BBCB8D27E013FD8089F13F2939DA |
SSDEEP | 12288:/haCqWH3mDuoxiPmx1BSsKT2BEYFZpxR1MXIPZ9iwQ3ZJrlbGuKG50CznLJPZJIO:jqFf51YzAg |
TLSH | T1CC55A65AFB056B26D9ECD035A45B6F106722CED90397FB2A5000E5E53F3A3E60E39712 |
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 | 213374 |
MD5 | F9617D4370A7373EC59487C32724DE22 |
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.2-8+b1 |
SHA-1 | 310534AD60DD136D30BBB73D748E6E2ED75ED49E |
SHA-256 | FCBC46BF795E8A09F1D2C591EF3F8EF01692BF74AEA1B535BDC342E1E8EDFA8A |