Key | Value |
---|---|
FileSize | 254120 |
MD5 | E4A1E1D32AD5E6708914CA17B7337C0D |
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 | 2FF28167877FA859BDB2F2F77AFEA8ECA128105A |
SHA-256 | 1526F4616ABC4A4D33FC95EDEEE1D5F2F382107D1092F5630801AECDDF7166D2 |
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/HCheck.dyn_hi |
FileSize | 10884 |
MD5 | A5A5F43B8FF8BE4CB442703193648830 |
SHA-1 | 02778E912CB16B373B050A4002A7939D8E6F13D0 |
SHA-256 | 77ECE6546C5F51CD0F1D31B3187948749515DA41E28904829AC1A1D7F52B1D19 |
SSDEEP | 192:PmX1fzQboWqQ2FkYNjtYGpPNiyG7PSfjo9xIA+PLxoNDpY0l09Up+epjSS9SSmGL:PmX1rQ8zRTuiQ+uGS9S3G1PUS |
TLSH | T1A822A65AEE55D41AD53A06B5CDF10220373C8CD17692BB930398323DCCB37987FA2A99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.hi |
FileSize | 10872 |
MD5 | 10D23A2C361C095D3A11BD03C48A91B4 |
SHA-1 | 1001A2A5652AF21E96D1AD899138B5567E0F9AC3 |
SHA-256 | 3635F22624B2EE7A7C3F4CF647B00A7A6BA0E4A81EB737ADEE9380EFACCF9582 |
SSDEEP | 192:nmP1fzqAaOQ2FkYNjtYGpPNuyGfPUjc9OyMp/PLBop7pY0p09Up+epjOPm9SSmGL:nmP1rJzpKuQ+ugm9S3G1PUS |
TLSH | T156229516EE55D41AD93A05B5CDF50220373C8CC17692BBA30398323DCCB37987FA2A95 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
FileSize | 1530 |
MD5 | EC28EE93FBDB0E58DFB851B5F2B89AB7 |
SHA-1 | 22A8941B731CF09D36CB8058BCCDCB89B9225AC6 |
SHA-256 | 4D7752170F89DD2BD81EC5A37CEDF98DDD24561CD3AAB513ED0EAC9918016E0B |
SSDEEP | 24:TkVvAVvUM8tbSLDIY20WlksrYaANGIXEA67l5aHHVvIzHHVv8zHLhKUVv8NEXOy7:TkC+M8ZSA30WlDr+JXEl6nynudKU3Xe4 |
TLSH | T1BF314274E7C9A2B6BAE9098CA4A47B30CB7C6F952521F954314C6F8043B309DDC32E51 |
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 | 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/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.4.4/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so |
FileSize | 909416 |
MD5 | 85746691AD362A9DD5B89EDD7C1832E4 |
SHA-1 | 7C1180C1DD5529651CB75B72F05F0885A1452292 |
SHA-256 | 7BF941BCEE69AC5D849AA52578E8AF5262000DCF28EF38E72FA630C0AE1E2A4A |
SSDEEP | 6144:jqzE601VV4jUth4tk8MEeT3fxhNki8YxohZ6tpCifItf:OzuOUthwM3PFxm6738 |
TLSH | T1281552F27F60225BCE98AEB8DC733570363D26EE998F79201C35F8631418414B55B6AB |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xml-prof/buildinfo_ppc64el.gz |
FileSize | 2761 |
MD5 | AD4D4986C87CEDA6B912338A37F895C6 |
SHA-1 | 8F3F511A70C03AC15C2CAC3C8BE8DEE6C7CCC94D |
SHA-256 | B59F34EA58374066A91D0BC47F0BF32139A3A7E6B102A40EE4F2F6A3B59C0005 |
SSDEEP | 48:XDqcCLMF46iD/YCJUMrXjtOkO4rVvODuVJ+6O60guIj9zsLk5wm0881QX:GcCLo49DrJNjt9osJg6KIj9zsAl8a |
TLSH | T17C514B5D61EDBF9A5BD9914434158D391C8236CAD443660E3BCBA0030FC09BBC6C9F5A |