Key | Value |
---|---|
FileSize | 218838 |
MD5 | 287B7392A887F5D9DD9DC66CC0E8C890 |
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.2-8+b1 |
SHA-1 | 97AFB8CF62C1F5CC982CF3B13BC1846DABD4279B |
SHA-256 | 98CE965225CBF3A453A3CD9CB8B25616ECDFEE55D4EC0095A41D2420B91015BA |
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/arm-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.dyn_hi |
FileSize | 33203 |
MD5 | AC4A1FC51922256B24751B59F4D1E448 |
SHA-1 | 1B6B5F61198AE0B48804DAC83CB82772B65EC59F |
SHA-256 | A1D75F65613E2E50028DD094B7D06DBECEB7132DEE7C647D15F2A2C9187B183D |
SSDEEP | 384:Yrc1Sru+yOk2iF+cXAvVA4rIsnlkcu0OZ6A/mO6S9CvCS+mbfySMfwAJzStz:pGDMEcmweu0bKU+mbfySMfwAJGz |
TLSH | T1CFE2CB02FF86E20BD92557F284B99389BB38DDC11B538B574009B535FC332D57EA12AA |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HCheck.dyn_hi |
FileSize | 9994 |
MD5 | 52150DC6F91B317D135D678D834F4989 |
SHA-1 | 28927605EC8FF155733E65A938020FBB8D5B3EDC |
SHA-256 | A48DE2AB8ED13FF1F5832B9494383B6B0E2D104E2B8304F64D08D05FA9D1E498 |
SSDEEP | 96:nlAokZyDLSov8BLes5PPoxe0cN5XCZzF6xEB6zt5WqN+XSzA7eMeWB5:lLGaHeYuxmZ7SlMHP |
TLSH | T12E22B755DE18D31AD029CBB8CDB44704BA3CADD66B52A7630394B8318CB16E43FB14FA |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.armel.gz |
FileSize | 234 |
MD5 | 3F84F96C73CDF5F3E4093AF79A351843 |
SHA-1 | 3D50535F4C23D471FA87FFD82F0B8F784CDF61CB |
SHA-256 | 04FA1674478A4E755BA25AD443437303EEAF2376B7BC9195B79BE7242331BD73 |
SSDEEP | 6:XtIjs5EaE2d4R/9macUYPmuO0H9IZ1iEWyq8:XejQEav8/9matYeu9ML |
TLSH | T13ED097A18A49A150D275E1B10BA9F85B0F320A080274E0EF2C284C20C80F703CA4CE87 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj.a |
FileSize | 957246 |
MD5 | 64D5031294970755A1ABE77D851C20CE |
SHA-1 | 4A6CB6071FDC6449FBDFFBFA44F8D3284F83A3EA |
SHA-256 | 69BBBEB3FC0513192674201BBD7C348A202BCEB7CC7B96275A679F55721B7A2E |
SSDEEP | 12288:gR7nRMAJcg6atYWrtemaYPtS5tzDYG52EHiVE:GAbYPtS/2EH3 |
TLSH | T164154353FB015729DCEC9239A45BBF11A722C9DD439BBB2B5000E1E91F2A3E40E35766 |
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/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.dyn_hi |
FileSize | 29627 |
MD5 | DA455A8687A2863DE6A84B376619F096 |
SHA-1 | 5A5CDA99C64D8859050698C8C977D6C02C0771D9 |
SHA-256 | 14FA887A7C2453893D41568017D78BAE232F5C6F4E4466753B7F06AB0C0486C7 |
SSDEEP | 768:JgoNiz+3+ndA/4EF4wW8+yt+nZtP1BUrWdI63I+TDOQ:Jk63+ne/4HPUrWy64+TDOQ |
TLSH | T162D28717FF84E222D83E0B7A89BA03417F34A9C217078F9751453235DCA72D56EA63AD |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.2.conf |
FileSize | 1219 |
MD5 | A33EA8F96F72022D542B6D182CF16600 |
SHA-1 | 643A9DC11F1215897AD741B845793044FF57FB09 |
SHA-256 | 83F0BAB31D5C99F1FFD762506A59585B32B9CD9E76CD21388956169BB865845F |
SSDEEP | 24:TPV3oV3ktbSLDIY20WlksrYaANGIr4bA67jO+5ae1aV3Aze1aV3LUV3E1StVOcGD:TPS2ZSA30WlDr+Jr4bl2veYCeYFU/tPe |
TLSH | T100212464E78773BDB848AC88A4603730D33C2FE82522FD607688576593617FDDD25E51 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.hi |
FileSize | 33191 |
MD5 | EBB1E66D564253AE8E87F0A073BAC7C7 |
SHA-1 | 7234815D53CC76FA3D5E989148CC64462AEE02B3 |
SHA-256 | 8A3B03624E7299CA2353BB86C2083C5B76F11B61901F272401FB6A5BB04E602F |
SSDEEP | 384:v3c1SuQZOoii1+oPAv7pYYDvI0nUMkcuM6ZGw/qiG/9CvCS+mbfySMfwAJzStz:abTc0ou7UWuMrjU+mbfySMfwAJGz |
TLSH | T12AE2CC02FF86E20AD92557F284B99389BB38DDC11B538B574009B535FC332D57EB12AA |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.hi |
FileSize | 29615 |
MD5 | 49308EB7BDA3595C5664A4F71AC1FFA5 |
SHA-1 | 72F544BFED6196DE4B756D7A2B86036702ADF662 |
SHA-256 | AC84A98CC9A69A79E4FDD9C98DD898700F59180A27A7C0CC99D2170D4DF62987 |
SSDEEP | 768:lIFxKo+zNjEciRB0wW8+yt+nZtP1BUrWdI63I+TDOQ:lXdzNj9ioPUrWy64+TDOQ |
TLSH | T1BDD28817FF84E222D83E0B7A89BA03417F34A9C217078F5751853235DCA72D56EA63AD |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/copyright |
FileSize | 2026 |
MD5 | 74855E5A7D77508F7E2533112D2F2204 |
SHA-1 | 78958F631C58C73E73E85344E2EA9C7E079EFE04 |
SHA-256 | 07B11060A9460A2647A28EEB614EC592A17C884F03549E0015E326A2FF452C71 |
SSDEEP | 48:e5dtqV9SrLOYrYJ0rYJDPLH7432sI32siqEto1ftqFH0V:qdYVHYrYJ0rYJ3s3c3Vl4Fe |
TLSH | T1B841A7875A8407A22AE117C5B696ABC1B15D703D7B335E083CBEE2446B2752CA4B6055 |