| Key | Value |
|---|---|
| FileSize | 245392 |
| MD5 | 9AB79802D8D061735893E7954F2795F7 |
| 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.2-8+b1 |
| SHA-1 | 58AF89D6EAE463062DDCDBC2437B5167D34764D4 |
| SHA-256 | 917C9D531EEBD6B0F03570ACF319CC165EF8CE7101EEE5F7FE83FF758F11954B |
| 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 | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.2.conf |
| FileSize | 1221 |
| MD5 | 404111D0D24EE95B6004CFEE0ED270B8 |
| SHA-1 | 196329C5863C37D0D7EC2480FE438E1E725947D0 |
| SHA-256 | 01B842023B5DB7BA2F2876D474097747ED7D2CF19311F0AE2426252227CF3100 |
| SSDEEP | 24:TPV3oV3ktbSLDIY20WlksrYaANGIr4bA67wf++5aPaV3AzPaV3LUV3E1StVOcGD:TPS2ZSA30WlDr+Jr4blm+vyCyFU/tPe |
| TLSH | T1D6213260E787A3ACB888AC8864903630C3382FE82522B9207688175483217EDDD25E51 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj.a |
| FileSize | 1778084 |
| MD5 | 5F1F8C583C31222274D9951CFDB7A4A4 |
| SHA-1 | 1CBFA120A48B71F1EEC2799A6C05F7506C8F2F32 |
| SHA-256 | 0353D81B2B476BC3FA9F27C7398FD2163E3DB231C7E759C8F339C65A30A1C714 |
| SSDEEP | 6144:3oa4U/SV3UTvt0WRcNP1wORu4cRZefd/gUfTFpszIlMPeWKDieW/RIoWGSTmTv4z:h4vwwkXhzorJ/ |
| TLSH | T19285312C6702A36DDFCD423584A64BE1E36388CE73852B3F927067B93E2627E8F15515 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.dyn_hi |
| FileSize | 29635 |
| MD5 | 8997BB55BAD2130F3CA048AFCEC9C739 |
| SHA-1 | 346A332474527A27964651AB44FF5EA2C1BE231E |
| SHA-256 | A952C6EFDD99604E40FCAD5149AEBB5833CD5EB5F5E6D61266FB28151D415B37 |
| SSDEEP | 768:NshdkGqUVObY6EmAwW8+yt+nZtP1BUrWdI63I+TDOQ:GBqUAU6KPUrWy64+TDOQ |
| TLSH | T16DD2B717EF44F222D9390B7588BB43417F74EAC217079B9B50893235DCA72E15EA63AC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.hi |
| FileSize | 29623 |
| MD5 | ACB287F1C4C45B19E661F7A791DA220D |
| SHA-1 | 462BE3A478095898164B7FEF0307661D931CE90F |
| SHA-256 | 3932521304A398509DFC59AE7116F61F08CC59F606985CFD82A9EB5E3C8186AC |
| SSDEEP | 768:9fx/KmAc63gMEScwW8+yt+nZtP1BUrWdI63I+TDOQ:h0mA/QMSPUrWy64+TDOQ |
| TLSH | T1BFD2C817EF44F222D9390BB588BB43417F74EAC217079B5B50893235DCA72E15EA63AC |
| 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/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HCheck.hi |
| FileSize | 9990 |
| MD5 | CDE66A0860D1653727BFA5B8848EEE93 |
| SHA-1 | 6AA793AEF94D155C4513FA27B8EF27588189754B |
| SHA-256 | 9E31DAD4577F7C7E201ABBE5B79389095392FDF58BBB65C7A3FC9419551FF719 |
| SSDEEP | 96:pXYwa3LyBkDMa8CU9Ks9PPoxefgNaJCZzB6xEB6nj5QnZ+XSzA7eMeWB5:pXYIIMwDe86xmUnSlMHP |
| TLSH | T1D8229755DD19D31AD029CBB8CDB54300BA3CAED62B52A7630398B8318CB56E03FB14F6 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.mips64el.gz |
| FileSize | 240 |
| MD5 | 429D1544ADDF3B4530021DF496F784FC |
| SHA-1 | 6DBDC3550B2817325DEF592F1AED5AEF77EC05B2 |
| SHA-256 | E7D5EA78F2768A37243F596B2A0087B5CFCF45E380220E2547EB0E0AA238AA39 |
| SSDEEP | 6:XtKEe2A9+ClFEqiInoh6h6EZoVT7lJxDED5ad3LCHRk30O:Xjt7YFE4nohKy7ZED4d3mHRk30O |
| TLSH | T199D09704BA8F7690ED4CA2B370E026E7FB0D1A858806D42A0F2CB009A109C5CDA49C2B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-prof/copyright |
| FileSize | 2026 |
| MD5 | 74855E5A7D77508F7E2533112D2F2204 |
| SHA-1 | 78958F631C58C73E73E85344E2EA9C7E079EFE04 |
| SHA-256 | 07B11060A9460A2647A28EEB614EC592A17C884F03549E0015E326A2FF452C71 |
| SSDEEP | 48:e5dtqV9SrLOYrYJ0rYJDPLH7432sI32siqEto1ftqFH0V:qdYVHYrYJ0rYJ3s3c3Vl4Fe |
| TLSH | T1B841A7875A8407A22AE117C5B696ABC1B15D703D7B335E083CBEE2446B2752CA4B6055 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj-ghc8.0.1.so |
| FileSize | 916744 |
| MD5 | A660B9573524D878E7FBCAFE26622C79 |
| SHA-1 | 81C868C49B090E2FE588612D7EEE19CEAE09984C |
| SHA-256 | 2887AF6824EB0287EA09A81FCA18D8711F53B1F53AA84698EE68087B9783CAEE |
| SSDEEP | 6144:u259aEUt03kvGoeDcJScn5vcz8tEEVYPusrznaaZhc6aA2XUZfonxzUVSn0iWH0p:6WTNsxX |
| TLSH | T12A1574A87706E77DCDDE523C88B1C2DCF5A048CCA105FF5AA17428E92D3687A8A05D7D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.dyn_hi |
| FileSize | 43270 |
| MD5 | 10537052A45E849792D83B2A6375EF46 |
| SHA-1 | 88F2C85760024D336D64553DADDBD7234B6FF7AF |
| SHA-256 | E305569AF53B207F2CF4CB586CA6584976D8CCF90DFD6FB59049A20E380D4D79 |
| SSDEEP | 768:ThvWWRwiAD9efGnwqVrJ16jENKqtwAG8H:TEefGPEA/ |
| TLSH | T1DC13EE16EF45E22AD8380BB5C8BA1345BB39D9C25B02CB9341587531DCE72D46FF92AC |