| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJTFormula.hi |
| FileSize | 32135 |
| MD5 | C81F97ED3B10B29FB569A2458EE1B04B |
| SHA-1 | 94D667243F531B4DCA130158E3C74BBF49A5BD90 |
| SHA-256 | 5A540CA094EB61177A613BA80BA0756BCA1576DBBA9C378E9DF7E3D3C86F1EAB |
| SSDEEP | 768:jjxPJhaxGdQbDsbslWDMXtFG6dUVF7zz+8ttCY9k9d27o1AHF:/TMXtFG6dUjq8 |
| TLSH | T17BE2AB57FF45D113D93D063984BE03417F34E982524BAF83604A223A9CA73D4AFAA79D |
| 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 | 189364 |
| MD5 | B75E768DD036805327174DA216FD88AE |
| 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.3-3+b2 |
| SHA-1 | EE0000E2BE38727E9803B441152C032E9502A193 |
| SHA-256 | 739A6BED2E400DBC86A05E75245C9018540EAEDDA76210864C1ED81BBE71799C |
| Key | Value |
|---|---|
| FileSize | 204088 |
| MD5 | 6F23B253A2A5A4F6E381BC819C9BBD61 |
| 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.3-3+b3 |
| SHA-1 | 7C6E64AF450100B7D02AAF114DAC5C96FFFC2936 |
| SHA-256 | F7EFFD1C8F505AE509F28F8C6B6EFC0430255E768E10C7A9BF3DC079AD15BAD4 |
| Key | Value |
|---|---|
| FileSize | 204240 |
| MD5 | 287373E3B33A82D8F101628F88D1A4CD |
| 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.3-3+b2 |
| SHA-1 | 74F1AB61F07109BDD1FF4BA4C84C89498CFB865E |
| SHA-256 | 402D0F8F6B52BF4296A42F639BF8BA749006F9B33BEA15E0A5B5AD419B091AF4 |