Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.p_hi |
FileSize | 48383 |
MD5 | B034ADBB0726B96DF40AD7443358EFFD |
SHA-1 | 8E7E4972DE7C408BBCCED1D79A3ED8466A8F77B9 |
SHA-256 | B74942AE05313E19B36A421EC05924F9A5B4734BE5BA221D88DD4DFCE941FB7E |
SSDEEP | 768:G9luGc+8buBUUQ+EkclWESf2d6zH8S7S38BdA5ECPtIHb1EYHRv:aluGc+HEkVX7Z |
TLSH | T1F623EC16FF48E427C93C0679C9F20355BB38D9C26656AB931049227ADCB33C47F96A9C |
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 | 198972 |
MD5 | 8659C381A2103192F8DB97CD505827A0 |
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-3+b2 |
SHA-1 | 781E2FC6B26D98AEE49C15F4E11DA00E381E7852 |
SHA-256 | ED5D90B1FC7BBE7CAAC6D90D72314BCF57C817A3A1C2A1E81ED37A694216EDD5 |