Key | Value |
---|---|
FileSize | 253772 |
MD5 | 40D4E1F315EDDE0212264D45D6A07551 |
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 | 073B089A8B2CA2E2A3EA2CDE8AC74562F6F654CE |
SHA-256 | 811258AF786B0BC2B88DCC3C543029AAA39AF76F95F74C809028BAD2D530268F |
hashlookup:children-total | 16 |
hashlookup:trust | 50 |
The searched file hash includes 16 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xml-prof/buildinfo_ppc64el.gz |
FileSize | 2789 |
MD5 | EE9AABC1AFC3A995C2BBA3803A74B604 |
SHA-1 | 004632569A2659830D5A2D42A4F65D06240EBF65 |
SHA-256 | 4047BF7ADFB5F84C0A07B4FB6285FE90AC8B19C1258D301D3545EF9D7F0584F2 |
SSDEEP | 48:XG6fU/CMVYQOs/vrBI69iGbPYSm/S+yz8Ruz13hFJEiu0q3SJy6U2TB5H+/iyTAI:W6tMVYQOmSmyDauSm0q3SvbTB5H+//Tn |
TLSH | T16F515E6B30AB68EB137BCCD567781802B15095DCF7032D4AE305173B194E08B68F8152 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.hi |
FileSize | 11218 |
MD5 | 7845E591535E6D31C3DE5144E0E8B41E |
SHA-1 | 074F6D3F3DD6E15BD18679B89D0F399B991AAA6B |
SHA-256 | E666E93703FFDA9C3A635B0AFB4476C45713F942DFE41BCD53A0DECAAD0E87A1 |
SSDEEP | 192:ZMHgcUmN1tFHxsBXi0ik1cCbm9+zg9SSmGLhtnZTaS:ZDXmN1tFRsBXiw1cCbm9+zg9S3G1POS |
TLSH | T14832206FEF25D41AE9344974CE7143143B20DDD186D2EB87438A607C8CA79E42FD2AE9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.dyn_hi |
FileSize | 50408 |
MD5 | 8EA6F9722B994D4332476405033A281C |
SHA-1 | 0DDC8741CE914B71550B327A31E4417EF64E52AE |
SHA-256 | 016D29820E15D8A8DAB3975E3510D95C05C826AD70CED4A848649B8F6F8E7F54 |
SSDEEP | 768:VBFfcjbtDtJ/97qKQ0+wk0ORpKXGodREEn8GBE2X8VRsGKEELJRaMQK/GIO/h3Xt:VY1j+wN8I9PlHR7Y |
TLSH | T13833CC6BFF09D426CA3C0A75CAB603197B20DDC29245EB5351492279DCB31D06FD9AEC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.dyn_hi |
FileSize | 37958 |
MD5 | 06C42D6E4723EC4D5BA88D46B3433484 |
SHA-1 | 1B492C82506ED128276498C0FAF432778F78BBC6 |
SHA-256 | 55C74A73BB5AACDB4BF652CA653DBEB842C4FF83D7C1D0270C5433235167661E |
SSDEEP | 768:Ig/gWgtg4J75P67tKTpgwY3g6glg6gngDg6gSg6gqe2Y8pdpM3HeEYCp03geLhYD:9N2SGfAQDq |
TLSH | T18E03B92BFF4DD156D93A06B4CAB603597B60D8C58195FF07600AA1BD9CB31E02FD1AE8 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.ppc64el.gz |
FileSize | 300 |
MD5 | B139D9946BF1E1D66BC6B90D1E149503 |
SHA-1 | 44A67AFBBC09A2CD985194E7F86834AC4F5F3DBD |
SHA-256 | 13B8806D746C83C7DE92E1A894BEEB91C3820EF3644F7063F60D47854289BACD |
SSDEEP | 6:XtZ3EmyYg2nfxjf8C1JqzLFsejyrvOX/1oNR/bPzrY6/n:Xn0myYgkZLjJAPqOX/1oRPrRn |
TLSH | T159E0E70D61F97B39C801F0B7534B8917A14FB04E3C3439631AF1370919E81ECCA55D95 |
Key | Value |
---|---|
FileName | snap-hashlookup-import/usr/share/lintian/overrides/pandoc |
FileSize | 30 |
MD5 | B120D03F70BA9EC34CE4F632B0CE0D7B |
RDS:package_id | 222721 |
SHA-1 | 53912138BCFE8A1BE136688646EEE0442706D9F0 |
SHA-256 | 8D328410744938511857EB8786898538A5FE7794B25DC525C07462769FCC1F4C |
SHA-512 | A5A0ECAB6CB0AED68B1A527005092393F27EDB31E4FDF4FDE7DCF80BE2AA2713585E7E7ED14BE1985DE29E32D9EFEA17E14E173D79127F93ADDD57BCEAE1F854 |
SSDEEP | 3:/X5YbuDzVK:/pDzVK |
TLSH | |
insert-timestamp | 1728989228.6300478 |
mimetype | text/plain |
source | snap:LYIQDe7StzfergzK3xBwUwSHdV9VZejB_90 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
FileSize | 1503 |
MD5 | 24C13810031C68265716CD898137D4BA |
SHA-1 | 56BDC26AFBBDA208F8FFE6CD698230CC1BDB3189 |
SHA-256 | CF72D721FF805A8AF275CFFF74BF823A7F26C78A4716CF73E535CB65B94D183D |
SSDEEP | 24:TuGVaty6Vaty28stcLDIYxw0WlksrYaANGIetq4Aq7l54vRVatyapvRVatymzvz+:Txso8suAh0WlDr+JO7YvRCvRkvzqliqt |
TLSH | T12331FCA8C78A91AEF4DD6C88B0D0F630C3696F312101F970324C3BA553B219DDC22DB9 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/copyright |
FileSize | 2028 |
MD5 | 74D7215AC517774F541B7D6EF9E519BE |
SHA-1 | 75366411EC4904166D4192DE49F300BCCCF7FC7C |
SHA-256 | 332FA440E1F8BAA3E80817E8795B089928C4032B33F5CFD242454596B7B16680 |
SSDEEP | 48:dcdtqV9SrLOYrYJ0rYJDPLH7432sI32siqEto1ftqFH0V:qdYVHYrYJ0rYJ3s3c3Vl4Fe |
TLSH | T12441A7875A8407A22AE113C5B656ABC5B15E703D7B335E083CBEE2446B2752CA4B6055 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc.a |
FileSize | 1559090 |
MD5 | 28A6E7BF8C3B24585255C41A6277BB89 |
SHA-1 | 79A593499AB228F28F121F931E6646C6F3E52B63 |
SHA-256 | 2219BD66EF9CE231B219063EFB1141BC452F1C2A98324FE16A05445C602E6899 |
SSDEEP | 6144:+Pec/YTajDKadFIwGFcwxf4dB9B2K1RujeVuPEcNF79uvGx4QtVKldSljM0cEss:+YoQNh9JD |
TLSH | T10775D96D9B3031CCC28CDA3C90E34F65677354A95287BF12DFA8F86119A9324BD27693 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/ppc64-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
FileSize | 913136 |
MD5 | 607CECFC5E85D9991B2B938BB8F07972 |
SHA-1 | 84CD0A31A1F3DD6AEEC4A079A604E53180B46F61 |
SHA-256 | C395A26381A1566A06048512619A87C35001886A360FA60847631AFE5DFF3B4A |
SSDEEP | 6144:fnrOWEpXhQD49Rp2TKa8OPm4VI7tts9YpxIGhp7+h10kcwJHI9WSnDfGX8mO7tQj:mI44OaTyWU7+QkZJi7Aiu |
TLSH | T12A1542E67F60224BDA84AEF8E8B37570323D25ED998FB9216C31F423055C404F55B6AB |