| Key | Value |
|---|---|
| FileSize | 255924 |
| MD5 | 7ABD0E95E121BB3CFBB8A33A89F1892A |
| 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 | FACF6C10C9DD62F0E3868ED2CD9F6FE0F392FBCC |
| SHA-256 | EEC343734250BC059B546596FAD7FBB87707C1DF734FB1474C110A6C65192E13 |
| 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/LJT.dyn_hi |
| FileSize | 38040 |
| MD5 | 46A6E0FED2271F360E818FC19A9AAA98 |
| SHA-1 | 025D8C9AA7122DD1E5B2F6933E6634B4430D6D9D |
| SHA-256 | A2645EC7FD8BA3BB2F12435BA3CCB58DFE6FD33F514E3173011E876809FCCEE5 |
| SSDEEP | 768:1sg/gWgtg/harVIytv6sxgwYAg6gkg6gngog6gDg6gmeIYKpepq3beNYaspf3Zec:3r1IkJpbCJwEQ3hFVNSQDq |
| TLSH | T16F03C92BFF49C146DA390A748A7613597B20D8C58695FF07704AA1BD9CF31E06FC1AE8 |
| 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 | 50379 |
| MD5 | 376021EC1E7BF8028CDF7B4090B200D5 |
| SHA-1 | 1135B29AFD1096029AA698AD29FC39D58E37FBEC |
| SHA-256 | 550DE416BF69554C37F293B5AAFDE22C056479727BE010A4662595A9A93104DF |
| SSDEEP | 768:HWJZs/nBLxhzOHGp51jz8NtpJ6I+rCEzn8CwEUX85GsCnEfLBxacUBxiL6Psr/2h:vtxjz+DAIuSxJ7D |
| TLSH | T1C633CB6BFF48E426DA3C0A75CA7303197B20D9C28249EB5351492179DDB32D06FD6AEC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.hi |
| FileSize | 11222 |
| MD5 | 57E5C50B2FB5AD2F643330DD8513D5DB |
| SHA-1 | 30E0BE3D441AB1A52AD5C38AADD703482C985055 |
| SHA-256 | C72818C054AE4F1B2A094E4951460FAA98075067CD2052067E837DF5D86F4027 |
| SSDEEP | 192:XqcxFTSTbtQDxsx220/ys7Sq9+zv9SSmGLhtnZTaS:XqcxFWTbtQtsx22qys7Sq9+zv9S3G1Pz |
| TLSH | T10932006FEF25D51AD9344A74CD7143147B20DDD18AD2EB83438A203C8DA79E41FD2AE9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
| FileSize | 981360 |
| MD5 | F32D86E452EF37F6CC78E1F2C5CD0E92 |
| SHA-1 | 4FE90D3C66AE05333893366ED4B904D38BF5C7E5 |
| SHA-256 | 81C49661E606AB763E9409808B94E81C423A661C4C49A213ED32C0E63A430E66 |
| SSDEEP | 6144:edPIhdkD3HLX230m66b8nXLwkP/uFdsOv0eZ6X2s28aUnVfYoAazLkwZc/169w23:y3LX5mMwkP/uFdezI0c/16vPH |
| TLSH | T150257058BB02F37DDDCF21B8D9B5C2DDE56548CC9109EB0BD124B8A91C2901BEA0AD7D |
| Key | Value |
|---|---|
| FileName | ./usr/share/lintian/overrides/libghc-ldap-dev |
| FileSize | 30 |
| MD5 | B120D03F70BA9EC34CE4F632B0CE0D7B |
| RDS:package_id | 222721 |
| SHA-1 | 53912138BCFE8A1BE136688646EEE0442706D9F0 |
| SHA-256 | 8D328410744938511857EB8786898538A5FE7794B25DC525C07462769FCC1F4C |
| SHA-512 | A5A0ECAB6CB0AED68B1A527005092393F27EDB31E4FDF4FDE7DCF80BE2AA2713585E7E7ED14BE1985DE29E32D9EFEA17E14E173D79127F93ADDD57BCEAE1F854 |
| SSDEEP | 3:/X5YbuDzVK:/pDzVK |
| TLSH | |
| insert-timestamp | 1763481567.4138522 |
| mimetype | text/plain |
| source | snap:bPqQ3XNspMLeZJjyB5BsdIoZGop9WIjb_62 |
| 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 | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
| FileSize | 1500 |
| MD5 | D8100E91A11AC9C475C30B2697ACDC3D |
| SHA-1 | 61C7D27B7FE31235E9530A3A94C28729C98C7A88 |
| SHA-256 | 30DBDDB8958A88B0982253B751BCECD880F9B601C20D46B5438376FA80683DB8 |
| SSDEEP | 24:TuGVaty6Vaty28stcLDIYxw0WlksrYaANGIetqp65Aq7l54dVatyapdVatymznq7:Txso8suAh0WlDr+JLA7YdCdknqliqyZc |
| TLSH | T1D6310EA4C74A91ADF49D6CC9B0D1FA70C3297F202200F970328C37A4537219DCC22DB9 |
| 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 | 38028 |
| MD5 | 9638A7A8655981F5F2395778AEDF3DC9 |
| SHA-1 | 6A2CE43D9C6B9E01DE6F5EE1DAC8C1E703DB89C8 |
| SHA-256 | 0A76B719D625E7CCDE9407E17C5CC843675B63774550F23E2C2F9F140372E0C3 |
| SSDEEP | 768:Hng/gWgtgw6iTplGtDushgwYAg6gkg6gngog6gDg6gaesY+pGp23/eRYaYpL3pe8:33tdocRdDyeUM/xtd/SQDq |
| TLSH | T16B03C82BFF49C146DA390A748A7613597B20D8C18695FF07714AA1BDACF31D06FC1AE8 |
| 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 |