Key | Value |
---|---|
FileSize | 189364 |
MD5 | B75E768DD036805327174DA216FD88AE |
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 | EE0000E2BE38727E9803B441152C032E9502A193 |
SHA-256 | 739A6BED2E400DBC86A05E75245C9018540EAEDDA76210864C1ED81BBE71799C |
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 | 519324BAC1600048A99FC8409341D86D |
SHA-1 | 129529A8399D65943F1C7E3E7519E33AC6D6E9F5 |
SHA-256 | 5652CC0BEABCD00C43F790DED319207A8FE0B85B26247664EFB7D600BDBEBF48 |
SSDEEP | 24:TkVvAVvUM8tbSLDIY20WlksrYaANGIEsNxqFA67l5a8VvIz8Vv8z2hKUVv8NEXVY:TkC+M8ZSA30WlDr+JEMwFl68y8u0KU3+ |
TLSH | T119312E78E7C992BABAED1ACC60A03A30C73C7FA92020F995314D2AC1137309D9D32E55 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.hi |
FileSize | 54282 |
MD5 | E6A3FA7C4DE3A6AF8D1ACEE9BDAA7378 |
SHA-1 | 1317A80D9B89AC583FC1B8F526C769EA4AEF2020 |
SHA-256 | 0C1EA790DB1471BB815FD1A23E800DD054B75D235C9090EA2E0FC7D3E8A42D9C |
SSDEEP | 768:klisJml3JceFbks40+wnEsCB2uJWZ4HG51EWgiFsISHS38Bdi3pMhc6RCf/tIHb1:0DJEJc2ks40uNzj71 |
TLSH | T18133DA16EF48D527CA3C0635C9F603557B38D9C26606ABD35049327AECB33D06F96AAC |
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-xml-prof/buildinfo_i386.gz |
FileSize | 2744 |
MD5 | DD47B62783BAFF49FFB98D3AFAD48C21 |
SHA-1 | 4123531FCEED2AE13DE8D3626F3059E8B0BD603E |
SHA-256 | A128530D2409D158C471D09D4C74403D61A6F325CFA78307789E13000940D9BA |
SSDEEP | 48:Xmp8OWqO25z+aysDNOuLADPiMwPwQcaJGT8LGSgl+xRCm/rSaWuEq/:AWBpayuYPi7PfBLGSc+DCwrjWVq/ |
TLSH | T101512C61D03C69618553C40C3198FA10F3B8C9B5C35D8E9BA21788493ECB69716C5BD2 |
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/i386-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.dyn_hi |
FileSize | 54294 |
MD5 | 9D443026E6F0D21800BBC4A1F58FC7EF |
SHA-1 | 565D0975CA2F99CDAFC9918CAA0ACFD3F63E7163 |
SHA-256 | C095C487F95D25CEE4E09A5E863A0B6299C5FC9A3E9ECE97989BA9FC2116009D |
SSDEEP | 768:MliEhE+KD0W1R0mRMw6pGg7YUiDOuJWZYLatRjxIsISHS38Bdi3pMhc6RCf/tIHp:MLhnKD0W1K2Mw6p+VY71 |
TLSH | T18A33D956EF48D523CA3C0634C9F603557B38D9C26646ABD35049327AECB33D06F96AAC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.hi |
FileSize | 37354 |
MD5 | E4563110219D8134038056D96FCF528F |
SHA-1 | 5DFDA29B522A9E0557C3B8BB1D1F6D043DAB79BD |
SHA-256 | 34881CF948BE90B33D1FF37E3578C6A082604780DCE3CE7A5BAAFCD0023D64B6 |
SSDEEP | 384:NzosRqhtxg8qHTMAbHoEYQPI4eUALFZgIb/QMY1XIGeuubUcYoX7O1lftn3jQ56H:aXIHwI2QYRlFCr9dkNslLc994JiH/k |
TLSH | T15EF2EB1ADF89C142D93A067586B613597B74D8C56542BF932005B2BCECB33E03FA2B9C |
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/LJTFormula.hi |
FileSize | 32135 |
MD5 | C81F97ED3B10B29FB569A2458EE1B04B |
SHA-1 | 94D667243F531B4DCA130158E3C74BBF49A5BD90 |
SHA-256 | 5A540CA094EB61177A613BA80BA0756BCA1576DBBA9C378E9DF7E3D3C86F1EAB |
SSDEEP | 768:jjxPJhaxGdQbDsbslWDMXtFG6dUVF7zz+8ttCY9k9d27o1AHF:/TMXtFG6dUjq8 |
TLSH | T17BE2AB57FF45D113D93D063984BE03417F34E982524BAF83604A223A9CA73D4AFAA79D |