Key | Value |
---|---|
FileSize | 190440 |
MD5 | B763EC1143914E0262E5E9D9212DB218 |
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 | E04958337FB1FE012198F372F73BF8A8C232107C |
SHA-256 | B4712E4ABE238E6D2ADA71046CFEC20DD4D0DC8360BD06F6EC4AC1BE8160E16A |
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/powerpc64le-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJTFormula.hi |
FileSize | 32139 |
MD5 | 55131B5EAF84042271BD096847F571F1 |
SHA-1 | 2CD460D76F53C3371B2CD76AD3D8ACA3280B3DC0 |
SHA-256 | 7956EB792FEA85607F5218D4CFE496933A2FD1DC976AD61B77CA8676CB686174 |
SSDEEP | 768:Fe9GZgj8hKtMjswqAeLtNWiEEPmv6z+8ttCY9k9d27o1AHF:QLtNWiEEHq8 |
TLSH | T19CE2AA47EF49E117DA79063985BB03017F38E882521BEF83604A223ADCA73D46F9675D |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.amd64.gz |
FileSize | 302 |
MD5 | 59DC83DE2A5735421640A59B7910831F |
SHA-1 | 36C473536CD366A03C4277DF6ECB5AAB55563FBB |
SHA-256 | 6AE4488296DF764CA3ACFD967404E96DA9F40092F8F21E351ECB0479E532794A |
SSDEEP | 6:XtfT9dCgofdhuj1+FvZRQ7cIByv6kUcQY7iU7tDNg/ghdd6G:XVpo1g1URQ4myv6kxQY7zk/Mddz |
TLSH | T1C1E07DD3418440E3D171C61DB546D0216898A8BF8570AA75A04D75FD1795052DC5D230 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.hi |
FileSize | 54286 |
MD5 | FF461C1772F16B5C4ED3A5C2991E89F8 |
SHA-1 | 417553D49367936FECEE746E7B8704BBDF42D08A |
SHA-256 | 571C32DA48975CF3D0ABABEEF29246AD8F5D7F274E86F29599D2D9897A4698A3 |
SSDEEP | 768:U/ROJH4553s6fdodCDB8vuJWZYryG5gZsISHS38Bdi3pMhc6RCf/tIHb1EYHV:hJH45ZVfdoCL71 |
TLSH | T1E333DE16EF48E427C93C1635C9F603557B38DCC26646ABD360493279ECA33D06F96AAC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.dyn_hi |
FileSize | 54298 |
MD5 | D2824C9190431CFF7E00F9E4F39DC4F5 |
SHA-1 | 439B7479C88859D001B12B33AF7D874DB1C57143 |
SHA-256 | 7E430DB6043AF1833476ABEBB486FAA6B750A932AAB5FB57112A4F384DDEE990 |
SSDEEP | 768:M/RuFMFsco2FzrVh7iX10WOuJWZYvWKF7vsISHS38Bdi3pMhc6RCf/tIHb1EYHV:7FMFsyzrVh8vc71 |
TLSH | T1C233CD16EF48E427C93C1635C9F603557B38DCC26646ABD360493279ECA33D06F96AAC |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xml-prof/buildinfo_amd64.gz |
FileSize | 2764 |
MD5 | D95718C604CB66CBB28F5A89CEBFEF73 |
SHA-1 | 497716D8C1C113F6F160F333612816E00AF1922A |
SHA-256 | 3900DB001D1B74B71CBA0E6C45FC15E0741932713978BB2625C0ED4059AEB714 |
SSDEEP | 48:XwtnKZpNYvlBu0lss+yYI+mz7bxwYXZHxzrZkNiujDG/u12EHAJK8:Atna4vrXuCn1TZ1GNBIu12OF8 |
TLSH | T178513AD372A0A92855E4D28B7E5FAC28C16AEA6A0517C09803E830132A6D4BF85E8E14 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.hi |
FileSize | 10872 |
MD5 | D034EBD58411F78EB4C71D604F30EA3D |
SHA-1 | 4C427E977C590C617513E5E230AD0610D92C1156 |
SHA-256 | B54333F58B6F6D577F92D369D20315F9ACBADCE2A05F224BF7F1657E79C3EFC8 |
SSDEEP | 192:+PxfzqWnOQ2FkYNjtYGpPNuyGfPHjc9OyinQPLBo9pY0p09Up+epjLc9SSmGLht/:+PxrozGuQ+us9S3G1PUS |
TLSH | T1AF22951AEE55D41AD53A06B5CDF50224373C8CC17692BB630394323DCCB37987FA2A99 |
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/x86_64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.dyn_hi |
FileSize | 10884 |
MD5 | 4D1B3950212627A837BB716DB040A002 |
SHA-1 | 5C698DF651FABF4DB4788790AFFB72D253CBFF78 |
SHA-256 | F174D42461704893DBFA3DCB2911D5D7F5BB3071F45868180B7A9402D062C3C4 |
SSDEEP | 192:mXxfzQbubqQ2FkYNjtYGpPNiyG7PScjo9xOG9PLxohpY0l09Up+epju9SSmGLht/:mXxrQlzRwiQ+uS9S3G1PUS |
TLSH | T1B322A65AEE55D41AD53A06B5CDF10220373C8CD17692BB630398323DCCB37987FA2A99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.hi |
FileSize | 37358 |
MD5 | F18763E4296067064697F663FF8675AC |
SHA-1 | 727F0E6C79F649C0F28EE6922856C229FB462F8A |
SHA-256 | E080CE2EA2390C35293AD77B9D359E480FD75295C613441F972326157221797A |
SSDEEP | 384:Nx/1gTHND1Ogd1g8n7zjgGo7zsEY8PI4eUUXBZUIbT4oYBXI8Cu9ZrIYUX70lftx:NDgTHNLxtG4iFC7skNslLc994JiH/k |
TLSH | T13BF2EA1ADF88C546D93A067586B613553B74D8C16546FF932006B2BCECB33E03FA2B98 |