| Key | Value |
|---|---|
| FileSize | 186724 |
| MD5 | F426A17566EFA914678365B8FAD3F472 |
| 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 | C03685641DFFD2A5218F1F2578FCB1C35E81350D |
| SHA-256 | 70421FABAD68233E646C5C5FC692EEE5F1A87536EDB53731FF53ED06D201C645 |
| 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/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc.a |
| FileSize | 478378 |
| MD5 | E38095269813699E849FD5809CFC00D6 |
| SHA-1 | 02CE73E344CD4E10EFDAA101F02EA81EA074F24C |
| SHA-256 | F13FEE3D721FEDCA3FA08282AE26F402605545327933F49E60648FAD31E826AE |
| SSDEEP | 6144:nTtoFq28U7rclztFwnORCerNpF++bsJL:328UeCSZ8 |
| TLSH | T10CA46408BF04C15EFEEF0B38A2ED877491054E86078EFB0F2A45BBC555096D99E63B46 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
| FileSize | 32241 |
| MD5 | 8704AB8FC97C2EFBCDBC2E3D41A70F3D |
| SHA-1 | 14E90101BB6CE9D3371A311DA3FB3FBA7ADE4CA5 |
| SHA-256 | 4D8345A2DCD022873B993764B2C7E9A4CE5B73B17D90EB23A63B02D55D9CFC14 |
| SSDEEP | 768:0lkbcNoi2Aq89PwHYr+yirAjeloGcoFcx1k+4VY51Drq5ninNSVC2G+8ttCY9k9t:VIOe1b4VO1DrDvqd |
| TLSH | T193E2C017FF09E116D93C0539C9BE53017B24DCC2921AEF47604A227A9CB72D16F9A7AC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.hi |
| FileSize | 50392 |
| MD5 | 4BD148D2254BCE2FEA4B224AF76D512C |
| SHA-1 | 22EFF064453A214F2D2A2A659767C055A0B39A6D |
| SHA-256 | 5BE4B8FBF4EB5E239020AE261CCAE2AD2B5D309FB5D318D5346A65580347CB2A |
| SSDEEP | 768:GswbJdvrPviL4sg0+Q+sqhutltESn8WlENX8FfsW/EM9K1aC4eYW9eGIH5HbOoQc:IX3Q+JqPKV7Y |
| TLSH | T18033DB6BFF48D426CA3C0A74C97303197B20DDC19649EB93604926B9DCA31D06FD9AEC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
| FileSize | 394516 |
| MD5 | F8276B67B173FA9C3CA5E7AAB8E390F0 |
| SHA-1 | 289EBC51EC2866C76F0890CCDE8BFCA6BA656B43 |
| SHA-256 | 660077F4E7A754D607E3C77F458687BC8C3ED39E7D5AAD1F71C7E86FC7E51CC6 |
| SSDEEP | 6144:ElDVn+E13yZam11HjYSSnGaePnbMrYucj9eMc6Zv:y13yZam11HjYRnGaunbMrYvjYMc6h |
| TLSH | T1FF847711FD45C358DDEE063812FA4324D22B0ACF092EA70F5F17A9D68D962CCED52AD6 |
| Key | Value |
|---|---|
| FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
| FileSize | 1500 |
| MD5 | 0D77009BE6A5C6DB3CF22FF801A387CC |
| SHA-1 | 4A950129E3D4A7B12F83B6483DE582B540C3247B |
| SHA-256 | E0BADB87C246C3D422B88DE673E718DB5878E2CBFD50285F5806B488C5187FE8 |
| SSDEEP | 24:TuGVaty6Vaty28stcLDIYxw0WlksrYaANGIetq3qAq7l54YVatyapYVatymzoql9:Txso8suAh0WlDr+JFq7YYCYkoqliqyZc |
| TLSH | T14331AAA8C74AA1EDF49D68CCB091F570C3697F212201F970324D27A9537219DCC22DB9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.hi |
| FileSize | 11214 |
| MD5 | 4DCBD00433ABA0BACA84BD49F4A39A94 |
| SHA-1 | 4D36572B2CD109E68978531091BD973C8E4722A6 |
| SHA-256 | 321BD26BB013665BAF3439C7ED8218E76BBDA8F2668FD79250F973A3D6761698 |
| SSDEEP | 192:v0Vnkjwd1E+tg7xsHL+0rRr0JS9+zbbo29SSmGLhtnZTaS:vgnkjwd1E+tglsHL+mRr0JS9+zbP9S3a |
| TLSH | T1C1321E6FEF25D51AD9344974CD7143243B20DDD18AD2EB83538A603C8CA79E42FD2AE9 |
| 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/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.dyn_hi |
| FileSize | 50404 |
| MD5 | C758F7215F1E608FE6E2AD2451517B20 |
| SHA-1 | 6F41DF13850725D88E212281EBEAED3F5F3A4FE4 |
| SHA-256 | 2697CE9576B2185138B050A54F3374DA7B7452468074125D958EA57249FA3E0B |
| SSDEEP | 768:2g4/VZD3Hbtcvkk05Nm2c3yZXB+F0kdEan8q9EBX8hLsKHEI9K1aCmSkaZ+dayTB:g7Tw2VXCPagk7Y |
| TLSH | T18533DB6BFF48D526CA3C0A74C97303197B20D9C19649EB93604926B9DCB31D06FD9AEC |
| 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/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.hi |
| FileSize | 37942 |
| MD5 | AA203E8ED550D89394D58A7A2B100B1C |
| SHA-1 | 772FF66D87C5C852E5C8AFF2EC6B1CE70E1A8FA5 |
| SHA-256 | 281848244E49A725156A097987CA6B19D83A828665EFF1776582761BD3B28437 |
| SSDEEP | 768:r2g/gWgtguZh3foLtqDRZgwY3g6glg6gngDg6gSg6gseGYTpbp83Ze0Ykpk3ueLE:UlWidq2iAQDq |
| TLSH | T1C103B92BFF48D146D93A06B48A7703596B60D8C18695FF47710AA1BD9CF31E06FC1AE8 |