Key | Value |
---|---|
FileSize | 263156 |
MD5 | 18CF0AD0F316496332E7FAB7CB386D8D |
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 | AD630A09C1CEE2897FA53EE9557DDA64A06BE16C |
SHA-256 | EB0D468EE9BB082828ABB137F9DC6638386A29BE278563E3C6FBA61C00AA6D5C |
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/s390x-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.hi |
FileSize | 37432 |
MD5 | FC44BE19012EDE808AD93985CFDA0676 |
SHA-1 | 1D1C35D116EEF600CDB6DA9762A698094458C5C0 |
SHA-256 | 8DC27D720E8D11538DE1586CB7BF73B1693A7B5659B64056DBA423D5A683D1AA |
SSDEEP | 384:a7LZFPHbhg8kE/pySP64EYAPb/TejosyZzIbQQLYuXIW7uccdJY3X7Wlftn3jQH0:cnoNvpu346NslLc994JiH/k |
TLSH | T161F2FC16EF88C146C93906B586B713453B34D8C26546BF572019B2BDECB33E07FA2B98 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.dyn_hi |
FileSize | 50847 |
MD5 | 23C4D48FC8DDB927EBD91FF24C6CA829 |
SHA-1 | 265A4D465EF0DD4DF2DCB860E10F22F721C626F1 |
SHA-256 | 0A22F1E56ADA087902787130C222E979623E98445191E22B85867CF477B2C524 |
SSDEEP | 768:rbrZTng68icpKe72KoWKobfhWuYStS38BdX832o6CatIHb1EYHk:H1T+id7E |
TLSH | T19633EB56EF48E427C93C0675C9B603557B38DDC26646AB935009327AECB33C07F96AAC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.hi |
FileSize | 10876 |
MD5 | 433A77743A7319779F34E02C90D385CF |
SHA-1 | 4081E5A58D5E999F0CE3E9D5223CCD61F2797933 |
SHA-256 | 2BD3F6030A0C0AD9ACBC8083C51E13C9C758744C709271DCCB6114145C9BD258 |
SSDEEP | 192:YqTCYCsE5CQ2FkYNjtYGpPNqyGhPrjA9uX9PLyohYpY0d09Up+epjl9SSmGLhtn/:Yq+YCqzokaQ+uh9S3G1PUS |
TLSH | T1E522851AEE55D11BD53905B4CDF50620773C8CD16692BB630398323ECCB37987FA2A99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.dyn_hi |
FileSize | 37444 |
MD5 | 4116B2E3A71C660B50228754C7A7B7C8 |
SHA-1 | 43CD329AD51DAFC7C99DAD14933189D0DA6DA64E |
SHA-256 | AC0AE95D52220CAC659471DF76C0C56E6E38DACA5900E15E71FCD69FD0094522 |
SSDEEP | 384:csv/D7f9g84AXNeWv+UEYEPb/TejMU2Z/IbUo/YiXI6nuElmJtYLX7mlftn3jQt4:xImmxnJNi7zQ6NslLc994JiH/k |
TLSH | T1BEF2EB16EF88C146C93906B586B713457B34D8C66546BF572009B2BDECB33E07FA2B98 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
FileSize | 1512 |
MD5 | 8413B4790FCCFCF40488C687C7F90863 |
SHA-1 | 464B5F78D0A00EF168C3CC23F881E1BEBCEAFB13 |
SHA-256 | 2CB7DA88D36BB75592C9173054F96C61D4094F7CB0869F25260E66A06BFF73E6 |
SSDEEP | 24:TkVvAVvUM8tbSLDIY20WlksrYaANGIYA67l5aHVvIzHVv8zLhKUVv8NEXTFEVl90:TkC+M8ZSA30WlDr+JYl6HyHu9KU3XT+2 |
TLSH | T10E313574EBCD927EBAED19C894B03A74C73D6F682120E944315C2B8013B34DD9C76EA1 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so |
FileSize | 1007696 |
MD5 | 1F8EDABB61C2DC750B1ABB26A770BE1F |
SHA-1 | 4A6FC00DD1B29F1C48ABA1E88EEDA504EB7DFD95 |
SHA-256 | 13D74190A814C0866A67F0093B8B844D2A29596BAC9BF8C6019EB97DF9FDFB19 |
SSDEEP | 6144:fSU4WuunKMCHtRBJT3a1m4dc9s/juzel0djEchDnq5prEa1MQry2U9ILiHmdoDb6:e1JT36M6cLesqe |
TLSH | T11325F2E2F5415214E8F9BB3075EE9B14E2374B8326FE330DDE56F6A23C1033496659A2 |
Key | Value |
---|---|
FileName | ./usr/share/lintian/overrides/yi |
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/s390x-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HCheck.dyn_hi |
FileSize | 10888 |
MD5 | FACC99F7D6D2B8E708D7903343B47908 |
SHA-1 | 59DB23E360E1EAE8DA1930E587AD51219B3E8A34 |
SHA-256 | 408698817090F67BE4A085D851C591D985B85D69F7DD3E12A61076431B2A8806 |
SSDEEP | 192:+iTCYCUUxdeQ2FkYNjtYGpPN+yGVPfjs9KHdPLioGpY0509Up+epjj9SSmGLhtn/:+i+YC58zt+Q+uX9S3G1PUS |
TLSH | T16122831AEE55D01AD53A06B4CDF50220773C8CC16693BB630398323DCCB37987FA2A99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB.a |
FileSize | 1448990 |
MD5 | 4607085A6349F84EC182BBFA8EA679FB |
SHA-1 | 66AA1C6B0BC69CAA4BC716798D6DEDFBA12C8F69 |
SHA-256 | 67F17C21D4260150772EADA6E7486A2B09678764729CDD6F5CC7A625426BA296 |
SSDEEP | 6144:lci6LmRfblngAfenlRJQknNONONYy1BNRQPDX0tWzcLInyMcmgPeGmJNkveJiNkg:XRjkHZObW |
TLSH | T1146522E5E784512FE5FD5F3278EE4700FA3B4B8797EF370A8929A5F228013140BA9552 |