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