| Key | Value |
|---|---|
| FileSize | 55942 |
| MD5 | ECAC986FB23EF3F35EBEA40217433993 |
| PackageDescription | Generate Haskell code from a type; documentation 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 the documentation for 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-doc |
| PackageSection | doc |
| PackageVersion | 0.0.1.2-8 |
| SHA-1 | DEE6E10B09971662A94B321F8F093B22B783C804 |
| SHA-256 | DA6437C079DA73FC86BD54035F0BC3FD00F30499AA61D99948826CA83A252607 |
| hashlookup:children-total | 28 |
| hashlookup:trust | 50 |
The searched file hash includes 28 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | usr/lib/ghc-9.8.2/lib/html/Ocean.theme/hslogo-16.png |
| FileSize | 1684 |
| MD5 | CE800224901CA06548BBEC8A4680AB3D |
| SHA-1 | 089B043F5B8D40DB8662A2F858225B2DF83C72D6 |
| SHA-256 | 4DFABB6D94EB537189ECEB4D95C484D17248CE3B45CF23F23971C9136D4AB973 |
| SSDEEP | 48:oCKECxN4pG/K/e+zWgtYR2GiPf77rcVlQQJz2Gp:87Nvi/hqgw2NcVZR |
| TLSH | T1383106D1F2A7AF6DB2D90235346C669C4C3016DF8A6427EC00B68EBC341D6866468513 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-agda-doc/html/ocean.css |
| FileSize | 9306 |
| MD5 | EB6AB86C23BCE45C0E4DDB9B45C44227 |
| SHA-1 | 1C4A7A8B8C8E4DB33BA48CAAAFF9642CE8A893E7 |
| SHA-256 | B8A089B8EF9D2B3805577642B171A7DB8E4D0010D626229295D2219204940364 |
| SSDEEP | 192:5T147ro0D5hI/pk13LLqWBew6B8Xi17NbY7F1fEwy4d:1147ro0Dsxk1fqWBb6B8Xi3y5 |
| TLSH | T1E21243412FE23D04E45FC4A0B953EB50729E40545E4FCC79AE783028EE8A6D5A57339D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ghc-doc/haddock/djinn-lib-0.0.1.2/djinn-lib.haddock |
| FileSize | 10163 |
| MD5 | DA516CE81095431D06BEE2A8662485E3 |
| SHA-1 | 2786540D2D3BDED36E90B1367FD7A8F322BE5C2C |
| SHA-256 | 7DF140522D59F34B6E789BAE832381A3B0112E23DD6670FD740B9D2327E0A621 |
| SSDEEP | 96:bGIm5MpkhkiM0NQFU2Q3FiM0NQO+sbwevb6z2GlsmdLT/aQQpzkPt6dgIQnvXm62:bmu70Nh90Neiv6lsmdLT/VYzkF6s+E8 |
| TLSH | T145223F995BD09D6BED285B7288EB076A3230FB202F97D717E5C020321D5B3D41E67B19 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-HCheck.html |
| FileSize | 2809 |
| MD5 | 03A423BA3B0A10F770DF0E9C3B6DA0D2 |
| SHA-1 | 2C5D8A2111704A63E740DF30A84F0A63974F87A2 |
| SHA-256 | 7FEBC354FF7228853895628125D8D985D0BEF9EB0A39F7EEE8BB941BACCCA667 |
| SSDEEP | 48:Im3KStU4xlXZzA8gqYK4H50imH50PjfniQH50imH50Fh+4H50imH50FRfniXIH:x/X9NgqYK/cPIcP+/cFH |
| TLSH | T11651FD95BBC6FA6D53248EC2E5E47F2E358307D15340D908B8D8449BC786FAC981B39B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/src/Djinn-HTypes.html |
| FileSize | 180129 |
| MD5 | 8581400FDAA6811939FE10C79E882A70 |
| SHA-1 | 2EF08F45739024D5C8955806C9FFC10B27804A71 |
| SHA-256 | 4D36C2EB64430846C82C5F8373E3DB3A95DD57D7F7E86EB0646ECB492223AB68 |
| SSDEEP | 768:WXJ23olUbQY2YgJ5hAy2RN2h4+fYIwnLC/gNdvxIKOu2FxBYFDtdKqlBWUDM0kA0:nNzIQ2FxBYFDv/uUDA |
| TLSH | T1850462D0C6F38A262533D0D365EE6FE3B0A058EDD9860929A6EF93B557FDC14B816C01 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-LJTFormula.html |
| FileSize | 31154 |
| MD5 | B2833C00DB7EAB38685EA7D4A1C41CAB |
| SHA-1 | 31FD0E36235C6B031EE8BEDF4B9D728EAEB74BDA |
| SHA-256 | 15F6D430FB0D71C64CD3D59A09817A77678CFF289061DE9FDEA15C941E8550B1 |
| SSDEEP | 768:SH55Wu//Fwc8em36gOKveu1WXnnHu3GuRH:Qd6H |
| TLSH | T1CBE20C9163E1337E862686CA6ACC377FB1A31DF8C6486A3C75B88857C745FA40067B47 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/index.html |
| FileSize | 1960 |
| MD5 | 3E3CF8E1C706B7C794D5C5C551702D64 |
| SHA-1 | 3E9521288221A187180834C6251E7C82C15F2D2F |
| SHA-256 | 3273B2AE2A2E988951BDA9CDFB6416B34EC90C4B10382EA79AE19F36C9B63EFE |
| SSDEEP | 48:Im3+zAV94xlXZzAHVTzAgWlDrOZTXCTHvWCRSVCR2CRCCtIH:ar/X9qRlW9rUXCTHeV/PXH |
| TLSH | T1164163105A9FD25702BE8EC0F8E5B714A5E7C749C2020D046A9C72EEA7C6F49FE12747 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/index-frames.html |
| FileSize | 1108 |
| MD5 | 6FD125868F0FBDB0BD63F93FD735DE90 |
| SHA-1 | 49AC5F0DC5020BE23EE2CC829564311A89C3BCBE |
| SHA-256 | 1A3E7AE87DB9C1D63E5B7F3AFF26968510ACB59B77161F822F5F2BA1819FA13C |
| SSDEEP | 24:hMNmVpks+VhLDIYW1wgwnkR+VMmCTLOnH71Zza:Im3+zAVkCTqnH71Zm |
| TLSH | T1291181045EAFF65B42499ED4F8E9F7145896C79683068C04A8C832DBEA45FCDDD123CE |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/mini_Djinn-HTypes.html |
| FileSize | 3285 |
| MD5 | F1D73173ED65314CDC025F3B7FDF2A1E |
| SHA-1 | 4B1BFE434141237B2DAB3658354D9834FC991FE6 |
| SHA-256 | 7607DE009ED47EBF9112756110D47C5210BC0C47D5F500274B6EBFA970E10966 |
| SSDEEP | 48:Im3xgTMSSsvHs07B6ZGBZHM07BlBNBZBhBxdNB9BBBjBB4o4B5B9BId6BI/8BHg:MTMSS27D77fnTDbPrVL4o473OsO0S |
| TLSH | T1D161EC6777D9B96B41075DCEF5F1F32D35A34388CA038948B9B80AC79B84F95980634A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/mini_Djinn-HCheck.html |
| FileSize | 947 |
| MD5 | 5231A735A36508DBA7D65E132BCC2FA3 |
| SHA-1 | 62327B26304409EEDE7672DDCC510A83BB277F15 |
| SHA-256 | B5611CA0A5B654C1015F33753590932350B42F422EE08EAEE80F62668C3DF7B3 |
| SSDEEP | 12:hnMEwuiuX4wRpk6Qclf07j+ZgD0IcsJmIOzONJmIO4qJmTR+VPEirTpDn31ByH1p:hMNmVpksMj1wgwnkR+VMiTrB2Bk3a |
| TLSH | T1A411CB5AAD1AE94A53129ED0F0F2FB181497834A83418848E4C801C796C4FCDCC07399 |