Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj_p.a |
FileSize | 1059578 |
MD5 | 15FAF89AAC300DC1BCA85363952DF887 |
SHA-1 | 9B69E1CD8AA01CF4B54B0C23CD26EC1C425EB8AF |
SHA-256 | A06C82C1BA1B567919A4AEC34197E0A29BBAEB7539F307ED2B6A9162FC1B47C6 |
SSDEEP | 12288:MiHNp635Jkni5JQGSYpM61GmggsggHQvwamGd66NTWEU:A5Jkni5JQGXR1GmggsggHQveGd6MTWE |
TLSH | T11A35D904A985CA7ACABF323422671A39E52107CE03D6E70BD9497DF84764F60BF23675 |
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 | 178668 |
MD5 | F5C03B63D298C5B3FAAAB5C4F2D26A07 |
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 | BF1F64BF7B7971709E1361A350ED3DF42DCA6468 |
SHA-256 | 319A0F3767296B266BF7D299F8DD84E0597475551F76AFC4ED923DCE79403B44 |