Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj.a |
FileSize | 674000 |
MD5 | 809DE578DB7659DF591625D407F0C441 |
SHA-1 | 65D90E96B0163141D98C8B0B0245B19C548AC731 |
SHA-256 | BA34DF2F7A4224EBEE111C187E5BCDC562D90C7AB3D2018857A4C701C72B9B85 |
SSDEEP | 12288:W9ITups7FcaZsFyeT5MLb9D5dOEUWTV9iAifF9CrcvOavOI0VV22c+U8KnB1Oz:WOTups7FcaZs4eFM |
TLSH | T161E452207A4294AFD87C87345AF52BA562355CC84F4B3B362264B2EE1F72F440F79B61 |
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 | 159668 |
MD5 | 09057ECC38F6D7C9CD667DB0A5B7931F |
PackageDescription | Generate Haskell code from a type 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. 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-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 816B278B1B104CB711B2F470E3376D6B8C368CF6 |
SHA-256 | 1DE21B55E2F599EBE02FA910970704166942C27EE573AB2B21CB4437C964C8B8 |