Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/djinn-lib-0.0.1.3-IYL2QiLeEeMIQ004pufpeW/Djinn/LJTFormula.p_hi |
FileSize | 32432 |
MD5 | 6402893FA63AB03624B7CA2BA5594707 |
SHA-1 | 794306996A479489390100F4E195128DF4C04CFC |
SHA-256 | E5757C909C116D8A50F7DFAAFCBCDD8BA9FD0770E8A2AEF9BEC4001DA572829F |
SSDEEP | 768:ScWbw75zgv/dR/gfgtmUubBwquxaWVMsvgd+8ttCY9k9d27o1AHF:SNWUOwquxaWVWq8 |
TLSH | T1EAE2CB17FF09D122DA7D0679C5BA03517F34EC825247AF836146223A9CA73D0AF9A76C |
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 | 155320 |
MD5 | D0AE67ED0468705AE41423A45A465A77 |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libghc-djinn-lib-prof |
PackageSection | haskell |
PackageVersion | 0.0.1.3-3build1 |
SHA-1 | 37A1D029A59BE64AD6BCA5CE1E22D8C763BD433B |
SHA-256 | 2BF64AE9261E99AC7628DB3895C650FC929EE66F69909C46D3A08B59E78984CD |