Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.p_hi |
FileSize | 32434 |
MD5 | D828A2DD589FE2692D2E153EBB226AC1 |
SHA-1 | 5E3E45A758479FE6558DDEEC16022F13D9638924 |
SHA-256 | 9DC947B25ED050A2944D6C84791860662DBE04EF5DA09A9F43FE2E14F14666D8 |
SSDEEP | 768:5l8zs94y+A1d3AHoz2yibgzedAuMABSFRPc+INulrjHl9UinNSVeFw+8ttCY9k9t:beKRPjINulrjHjgqd |
TLSH | T1A7E2D217FF49D116D93C057989BE53017F24DCC2920AEF47604A227A9CB72D16F8ABAC |
hashlookup:parent-total | 3 |
hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileSize | 163508 |
MD5 | E65F0A811BD7E45D2E447572E9B71730 |
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 | 7D95777B55BD9C596D47E39D8FF20FF0EE5483D7 |
SHA-256 | FDCE11E0BDC9A22E35169E202FC5322DC30412B657F079A8F4D28479F2785BAF |
Key | Value |
---|---|
FileSize | 176608 |
MD5 | 50CE1C15FFA1B62BDAE4624642460BEA |
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 | 37E90CD66592D8DBA633AFE72D172A04CA30EBDE |
SHA-256 | 87A4670007713DDC57923CF97DA1D32698B67911622A77433FEA6BF67D14451D |
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 |