| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJTFormula.dyn_hi |
| FileSize | 32147 |
| MD5 | 3FD5DCCB3AA47B60D0EDC5934C663407 |
| SHA-1 | 3BCDE497D9CB2520DF81212C633EFB5B61C96B1F |
| SHA-256 | 6F2E49A576352881D90E6989D16A61577A636A9CCF0581504C85350DDA7E11FF |
| SSDEEP | 768:T7BvvSgKWlIbrkjc9WzoQmH99yilUB93uz+8ttCY9k9d27o1AHF:XgH99yilUAq8 |
| TLSH | T12AE2AA57FF45A113D93D063984BE0341BF34E982524BAF87204A323A9CA73D46F9A69D |
| 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 |