Key | Value |
---|---|
FileSize | 252920 |
MD5 | 268A651F2DA10BDE1370C296FEA391E1 |
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 | 6ECBA1ED99D431F51D38DF9D49166C269BA28C5F |
SHA-256 | D21DCD244543057173EFEE718D8241341404B56FF77C3EE7B4585353D694C9A3 |
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.3.conf |
FileSize | 1509 |
MD5 | 0D145054B1D34219B10A9A672CB23402 |
SHA-1 | 0519DB36F56B95F7E85064F2A5EDF90080CF8516 |
SHA-256 | 557F59244941199C728522A90AF37FC01BFEA62F957DBA19AB781B3AAA815A88 |
SSDEEP | 24:TkVvAVvUM8tbSLDIY20WlksrYaANGI61pA67l5aZVvIzZVv8zBhKUVv8NEX1nmjL:TkC+M8ZSA30WlDr+J61pl6ZyZubKU3XA |
TLSH | T191312C70D78D927ABAD819CDA8A03A30C37C6F993021EA88314C7B80137209D9C32F61 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.hi |
FileSize | 50835 |
MD5 | 500FD1A27CABA699C6C1E045737E9D4C |
SHA-1 | 05FA243F63CB2B82F2D4836AC58E4660D80B4A60 |
SHA-256 | 0BC2EC016867C0E93D83C646CF543D815BB7DA433EDC48ACD601A65AA7FF9725 |
SSDEEP | 768:1r7hjzw6jHkuqx2S7/KoWKgXjtSS0StS38BdX832o6CatIHb1EYHk:9Fj1Eu47E |
TLSH | T1AA33EB56EF48D527C93C0675C9B603557B38D9C2A646EB935009327AECB33C03F96AAC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.hi |
FileSize | 37432 |
MD5 | 24B7D36689065519E9CAB12549C6D904 |
SHA-1 | 1AF215D1E347D39A8DF13F3FFCF6393FA73B923C |
SHA-256 | 9A80764A30926046329D04F11FF11B6C70328C46E15A521A88508114335D6B46 |
SSDEEP | 384:P7ZZFPHbhg8kE/pySP64EYAPb/TejosyZzIbQQLYuXIW7uccdJY3X7Wlftn3jQH0:jnoNvpu346NslLc994JiH/k |
TLSH | T1E6F2EC16EF88C146C93906B586B713457B34D8C26546BF572019B2BDECB33E07FA2B98 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.dyn_hi |
FileSize | 50847 |
MD5 | 0E62AF10D1C69672B3AF1434D134DA0E |
SHA-1 | 22891FB347C6772C806BCC492500BA6DAE95217E |
SHA-256 | 6249AC159589F2122ECF1E463EBB15649134A2DE5977F221F4076AFB5EE76389 |
SSDEEP | 768:PbrZTng68icpKe7ZKoWKobfhWZPYStS38BdX832o6CatIHb1EYHk:j1T+ip7E |
TLSH | T12333EB56EF48E427C93C0675C9B603557B38DDC26646AB935009327AECB33C07F96AAC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB.a |
FileSize | 1727334 |
MD5 | EE6EB23CF8BB8BDA5AD6820BC45EB1BF |
SHA-1 | 2E95C10A458AE916ABB0B2382D256D87F92EA2FE |
SHA-256 | 7E2BCC36AD13F06FAF32D9023C7181CDBC1CFE704544F1EB826F9F04259BFEC0 |
SSDEEP | 6144:8ci7morm+qdVlKCXqnk3/+u89GwjCYdaikLLZ4gBM3n3BW/tbl9igih1XYdAL8bC:PoYdAL8bNp |
TLSH | T157851D6D6781977EDFCE0275C4694BE0FB33898973866B3B4274AAB81D1311ECF92211 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.mips64el.gz |
FileSize | 300 |
MD5 | 2563ABAB681C1480484C747F114C0985 |
SHA-1 | 489EB6EC227F371E92E707417CF5064B3D332B85 |
SHA-256 | ACB55812909EC9C9568CB99CF1606CB3168211F66633086F1EDEED8FAB8F4C64 |
SSDEEP | 6:Xtck3xyBVESr3xJFINKKATAGAS7M3+NtIKW0Tj5yR39vsSBo/:XSk3xjSrNiKK+3UjKW0TjsR39Bo/ |
TLSH | T1B9E07DB21913A032E39EA820D17DE945008AD8B944A5411B300367462D74022E086370 |
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/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.dyn_hi |
FileSize | 37444 |
MD5 | B104F3282F001F3D476A02B748450B46 |
SHA-1 | 5CF2F9C7EAFCD2BC6427495CF219CCD41DAFC5EF |
SHA-256 | 0B92A893705B4194EB4808C2F10219896709331B8713C78A17908DE8DCC51A0B |
SSDEEP | 384:RsV/D7f9g84AXNeWv+UEYEPb/TejMU2Z/IbUo/YiXI6nuElmJtYLX7mlftn3jQt4:MImmxnJNi7zQ6NslLc994JiH/k |
TLSH | T14BF2EC16EF88C146C93906B586B713457B34D8C66546BF572009B2BDECB33E07FA2B98 |
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 |