Key | Value |
---|---|
FileSize | 204088 |
MD5 | 6F23B253A2A5A4F6E381BC819C9BBD61 |
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-3+b3 |
SHA-1 | 7C6E64AF450100B7D02AAF114DAC5C96FFFC2936 |
SHA-256 | F7EFFD1C8F505AE509F28F8C6B6EFC0430255E768E10C7A9BF3DC079AD15BAD4 |
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/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.dyn_hi |
FileSize | 54294 |
MD5 | 0847BC368AD9BDB3E6B51CC9B0F1E06E |
SHA-1 | 0701D52E86DDE5BC2EC32DFBA4139EEBE898571E |
SHA-256 | 3815DED198A9AC521699BAC27FD0082E715C0E6138E77830366A43866C792FB9 |
SSDEEP | 768:elsEhE+KD0W1R0mRMw6pGg7YUisOuJWZYLatRqxIsISHS38Bdi3pMhc6RCf/tIHp:uFhnKD0W1K2Mw6p+VI71 |
TLSH | T16A33D956EF48D523CA3C0634C9F603557B38D9C26646ABD35049327AECB33D06F96AAC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.hi |
FileSize | 37354 |
MD5 | A366D642A6BA2F5A541C85BDFA70A9C2 |
SHA-1 | 1476AEFA206A3918C1E878D61583273AD4E326C2 |
SHA-256 | 7900E7D864ED8CE55BA64A86E78E6909099D7992CB483BA66EBC9B15ECB63163 |
SSDEEP | 384:Czo0Rqhtxg8qHTMAbHoEYQPI4eUALFZgIb/QMY1XIGeuubUcYoX7O1lftn3jQ56H:XPIHwI2QYRlFCr9dkNslLc994JiH/k |
TLSH | T1D3F2EB1ADF89C142D93A067586B613597B74D8C56542BF932005B2BCECB33E03FA2B9C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB.a |
FileSize | 778910 |
MD5 | 4891B611C2F1BD0E0D19DC9B85AFFBAA |
SHA-1 | 2813F2110A5C0C60B0D2A747A5324756E342F167 |
SHA-256 | C0F264C38FD87A15FD3F478BF4F208B849D6E0FB1E4384240DB1FF9949566880 |
SSDEEP | 12288:ke7uSDGGJUb2yQmucov7YxOZS16nwaQSA216KKlWslWHw7TLEMHU:kXUv7QOZS1Yv0 |
TLSH | T107F44227FB454A35E9AF523CD1BABB64AB35CB8A165AB70F141466C02E131D40FB7323 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.dyn_hi |
FileSize | 10880 |
MD5 | F0DD3EBE9806FE060980587CBCC16032 |
SHA-1 | 37CE12EE6D5D5C9B371E3D355AF63EE948C3CB22 |
SHA-256 | 62CC81D4214887E4BC0489A492117068228FA960D49F730502186A683138C5D4 |
SSDEEP | 192:KeCNPYeJH0HGMq2Q2FkYNjtYGpPNmyGXOPBjE9ILfK3ePLkoppY0x09Up+epjNg3:hCNpH6zx/2Q+uhg9S3G1PUS |
TLSH | T1CE22A516EE55D01BD53A09B5CDF10220373C8CD16692BB630398723ECCB37987FA2A99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJTFormula.dyn_hi |
FileSize | 32147 |
MD5 | 3FD5DCCB3AA47B60D0EDC5934C663407 |
SHA-1 | 3BCDE497D9CB2520DF81212C633EFB5B61C96B1F |
SHA-256 | 6F2E49A576352881D90E6989D16A61577A636A9CCF0581504C85350DDA7E11FF |
SSDEEP | 768:T7BvvSgKWlIbrkjc9WzoQmH99yilUB93uz+8ttCY9k9d27o1AHF:XgH99yilUAq8 |
TLSH | T12AE2AA57FF45A113D93D063984BE0341BF34E982524BAF87204A323A9CA73D46F9A69D |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.armel.gz |
FileSize | 236 |
MD5 | 0D176EA9A4DA7C1AF7051C22B79C2582 |
SHA-1 | 4542D2297092F9634BC43C333D719F4BF81058C2 |
SHA-256 | 89DEB9F20C185B4AA23BBF6BC28D35B49C52C5C75301C1461E8C2CD482948223 |
SSDEEP | 6:XtLypc0SvigIudWwNQsZAT0i3ROlURAGgVWk/:XJagZnNQsZ80UR4C6VWk/ |
TLSH | T1B1D097D7F008FAA9AA4A9B74B21346640ECA8308A0C1937820B400E2C440F89408EAEC |
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/share/doc/libghc-djinn-lib-prof/changelog.Debian.gz |
FileSize | 1123 |
MD5 | FA5FF0DD146DF27405C764C209C4B16B |
SHA-1 | 5638C419D5E59FB8D8B3D438710B0F40C6C0973B |
SHA-256 | 0B4A3BFCF8E546926D35D972ACC26D16986E54580E2DE7BBDE8BBF510CA2CFDF |
SSDEEP | 24:XVKmQq0VcKrDpxnzovPrMr1cvQ04fLDd261iyutEY:XVftKrdxUHrMr1wGdRwrEY |
TLSH | T1342196A5BB2670658CD285D637ECCA22A49965847C779942F60EB4E1F041243F0C9E4D |
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/arm-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.hi |
FileSize | 54282 |
MD5 | 0936D20388CC69568EB1F4F9861C4A50 |
SHA-1 | 908E8D9C504A5485681898960A3A8A79CCDBB128 |
SHA-256 | 3A882E5158F72FA8AE4298CDE5B7DAD7BE2A4A5472F92C9299FED16225D1C9B7 |
SSDEEP | 768:GlssJml3JceFbks40+wnEsCy2uJWZ4HG51JWgiFsISHS38Bdi3pMhc6RCf/tIHb1:mdJEJc2ks40uNLj71 |
TLSH | T1C133DA16EF48D527CA3C0635C9F603557B38D9C26606ABD35049327AECB33D06F96AAC |