| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.p_hi |
| FileSize | 29860 |
| MD5 | 3DCF28A526F9E61A06E7C0272510A0EA |
| SHA-1 | 05E6A8CADCF43E560928D06C2B177AF80A6C44AE |
| SHA-256 | 805D7D3909CF0EFE49D31D223A040E54942CBB92DBCE15B25E38B1C2EC5A7ECF |
| SSDEEP | 768:B4lk+yc1m7XFztD9wW8+yt+nZtP1BUrWdI63I+TDOQ:OBycY7VVPUrWy64+TDOQ |
| TLSH | T1DED2B817EF44E222D8390B7588BB43417F74EAC217079B5B50893636DCA72E15FA63AC |
| 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 | 224834 |
| MD5 | E66738244F58976A07057B952B9420AE |
| 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 | BACD4E38E67A2FE5D8CBFAF2CE8CC981F45BB62B |
| SHA-256 | 4D006F6F38DE9BB816AD83D0BFD27F3EE09E06ACD4AAFC9F013C15CC0026C648 |
| Key | Value |
|---|---|
| FileSize | 216242 |
| MD5 | CD2C5C3B7A1B3FB96198555D261835A3 |
| 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 | 8DB6F3FCE98931F5650861B61AECC8C9B55E08DC |
| SHA-256 | B3F1CFCDCE9135D1274AC9182BB6F3C1331CAF37EE01F03D3CFEEEBF3A2C2373 |
| Key | Value |
|---|---|
| FileSize | 254736 |
| MD5 | 376FDDD1C07718EEDD76042E32CA3E62 |
| 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 | 8C3A6D2A0F81C3B7595A3065B017F2411E581433 |
| SHA-256 | 280B5BC67FAE73B95B6BDF939565511080BEC6DC7A08BF0998B066EDEDF50CFD |