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/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/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 |