Key | Value |
---|---|
FileSize | 204240 |
MD5 | 287373E3B33A82D8F101628F88D1A4CD |
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+b2 |
SHA-1 | 74F1AB61F07109BDD1FF4BA4C84C89498CFB865E |
SHA-256 | 402D0F8F6B52BF4296A42F639BF8BA749006F9B33BEA15E0A5B5AD419B091AF4 |
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/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so |
FileSize | 452728 |
MD5 | 9FF1DFFA2F9BA43247027671C4ADDD86 |
SHA-1 | 17D01B7E2A72EBF351A474EC03DF3F437B8B9932 |
SHA-256 | 91D5D3AB3BA1ACC382C2C70C56CA8B1C0931D9A48061D9850FBA1534A3FB02F4 |
SSDEEP | 12288:XelcWMRoSisTXZUUBUU0qfnfVJVv8kYFU0+7icXzVbkg5xhxzybGY+WqXgb0Pufl:OlBMRbVNj/kztcKOw0S6C |
TLSH | T10EA49526F9454A35D9EF123CF1AAAB50B6360B8D9A4EF62D1424F9F4BB1F0504E72313 |
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 | 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-xml-prof/buildinfo_armhf.gz |
FileSize | 2848 |
MD5 | 5E1A9C1A1CA709FD025B701BA3AD3CCE |
SHA-1 | 7060F959F40113EA3BED5E6D1EBD420309E9F23E |
SHA-256 | 9FD01983639C983BC4AC183554317E37EEFE71F785CB5B66668936E555FB2CAC |
SSDEEP | 48:X8gfaYsUv4XGXoNmr0W2t2sNm5VN2PUUkVj5dseQrKmTY0q9:fiYsUgNNbW9eUXsRrbTY0q9 |
TLSH | T1AA513ADBB494C034D9B86A2A9776122690540968CE0FF18BF563A7D25EF760EE8B4381 |
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/share/doc/libghc-djinn-lib-prof/changelog.Debian.armhf.gz |
FileSize | 292 |
MD5 | 96B722CB6E5B51E74B0E33B1208F3499 |
SHA-1 | 8DDE5A205000C71FB29434C3CBB94B0ACF0F477C |
SHA-256 | CD4EE3F02D429FACCF66338FD4D66A98BC0BFC04D0EA40C0011153338A963B6B |
SSDEEP | 6:XtjPmE2uh9OKEmV+nxqt7oMpL9dOh4OzTZAoLfn7lt+IAC+ILfhSHD9pcQL/:XpeE27KpVqot7ooL9i9Lf7b+IAjt/ |
TLSH | T198E0EBF302C3C9F3981A853232A2837E1B2B0AB358A49B80293AB42B00080552285583 |