| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
| FileSize | 32241 |
| MD5 | 8704AB8FC97C2EFBCDBC2E3D41A70F3D |
| SHA-1 | 14E90101BB6CE9D3371A311DA3FB3FBA7ADE4CA5 |
| SHA-256 | 4D8345A2DCD022873B993764B2C7E9A4CE5B73B17D90EB23A63B02D55D9CFC14 |
| SSDEEP | 768:0lkbcNoi2Aq89PwHYr+yirAjeloGcoFcx1k+4VY51Drq5ninNSVC2G+8ttCY9k9t:VIOe1b4VO1DrDvqd |
| TLSH | T193E2C017FF09E116D93C0539C9BE53017B24DCC2921AEF47604A227A9CB72D16F9A7AC |
| 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 | 203148 |
| MD5 | A51AE538A8F1CD5D6E21529D38D0B530 |
| 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-4+b1 |
| SHA-1 | 9B0F3458A6862F317A43ACBFA6768BEED2DDE6D5 |
| SHA-256 | 8F5E104023E71BD855FDCBECDEEFABAECC5EB7EA514DA645DDF36EF95F9CC4E7 |
| Key | Value |
|---|---|
| FileSize | 186724 |
| MD5 | F426A17566EFA914678365B8FAD3F472 |
| 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-4+b1 |
| SHA-1 | C03685641DFFD2A5218F1F2578FCB1C35E81350D |
| SHA-256 | 70421FABAD68233E646C5C5FC692EEE5F1A87536EDB53731FF53ED06D201C645 |
| Key | Value |
|---|---|
| FileSize | 202524 |
| MD5 | F3D68C45F4306E36A4CFDE2084961363 |
| 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-4+b1 |
| SHA-1 | BC83650721DE2A5B18F69E1F3DB40D5D12EDDA30 |
| SHA-256 | 21D101BA3ED1F142AD5F8B554C691EE951AF70DE6B721B12D6308E0FEB935EA4 |