Key | Value |
---|---|
FileSize | 235476 |
MD5 | D36FA53BD16777A476872ABA7AE71568 |
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 | 7E3CE6677BAAA6259D070A97C52186BA0CA35BB1 |
SHA-256 | 0AA194F683F72FA4DF964C272CE72A1BDE385EF0E832F41F1C3D28B02F8E6213 |
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/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/HTypes.dyn_hi |
FileSize | 50843 |
MD5 | B8019EA82082BF44BDB0D410CFD4D8E4 |
SHA-1 | 1F2F4201926BF1DC700F517C9546B31148E6DCA9 |
SHA-256 | BDC08CD98865C91EB805B6F0C16BFA5A9CDD8E231BBA0DF8A7591A75E49DADBA |
SSDEEP | 768:sp2o+wq/Vqp+1q3QKoWKWzrlqh7StS38BdX832o6CatIHb1EYHk:UV+BV+c7E |
TLSH | T14033E956FF48D527D93C0635C9B603557B38D9C26A46ABD35009227AECB33C03F9AA9C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB.a |
FileSize | 1112002 |
MD5 | 8A29A3361F6D0E081958B7CA90ED539B |
SHA-1 | 2F4962A67C744CF668353E0496658F222F3D7567 |
SHA-256 | B3CD8F6AB410C605ABC258C5B3D8C3988DDBEFD77377E24B5F890B45BC56664B |
SSDEEP | 12288:r5+DXcvsI7tEeA8g25goeoOkuoslwpbtLbABQGUti3ZQgZpocFno6g+W3jTv0hhJ:peo64 |
TLSH | T1A1357713DBECAA36D95D1238C8F0729876B0F9CE1348BB4B015C61E9B1273597F63166 |
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-xml-prof/buildinfo_mipsel.gz |
FileSize | 2694 |
MD5 | 4FA9D9E7E32009F1D88CD9B932417902 |
SHA-1 | 620284775E4EF930ECA3D529BB1E9C31DFA83E86 |
SHA-256 | 5CBAB8440F28004E410806260A4132F35D4AD90409F4AEA308A3FF1E3FAAED33 |
SSDEEP | 48:X5B08j84h40Jwb0EHh22oRcxpY0fepEjfDSCDGak40Dt8fWKO+62C5GN+59JZ:p28gaBJEicLY0WpErDfSuWKX62yG6JZ |
TLSH | T1FC515C843C922EEFC82593644D95EF7D51054FFDD61C58A1F0927F0891C5C077D3859A |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJTFormula.hi |
FileSize | 32139 |
MD5 | AEB8694C7EDF02734ED681AB8869943F |
SHA-1 | 748D9887437789D2CBF339A63F817878BE648696 |
SHA-256 | 4DD25629C70936B3335858F32DE7A62C38C8F43E46CE5EE5002E418E1FB56ED4 |
SSDEEP | 768:MI4X1yR+94uxiJE7jiHtNWi1UzO9Jz+8ttCY9k9d27o1AHF:iiHtNWi1U0q8 |
TLSH | T11BE2AB47FF49D117DA3D063985BA03057F34EC82524BAF83604A227ADCA73D46F9A69C |
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/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJT.hi |
FileSize | 37428 |
MD5 | F8CD92C78F72C5F3912F48291324D46C |
SHA-1 | 76F1386175596B5DAB440B4D8EE0533E108F963D |
SHA-256 | DF1181D9BA36CDCD7126B0F6F7314902E7AA53080DD602B68736CE440AE73DE1 |
SSDEEP | 384:G/Mc4weNg8BwVohCjxOEEYUPb/TejT5mZPIbp1PYyXIMXucEmX9Y7X7Blftn3jQQ:80vmSb4KNtANdNslLc994JiH/k |
TLSH | T147F2EC1AEF89D146C93A067586B713453B34D8C66646BF572005B27DECB33E03FA2B98 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/djinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB/Djinn/LJTFormula.dyn_hi |
FileSize | 32151 |
MD5 | FEA17FDB37C3628A55B3A6AD2FF96CDA |
SHA-1 | 7AFC5D3B1898D59DBFECA4FD7A7C252693BCCC5C |
SHA-256 | 0F368634B5FA94A170F8766F3526245C448BBB4EC1D672D75990CC815434581D |
SSDEEP | 768:CoA3565OFQuZaZMTC2mfXNFqa90fOJgAz+8ttCY9k9d27o1AHF:SmfXNFqa90Bmq8 |
TLSH | T1F9E2AA47FF49D117DA39063985BA03057F34EC82524BAF83604A227ADCA73D46F9A79C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.4.4/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so |
FileSize | 791232 |
MD5 | 6374D6DBDABD8FE5E0A5B03FC3F38ADD |
SHA-1 | 835158090A647A82E450A222810F551E3E4375C4 |
SHA-256 | F3555FA1A68A241E0AA24974E9F3BF571E97B2CBA1E3632EF54C0ADF39296293 |
SSDEEP | 24576:qktAqEpthbFukt4SOtZ+eNs4h58ZJGkVf8D7Zy3rOQ+34dcjotejAKnBqDZkxYIk:E |
TLSH | T1D1F44017DFCD7A36CC5CA6384062B2DD7AB0958E1349A31B102452E9B237FDDC7621EA |