Key | Value |
---|---|
FileSize | 181140 |
MD5 | A1EA84E1015FE7874204DB6A6F9751C4 |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libghc-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.3-4build2 |
SHA-1 | 5E18B4CD613C9B03A6A1339F8DE0CE890908F32B |
SHA-256 | 82C5E9B6966C1218FE145BF3ED6F4BB49780A9377872D3CD3121F3240612DC26 |
hashlookup:children-total | 14 |
hashlookup:trust | 50 |
The searched file hash includes 14 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/LJT.hi |
FileSize | 37946 |
MD5 | EE26C8878FA27F156CD63A33F1BDF068 |
SHA-1 | 166BF824E4BD08C739B7E80799AB6CA6685C07C7 |
SHA-256 | 1480AC2499D2B8ABA4901437C851EEF08AE0300070442EDD4591ED08D1EA99F2 |
SSDEEP | 768:/g/gWgtgc9LZTOft+35gwY3g6glg6gngDg6gSg6g2eqYQp9po3jeIYOpA3QeLlYW:0ob8AQDq |
TLSH | T19203B92BFF4DD156D93A06B4CAB603597B60D8C58195FF07600AA1BD9CB31E02FD1AE8 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
FileSize | 1506 |
MD5 | 2B63EDEA59E95475985EE387853CF765 |
SHA-1 | 9BDF1E32C67B4B0F24B77509417362288EAFE357 |
SHA-256 | 02B1F566BFFC7544AD219BCA7A8F627DFEC14AEA421CC182D9E7EFEB168A352B |
SSDEEP | 24:TuGVaty6Vaty28stcLDIYxw0WlksrYaANGIetqP1Aq7l54DVatyapDVatymzBql9:Txso8suAh0WlDr+Jh17YDCDkBqliqyZc |
TLSH | T11831ACA4C789A2ADF5DD6888B0D5F5B4C3696F302201FD70324D37A5537269DCC22DB9 |
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/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/share/lintian/overrides/yi |
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/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/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
FileSize | 459752 |
MD5 | F5263743BB4F52A8B05464E65670AE4E |
SHA-1 | DAA320541AE71FF03708D67BEFE0E4F9CA656913 |
SHA-256 | 497B91681E9D48D9B40BFDAB8888355EFD8D0538F53A7F1C1F77EFF8979628C6 |
SSDEEP | 3072:DKxVITdl5oNWujpmQvMMyw9r+LnEnk1SJS74MlN8T6VZftV0I7fQ6XxByPeFUG5n:2xVQlW1nkIJ3eBQVN7MT |
TLSH | T1A2A47235AE0040DDEDBC41346BEF1ABA16516891438DBA230B74F1B51FA36491EBFAF1 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
FileSize | 32245 |
MD5 | 66C79C6DCF9F186A421AE6630EFAF76A |
SHA-1 | 9511667994A53D35E5238CCAC1487E276F3B7D65 |
SHA-256 | CCE0EFC67632FAECCDF7ABA8FB19FB79DCD115A43B63FD44CE9B0C0A0C3D487A |
SSDEEP | 768:Wlzn0bvFRnuezGhSfokypWVOTbf2Gu6y0mINul1IKVqmfSLVyG+8ttCY9k9d27od:thtXINul1Ijqd |
TLSH | T150E2F057FF09D126D97C0639C8BB13017B24DCC2920AEF47605A217A9DB72C16F9A7AC |
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/share/doc/libghc-djinn-lib-dev/changelog.Debian.gz |
FileSize | 1033 |
MD5 | 5DC0319B81C126C1CAF85AE7F5CC5693 |
SHA-1 | B884D091ADE0359E1CB1283BAF718FAE273C830B |
SHA-256 | CDB5FE2C60E2097A1EADAD25374C885EBC5D889CB4FD3437A4CBD21A613FF86E |
SSDEEP | 24:XEpp9AbuYFrrVoDz3kjEZxL2IAbiW4m6CFQyGagcrZnXgOfJ7kqvZj:XEpcbusPVoD4IZxL2hWdK4XmqOR7kOj |
TLSH | T10411D8C3CCE7A0F9F390831C60433F3C44E6C745B07396929243858454AC8A985DA227 |
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/HCheck.hi |
FileSize | 11218 |
MD5 | 14932087FC0DC005B025CAD50D6A5E8A |
SHA-1 | 4FF1D9E137BC2919BEE61950C6BFE4686BA4003F |
SHA-256 | C9C4D2F3C837E0026DDD702FA267F3FF14C6B7C441501D19821CE40A70A7403C |
SSDEEP | 192:aEgcUmBFt7HxsBwi0ik16Ccnm9+z59SSmGLhtnZTaS:afXmBFt7RsBwiw16CAm9+z59S3G1POS |
TLSH | T15B321F6FEF25D41AE9344974CDB147143B20DDD186D2AB87438A603C8CA79E42FD2AE9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.dyn_hi |
FileSize | 32257 |
MD5 | EA73B8DC8BB196D0FB9B043DF5F21C74 |
SHA-1 | D9DAC0D8CC1BF679BBE499FBF46268F2811C324C |
SHA-256 | 7B33DC3CA6DF9BFCE59CF8414469155EDCF79D306EEAEC247CD8AA53AB6A76EA |
SSDEEP | 768:ClTncbntZfO+PjuhSvA8KRu1uzTvDw4+qZW41uV1AedqmfSLTCG+8ttCY9k9d27G:powtJ41uV1ARqd |
TLSH | T1ACE2F057FF09E026D97C063999BB03017B34DCC2520AEF47605A217A9DB72C16F967AC |
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 |