Key | Value |
---|---|
FileSize | 232124 |
MD5 | C94C4FD3CC15680CA86931F57FC2B399 |
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 | B31BD02E031C85B2CCDF1F095D33C646D9EDBA7A |
SHA-256 | 83F922AB43146DF7BC46B4314EE59635CFD05211CC882D6A17FBC1704CB65116 |
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/libHSdjinn-lib-0.0.1.3-JjfOG3wSqQ42UziBnp4wOB-ghc8.4.4.so |
FileSize | 791232 |
MD5 | 057CB4B7B140B724784C9264500C592A |
SHA-1 | 0333F9379AA30E7FD564297751C2C12788DB5953 |
SHA-256 | 913E68357002643CB63D5D3E15AD3E630B1229FC84ED06245DEFEC4FD5169A6E |
SSDEEP | 6144:wnZqdiDDIjxPxHUHc0YAkRlfvTqMTUNjgZ5QGlMp19n:xx0HcTFquEb |
TLSH | T177F483577E48ECB4C19C06344BE7A65839E28F182DA8EF48324B84CC9F391AD97D1BD5 |
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/Djinn/LJT.hi |
FileSize | 37428 |
MD5 | 8A5AA73215AB6B35B2604860B61388B5 |
SHA-1 | 3685FA41170DDA37E0676B20C57A9E3A348B3AFD |
SHA-256 | 9C4573E602AE66364D09035FB7F517774216B0D1E358186248E44B66FC3352EC |
SSDEEP | 384:d/Fc4weNg8BwVohCjxOEEYUPb/TejT5mZPIbp1PYyXIMXucEmX9Y7X7Blftn3jQQ:a0vmSb4KNtANdNslLc994JiH/k |
TLSH | T1BFF2DC1AEF89D546C93A067586B713453B34D8C66642BF572005B27DECB33E03FA2B98 |
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/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/LJTFormula.dyn_hi |
FileSize | 32151 |
MD5 | FEA17FDB37C3628A55B3A6AD2FF96CDA |
SHA-1 | 7AFC5D3B1898D59DBFECA4FD7A7C252693BCCC5C |
SHA-256 | 0F368634B5FA94A170F8766F3526245C448BBB4EC1D672D75990CC815434581D |
SSDEEP | 768:CoA3565OFQuZaZMTC2mfXNFqa90fOJgAz+8ttCY9k9d27o1AHF:SmfXNFqa90Bmq8 |
TLSH | T1F9E2AA47FF49D117DA39063985BA03057F34EC82524BAF83604A227ADCA73D46F9A79C |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xml-types-prof/buildinfo_mips.gz |
FileSize | 2695 |
MD5 | B2A7850C14EF3CDAF6598010DA4DA7AC |
SHA-1 | 939E04CF8C0A40079CD5FD66F43B805F1041981A |
SHA-256 | 9F0AAAF071CF36A6B788AEC8DC1679C4164E68C5ECD493BF75B5E7C4231DE4A0 |
SSDEEP | 48:Xo76FhcD/GGjeyKxxAnXFEWKE4zavV0YHERLD4PjBpKFdOZKhCqdx:O6Fh8/lRGxsBK1LDKlZKhL |
TLSH | T1BA514B1542E87D04C4262F6D707CB118B24C3A70BDAA6E86EB19C071E3B7172AD1D479 |
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 | 1111586 |
MD5 | 942A6A50EBEF22FEE13B0487E62B46E9 |
SHA-1 | 986C989E61AC566A9C30427FF6694C8B574518E4 |
SHA-256 | 5FB14649F5FAA81C9E2C95B13643F58501C641E94E239B9465231B59D428A899 |
SSDEEP | 6144:AcidvSH2VRZ980zGfIOi1JIuMnWI6K9iGg9xWiZApTAPasG/lMTWb5WvvvejTeVz:di7Teg9pZLTMUD |
TLSH | T162355502EB00A9BBD06F0374DFF667083BF64799175CA98C324FC88C9B1529D4B65BA5 |