Key | Value |
---|---|
FileSize | 184500 |
MD5 | 979D19357C976A372D352C085CBBD445 |
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 | C1AB5B8B3A628285B6E4FD525EAFEB8179C9A3CC |
SHA-256 | 9A29CCE4547E94C43AEADDCBD439C7F1BE0576819D0B2FF154309E780A1CD087 |
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/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.dyn_hi |
FileSize | 11230 |
MD5 | 6390E36F6899E213C1B695ED8DD02285 |
SHA-1 | 058C7EA69174B9A35D621DFAFD09053FD646520C |
SHA-256 | 4B2D8C9E14D10CE47C5FB5FB3A874BC9357857CCE255A9B299A75C316FBD0DC1 |
SSDEEP | 192:OnHgcUmBFtPrxsxyNO0iwd6qoDTC9+ziG9SSmGLhtnZTaS:OnAXmBFtP1sx4Okd6qUC9+ziG9S3G1Pz |
TLSH | T161321F6FEF25D41AE9384974CDB147143B20DDD186D2AB83438A603D8CE79E41FD2AE9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.dyn_hi |
FileSize | 37958 |
MD5 | 028FFD2D75CB7A48E1212809F3512FCB |
SHA-1 | 1039ABBE7840D4FBB21F53A9CCB2C2C276C441A0 |
SHA-256 | 804CD1767ADC9CA6881A202E5640B00394F33AA3558A18D5AB8258AE82E9D98B |
SSDEEP | 768:9g/gWgtg4J75P67tKTpgwY3g6glg6gngDg6gSg6gqe2Y8pdpM3HeEYCp03geLhYD:eN2SGfAQDq |
TLSH | T13503C92BFF4DD156D93A06B4CAB603597B60D8C58195FF07600AA1BD9CB31E02FD1AE8 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.dyn_hi |
FileSize | 50408 |
MD5 | BC02FBA16F3089F3FA862A645DE096F0 |
SHA-1 | 163BF47689D41BFC11B049BDAF8EE7C64A85E48E |
SHA-256 | 095ABB8D441C771D0C534970294A3760A4ED0F1F20000261AF88D14386A217A7 |
SSDEEP | 768:VtwfcjbtDtJ/97qKQ0+wk0ORpKXGodREEn8GBE2X8VRsGKEELJRaMoK/GIO/h3X7:VR1j+wN8I9PtdR7Y |
TLSH | T13B33CC6BFF09E426CA3C0A75CAB603197B20DDC29245EB5350492279DCB31D06FD9AEC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.hi |
FileSize | 37946 |
MD5 | EE26C8878FA27F156CD63A33F1BDF068 |
SHA-1 | 166BF824E4BD08C739B7E80799AB6CA6685C07C7 |
SHA-256 | 1480AC2499D2B8ABA4901437C851EEF08AE0300070442EDD4591ED08D1EA99F2 |
SSDEEP | 768:/g/gWgtgc9LZTOft+35gwY3g6glg6gngDg6gSg6g2eqYQp9po3jeIYOpA3QeLlYW:0ob8AQDq |
TLSH | T19203B92BFF4DD156D93A06B4CAB603597B60D8C58195FF07600AA1BD9CB31E02FD1AE8 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc.a |
FileSize | 712182 |
MD5 | E221B86F355C1FD6B2A99E7B65577738 |
SHA-1 | 3C34806880037937735BA0237DD275DAAC1F4360 |
SHA-256 | 86E66DA334309A64BFFF2689954B9433448C6C2C27823D8EA177A826A40BF7EB |
SSDEEP | 3072:ZztrHumr+3DE9diOGbZfbZ1ZyhPukiyMlz7vQmYeMts8ct7bO2JZL1gZaiBv6Jh1:ZztoMWtt7Jn1gZodBfDJpwhAS2Pg5ZA |
TLSH | T1A1E45314BF4BA0BFE9BC4235B7EA17789321DC80474EBB131960B3AA1E776051DB7A11 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.hi |
FileSize | 50396 |
MD5 | CC3C61142B24BC376126A6BEB5B4AE6E |
SHA-1 | 48238B9A391D98E82E473746756197779736218C |
SHA-256 | 225BDB4609B901CAE38DE0192FD436F9C8C6CDA44E68C0E5F24619F4A25F7C79 |
SSDEEP | 768:/wzEvPx/B5j9Xemh8BsRYC8jJJ6/R/5EUn8SREyX8p1sSKEgLJRaM++ryUKTIs7X:PZcsRYCuARvrV7Y |
TLSH | T13333CC6BFF09E426C93C0A75CAB603197B20DDC29245EB535149227ADCB31D06FD9AEC |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xml-prof/buildinfo_amd64.gz |
FileSize | 2786 |
MD5 | 6D0A05C84FE954445119D319CFB21AA6 |
SHA-1 | 4C2AC102EE2FCA898B61C0812838A5A06ECA122B |
SHA-256 | B0F851DE5F07D5FEAE0EEBD1985DACB22298209F52DE47474FD4470B7225AEC6 |
SSDEEP | 48:XPDODCAEW+MZpkurXdMP6Raejd4OzgEVVsU2JJdZnaVDM6GBaZ3NxwSDSEYkz1:eTEW+WNXdMSRaQ4WvzVYsZ3Nxn3 |
TLSH | T1F1517EF8747C153BFCB0684E112A9E20AA76FB5A60E02A08E6830D4585BD9D045B725F |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.hi |
FileSize | 11218 |
MD5 | 14932087FC0DC005B025CAD50D6A5E8A |
SHA-1 | 4FF1D9E137BC2919BEE61950C6BFE4686BA4003F |
SHA-256 | C9C4D2F3C837E0026DDD702FA267F3FF14C6B7C441501D19821CE40A70A7403C |
SSDEEP | 192:aEgcUmBFt7HxsBwi0ik16Ccnm9+z59SSmGLhtnZTaS:afXmBFt7RsBwiw16CAm9+z59S3G1POS |
TLSH | T15B321F6FEF25D41AE9344974CDB147143B20DDD186D2AB87438A603C8CA79E42FD2AE9 |
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 |