Key | Value |
---|---|
FileSize | 286724 |
MD5 | C376FE7BE650539A15CA87A218702BD2 |
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+b2 |
SHA-1 | 139D259BBE37E4B9007A2C7E002EE1C7D83C287C |
SHA-256 | B53EBA8764C401F0AA024C19C028DE11A259F2AB99931F3C8A7271F40AB85B1D |
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/s390x-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.dyn_hi |
FileSize | 38040 |
MD5 | 2D1AD37F0AAF5A300ECEEFDE4EE63169 |
SHA-1 | 0FB138B6FEF82F67278EA9687E0B2491045CD7F7 |
SHA-256 | D1B03CD3A7F1F851F7CDAC3A20FB8ADF8A639EDB24CBE411639C2338E424DFAC |
SSDEEP | 768:Jsg/gWgtg/harVIytv6sxgwYAg6gkg6gngog6gDg6gmeIYKpepq3beNYaspf3Zec:jr1IkJpbCJwEQ3hFVNSQDq |
TLSH | T1B703CA2BFF49C146DA390A748A7613597B20D8C58695FF07704AA1BD9CF31E06FC1AE8 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc.a |
FileSize | 1509994 |
MD5 | 58A7B34DD11EF16FCD4537D954846CAA |
SHA-1 | 1954183DFD331EAF0073CE7B4A01D65B8A1AA258 |
SHA-256 | ACD9441B1B37694DB0911FA02813D9FC69E9CE20B7C748BD59D9640CE7A02C11 |
SSDEEP | 6144:6ulcxp8ovDG4f0YDb6G3T13131RAgYguBV/zAr276A3bk33a1LxR+pATCt+pATCe:ipdvYUBK |
TLSH | T19465CFDED780510AEBBD5B3374CE4F24F33B46862BDFBB0A8A75A5760852340CB61592 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
FileSize | 1503 |
MD5 | EB248116885B907ADCED604682DF214D |
SHA-1 | 1C05DFDF4795B78ADC19BDC46330CBF005D529F5 |
SHA-256 | C3B095C7264D4A18E2DCF0D5E9DFA141F9F64ABAEA8D14B0E0C1C745C5BEB1F9 |
SSDEEP | 24:TuGVaty6Vaty28stcLDIYxw0WlksrYaANGIetqkAfAq7l54DVatyapDVatymzBq7:Txso8suAh0WlDr+Jau7YDCDkBqliqyZc |
TLSH | T10231CCA8C75AA1ADF89D6888B0D5F570C3296F212105F9B0329D379553B21DDCC22DB9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.dyn_hi |
FileSize | 50379 |
MD5 | 661A91CB25786867ED7A02AA1FB3D893 |
SHA-1 | 2D42CCA0838CF888E19E2684AFAB7D77F8A9D6D3 |
SHA-256 | F20AD8E98AF4F872C43BF9D62A864E2285BB5E71B69744B9725D93F8EA6A114F |
SSDEEP | 768:9WVZs/nBLxhzOHGp51jz8NtpJ6I+rCEzn8CwEUX85GsCnEfLBxacUmxiL6Psr/2U:Rtxjz+DAIuSxz7D |
TLSH | T16233CB6BFF48E426DA3C0A75CA7303197B20DDC28249EB5351492179DDA32D06FD6AEC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.dyn_hi |
FileSize | 11234 |
MD5 | 1CBE8F60A3AFC4974D872608EB381EB0 |
SHA-1 | 2F24185E92E0E247D4294C74F8D9B5635D8AA399 |
SHA-256 | 11E49FB84EAB63690C6F8F4FEB54DB4E7021D3430E112870A6853EFE96F037DD |
SSDEEP | 192:9BfFTQnPUtF3xsJHy0LjMr8W9+zpe9SSmGLhtnZTaS:9BfFGPUtFhsJHy2jMr8W9+zpe9S3G1Pz |
TLSH | T1BD32206FFF25E41AD9344A75CD7143143B20DDD18AD2AB83438A203C8CA79E41FD2AE9 |
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/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
FileSize | 32249 |
MD5 | E88204A33AD710522C671295BD4D5A4E |
SHA-1 | 5AC2711B12AD3F0CD9887305CBC8252911F2C1D6 |
SHA-256 | E3557DBA157DF8338EC2D781BA9C2CA69C9B2A53618FB63A4AED797E31C48514 |
SSDEEP | 768:elU94n4GmMdF9b3cPxRLGxmxiTsSPcz6pG4VuF1AicTpGSH4GwG+8ttCY9k9d27G:5Tz54VuF1ALqd |
TLSH | T18DE20F57FF09D122D93C463989BA03057B24DCC2521AEF47604A327A9CF76C16F9A7AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.dyn_hi |
FileSize | 32261 |
MD5 | 7B7D94F059F06725D765FA158676F1B9 |
SHA-1 | 7135C6AD13C43B715391EF431FAC0A068072BED8 |
SHA-256 | D9BF844D6CCD5329E25C0BF5C3B1035CCDC1C475A23ADCD00FB8128E47646504 |
SSDEEP | 768:Hl8dY34mecVFV703JxLupOh5szECbm6B4toZOlVomETpGSHEG4G+8ttCY9k9d27G:ojjtoZOlVorqd |
TLSH | T187E20157FF49D122D93C063989BA03057B24DCC2421AEF47615A327A9CF76C16F8A7AC |
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/s390x-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
FileSize | 1027288 |
MD5 | 6D3A3F6CB17833D678F2D29ADB22BC4F |
SHA-1 | 7AA670A8BD1A6B85D9E809E9A1D53D6CF06F7B82 |
SHA-256 | 6593DA1E3446A2A926724F8189DBDB70D8B8669657C389A134C8A6D2152B82F9 |
SSDEEP | 6144:d/iGQ2NO6L9xihqRYHAkD0SOH8C0dB+blXVdaXhm/ky+1/avtF90nR4mEm3A3ZpI:zd9IUvXSpnicvr0/2 |
TLSH | T12625F1E5E511A208E8F5BB3075CE8B14E2374B8376ED730EDF9AF6732C1032456569A2 |