Key | Value |
---|---|
FileSize | 246180 |
MD5 | 3F6BD5C6E9326CF863CB485F01A8B5BF |
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 | 29A10848933A5F39927B2E56048DC376A0DC6D76 |
SHA-256 | 5BEB24020285AA4E13AD9967701CC82D1B25F8AA739B5A0A16B2A42ED1D0E146 |
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/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.dyn_hi |
FileSize | 50375 |
MD5 | 20805D66AE017290E9D3FD8C10ACEA37 |
SHA-1 | 0C3C0CD5F8561385F48D396088172E66009E96CA |
SHA-256 | 830E6DCEA6F8C07AFCCCB6615D49787063675134A9AA1A0508A14F0CA12B6C39 |
SSDEEP | 768:TBQlwthcK/N7x9Qlsf+MKlhuNKW21Ewn8G2E6X8V7sGREJuw1a5/nGuOAa3Vlh+O:8mYsf+XlqUiN7D |
TLSH | T1FA33CB6BFF48D526CA3C0A74C97203197B20DDC29645EB536149227ADCB31E06FD9AEC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.hi |
FileSize | 50363 |
MD5 | 93B80C7604370391BC570BB7A63E5615 |
SHA-1 | 376BDE4C2DEB988FF79B991869194334ABC5E0E0 |
SHA-256 | EAC5CAC0F54D40CB25426AAE71DED96FFF1576833A828DB7162BEBD7DB40D4E9 |
SSDEEP | 768:1FgpcxdgCjlXNam8clqfE2sKx+1LIVEAn8S2EOX8pnsSREduw1a513yCKU7s7JRX:eirlqfE2xyIqF7D |
TLSH | T16333DB6BFF48D526C93C0A74C9B203197B20DDC29645EB532149227ADDB31D06FD9AEC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.dyn_hi |
FileSize | 32257 |
MD5 | DC27E5F8CE8684353DB7DD064FD7E8E8 |
SHA-1 | 431582E322F7D834CB400FAE3D35E802A37D7122 |
SHA-256 | FC8E19C8ED43CC4F73935BE709E4665869A93A788D096957F28CB4D67967EC3F |
SSDEEP | 768:hl3rn9rhlneibnCFq/kXCTIvGNTfUljQ1ZEm41uVjrlqiu6Sp93G+8ttCY9k9d2y:Snj2Z741uVjrjqd |
TLSH | T1EFE2F257FF09D127DA3D067588BA0301BF24DCC2920AEF47505A22799CB72D16F9A7AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.hi |
FileSize | 38024 |
MD5 | F129AABB54B903B28111241A3B255500 |
SHA-1 | 484F58BCE61BD149AC8B1EDE22CFF85C0C48D2DD |
SHA-256 | 3C30A4BEBBB1C26518D0345EC7481931F02BC537B34448230E80A53044A60484 |
SSDEEP | 768:og/gWgtg3ms8laCtgBLgwYAg6gkg6gngog6gDg6gFeYYdpxp63ce9YapP3meLEYy:me5xefcvS35U/FVmSQDq |
TLSH | T1F303B82BFF89D146DA350AB48A7613597B60D8C18595FF03304AA1BD9CF31E06FD1AE8 |
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 | ./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/mips-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.dyn_hi |
FileSize | 11230 |
MD5 | EC96E0D9A69A0B4FA4AB939B7E22BECE |
SHA-1 | 766612DF7A11DF04F12270A8CBF24C6BD29F952E |
SHA-256 | A9A82CBF932DFDD3560B1599A46333B4132B84C9A13D7175A3450D78E7CCBA08 |
SSDEEP | 192:C3KBbFoUootArxscoOeO0eOLbnLTC9+zOG9SSmGLhtnZTaS:C3ebFoUootA1sc6OnOLbnXC9+zOG9S3a |
TLSH | T198321D6FEF25E41AD9384974CD7143147B20DDD18AD2AB83438A603D8CA79E41FD2AE9 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.mipsel.gz |
FileSize | 298 |
MD5 | 120F8625D62EF7CA71BF4561582D4706 |
SHA-1 | 7CC47EBA244AFFF26D686F5A9723D11B9BCEEE09 |
SHA-256 | 1B8CDE368A8D0090D4E14EB3B74C4A03F015208648F8C6E775980D508503AF01 |
SSDEEP | 6:XtW045ANcKMnWUC9/YQGOjtFYY2k9j1YSHpFiA3zL9kEkyt3sv:XU000cnWx9/ubY2k9jmqpU0zu2I |
TLSH | T1B0E072A1208E3942AA3C0CB12460C5B8282BB9399A85FC80260E2BDA97262633D210C8 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
FileSize | 32245 |
MD5 | D8997FDFECBD2723DC55A9A5C85B3F0F |
SHA-1 | 93BB1A52DC86A3A8337BD6F298A018498C1C7901 |
SHA-256 | AF29C7F9FA2524D24FD0B3364C7A7ED81F7CEFE8798051C29996CD0B18243C9B |
SSDEEP | 768:3lXL/9TZtP+CLaFqvMniDIfGl7HEpSFRPc+INulrj56iu6Spv3G+8ttCY9k9d27G:ECRPjINulrjxqd |
TLSH | T162E2F117FF09D127DA3D067588BA13017F24DCC2920AEF47905A22799CB72D06F9A7AC |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.gz |
FileSize | 1160 |
MD5 | 7EE4F178727BC832BF667130A2BE352D |
SHA-1 | AD348A3399783B7A38236D0DD0D41389CA0B1136 |
SHA-256 | 7C3FC0F3EB91A046A26B650FA528E2B37A9DE17BE1E5B2E0D1EE11A9C267ED5D |
SSDEEP | 24:X6EQ3/cMR3W47vLFuN423luG0P9msSCMDIMUynbFJAuRY:XTQvcGxvEuYluJ+/73tRY |
TLSH | T142210ADD0E1C0B814108A43D08ADD5544067867DF60C9EE36232349B0464F8AF6BDD1D |