Key | Value |
---|---|
FileSize | 207028 |
MD5 | C8D357A8B1B9BED92DF9988E099587BB |
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 | 6FBED9A5DB75C65C2932CAD089B0E7261B9CFE3A |
SHA-256 | B42C975E9CC716FB3E63EF997C60E46039B9054676A6B8FC2B095B6AEE3F995F |
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/share/doc/libghc-djinn-lib-prof/changelog.Debian.arm64.gz |
FileSize | 290 |
MD5 | 4D08577DCBB649163E5699074A398D2D |
SHA-1 | 1E0E8BBC457D2019A19B1C8EC5F470902720049C |
SHA-256 | B66F0DFC4E6DC579829C2B76010920E5372C941D6C57F36843B3B6363BF36935 |
SSDEEP | 6:XtjhTwkhovyKMztYSSp6uEVGOkPAM0YzrelhpOc6qg3X6Jz6eO4xwll:XphTebMztYSSp6LVWp0Y+ljkN6NO4xw |
TLSH | T125D0EB440F5E88FB1008F33E974108180A99202232D37ADDE77EBCEFED028D0604BA4C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB.a |
FileSize | 1079110 |
MD5 | 39ACF20EBF2FC86E8DFB39116A9129FF |
SHA-1 | 27C1617FAB5FC58FB52AE337A8CCBA36AC7A80E8 |
SHA-256 | 3D4F0E8CA6506D94F88C4FD4DAF0516EACC9D62103AE94133BFFD528EDF13D73 |
SSDEEP | 6144:TZYuR5qEHUN73pDuB5RDZJtsYCRHthPA2Syq:UXMfdCR3bS |
TLSH | T15E35F06EBF455179D7FEC238447257257B36CB8812D9632B45299AF0EE9329C0FB2302 |
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/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.dyn_hi |
FileSize | 37370 |
MD5 | E1ECC4CDF629FD0E37D4FC4A1C1DA894 |
SHA-1 | 2F3B549C26EA6FDD007D8E943B909BCD4A06492E |
SHA-256 | 728B3B92BFD2E4739BE1A4E65316A24F7E2E22261B47CBEA41C9FB0C2E2BB891 |
SSDEEP | 384:6Dx1THND5KkRhg87Xrjcycj34EYAPI4eUYXVZQIbvg8YlXIIuuNZPMY4X70lftnr:C1THNPZhmFe6FCLGkNslLc994JiH/k |
TLSH | T189F2EA1ADF88C546D93A06758AB613553B74D8C16546BF972005B2BCECB33E03FA2B9C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.dyn_hi |
FileSize | 10884 |
MD5 | 09D8A60F4B047AE9CA553C7F76542338 |
SHA-1 | 397488B134B21B990465B9B4657ABEABC912B4FF |
SHA-256 | 0A644EBC7F493FF15BFB8CDB88C69CC4C47441F3FE521C5C32E32F751148F214 |
SSDEEP | 192:aXsefzQboQqQ2FkYNjtYGpPNiyG7PSOjo9x+lPLxoZpY0l09Up+epjC9SSmGLht/:aXbrQSzR3iQ+u29S3G1PUS |
TLSH | T1BE22A65AEE55D41AD53A06B5CDF102203B3C8CD17692BB534398323DCCB37987FA2A99 |
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/share/doc/libghc-xml-types-prof/buildinfo_arm64.gz |
FileSize | 2866 |
MD5 | 2F5CF05C37D48954BD249CE862B68587 |
SHA-1 | 7869801A44229FE6CFE649F9DE774185407C475E |
SHA-256 | E848B7F4461FECF2AD1E44BC821FC673F4C19E9F10909E5AC76ED9C151FA3EC6 |
SSDEEP | 48:Xtvk+QeJbtVRjT99buvVFqZTGt4rnA95Uz2bl+bRH+rDXfksDdCd4ssm6S:hkoRRjTydkZTGgnA8z2RjssDc9ss |
TLSH | T188514DE2205E71BF068B26F77A1CD11030012E570B2AF76D5D81398E6C7DEB0C2590D2 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.hi |
FileSize | 10872 |
MD5 | 204A8B3ADD78676D887B72B9557472CC |
SHA-1 | 857B0B38F593D318E63591373BF95B0F94667F01 |
SHA-256 | 3F453224D660908A1DBA576AB31B4550A665FB3AF97D0FE92335BFD39F91F14E |
SSDEEP | 192:yPsefzqQMOQ2FkYNjtYGpPNuyGfPFjc9OyDwPLBo9pY0p09Up+epjYR9SSmGLht/:yPbrLzVuQ+uo9S3G1PUS |
TLSH | T17722941AEE55D01AD53A05B5CDF50624373C8CC17692BB631398323DCCB37987FA2A99 |