| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.p_hi |
| FileSize | 29852 |
| MD5 | 30B52EC81765F92604E4BD16BD27880C |
| SHA-1 | E0918499509EE9779AEB12E1F6408CB72E22CB5C |
| SHA-256 | 5A971DDF0E3A6FF13B97120FA00AB90189A3C7E49203A249B9C78E6150CC5465 |
| SSDEEP | 768:0Qw1lyo+fx/co+iNUY1wW8+yt+nZtP1BUrWdI63I+TDOQ:LTdfx/pPnPUrWy64+TDOQ |
| TLSH | T19BD28717FF84E222D83A0B7A89BA03417F74E9C217078F5751453235DCA72D16EAA3AD |
| 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 | 178668 |
| MD5 | F5C03B63D298C5B3FAAAB5C4F2D26A07 |
| 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 | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| PackageName | libghc-djinn-lib-prof |
| PackageSection | haskell |
| PackageVersion | 0.0.1.2-8+b1 |
| SHA-1 | BF1F64BF7B7971709E1361A350ED3DF42DCA6468 |
| SHA-256 | 319A0F3767296B266BF7D299F8DD84E0597475551F76AFC4ED923DCE79403B44 |
| Key | Value |
|---|---|
| FileSize | 209182 |
| MD5 | 4E2B36777DEFA5BA3B2534F283FDB51F |
| 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 | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| PackageName | libghc-djinn-lib-prof |
| PackageSection | haskell |
| PackageVersion | 0.0.1.2-8+b1 |
| SHA-1 | A4FE506196B671E4A30FDDB542633A804AE4901D |
| SHA-256 | 0EB9DBDDC224D6B225829E35A90432C97A5D3A703F229BF223FD7B5E8BBC0277 |
| Key | Value |
|---|---|
| FileSize | 213374 |
| MD5 | F9617D4370A7373EC59487C32724DE22 |
| 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 | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| PackageName | libghc-djinn-lib-prof |
| PackageSection | haskell |
| PackageVersion | 0.0.1.2-8+b1 |
| SHA-1 | 310534AD60DD136D30BBB73D748E6E2ED75ED49E |
| SHA-256 | FCBC46BF795E8A09F1D2C591EF3F8EF01692BF74AEA1B535BDC342E1E8EDFA8A |