Key | Value |
---|---|
FileSize | 78864 |
MD5 | EC3262D7F788969E7F777B30C802EC78 |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libghc-djinn-lib-doc |
PackageSection | doc |
PackageVersion | 0.0.1.3-4build2 |
SHA-1 | E4709B362DD4636FDC8D0132D469AD0171BC56EF |
SHA-256 | 96AF69358AA4351EC24A107FB48D3D47E235213EDBC5AE558970FF8FB77B9D09 |
hashlookup:children-total | 21 |
hashlookup:trust | 50 |
The searched file hash includes 21 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/index.html |
FileSize | 2433 |
MD5 | 5F12C5A23341A892B82730CE124F8EFB |
SHA-1 | 18210D4D580755E5ACBC8D9DD7B8474FA0D94953 |
SHA-256 | 405FEC3BA73AD52CD3C1B55192BF131A5A507D087D85BC20C6A10161E46A9BBD |
SSDEEP | 48:Im3uiaAGZN9+eiZaAO4xliVTaAgWlDrOZTXCTtCTFqWC/SVC/2C/CCwIGd:gtrRgkm/iYlW9rUXCTtCTFBz11kGd |
TLSH | T150415441C69A966B02BE8EC5F8F8A72458E5C749D3120C01669C72FE93C9F45FE22B46 |
Key | Value |
---|---|
FileName | ./usr/lib/ghc-doc/haddock/djinn-lib-0.0.1.3/djinn-lib.haddock |
FileSize | 5850 |
MD5 | C96396BF214C3081CABA5496F7D91A09 |
SHA-1 | 20BD3E8BD0A812E89DD69C9929BC000496462AF1 |
SHA-256 | E02A90921F345415BC71858930B082D15B5D4F330E2A400A6DB04DFBCF3E6D29 |
SSDEEP | 96:IAYg3qXiTU2QznoT0kHGemS2LeWaQQpzb:Ig65EmemS2LeWVYzb |
TLSH | T160C10D994BC0AE5BEC24AB32C8EA07653730FB112F5AD707E5C025261D176C86E7372C |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-HCheck.html |
FileSize | 2821 |
MD5 | 137427E0CCA69935AE9B2D98D4CA4437 |
SHA-1 | 2C992E0A0A76469E01F32C7290D0B4689F9D990B |
SHA-256 | 884E39355DB98745454077F852FE08806320A1675A8A84C53C06F99AF768D893 |
SSDEEP | 48:Im3urZN9+eiZaAOD4xlFgqYK4HU0imHU06fHU0imHU0M+4HU0imHU0KIGd:grRgkm/FgqYKUJ6nJM+UJLGd |
TLSH | T10751F04ABA8AFF6D13548EC5E4D47F2A668347915390A8087CDD29CB8781FBCCC1234E |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/src/Djinn.HTypes.html |
FileSize | 573862 |
MD5 | EC9FED59F5504E2A371310A33DAC1FA9 |
SHA-1 | 42EC6BA60C72E900659D122D1E2B8D8F89604B0C |
SHA-256 | E2974D8A75ACA2F23B1FA6452E78B4059F4D1F912DD3A7F41E8BFA04F726592D |
SSDEEP | 1536:NnPovww20fUmEYt29K69YTmAryEqfbEsTbWkHeeneeeQt4zwAm/4eerW6pbTK1Ty:NnBkuxNkGUn3E+MaIpIXL/f |
TLSH | T1C6C4AF9593F301AA2233C1D7A5EF6BB875E1017EF3862121E7ED4B3E06DDE10B846952 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xmonad-wallpaper-doc/html/linuwial.css |
FileSize | 14265 |
MD5 | 5BDF254B855A606CA9F72F35755992AC |
SHA-1 | 4CE336F23902FED6300B28B937189160C7401F4F |
SHA-256 | FCD9A4CA4FCE4BD406B8C261D710716D90A15A1687236E4AD243153359C75484 |
SSDEEP | 384:qyrHArXvDxt4YDUATFA6xJv6B8nFWfdi3yg:q+2vDv4YDUATFA6xJFWfdSL |
TLSH | T14A52A5416FE23D04B45F8860B693AB14738E80619E4FDC79BAB8301CEF8A2E5D163759 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xmonad-wallpaper-doc/html/haddock-bundle.min.js |
FileSize | 36151 |
MD5 | 3CF92A97813CE594F73407F874FB3062 |
SHA-1 | 697EF555E84E54F4EDBDFF64181EA4CF245656B9 |
SHA-256 | 99C26187CECAA1F4AB45BB961F81AFE77B46216386091027BB40A3BF548639D6 |
SSDEEP | 384:JDhiunaqfI92N71+vLnENPAWtA/BJf5eVupAzWrmB46f3d+8uIqTz3+mQ9XfSgoB:JguNfI9M+vLiPArYWucIm3bQ9PS |
TLSH | T1D5F219E9762034640AE360B5843F290BF33A746DE84D8450B669CCE62DB4D9D236BF7D |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xmonad-wallpaper-doc/html/meta.json |
FileSize | 28 |
MD5 | CC48D2A9CDF1BAB2F4FF0B4303CD7ACE |
SHA-1 | 7430E754B28470B8B0ADD0BC153BA63793141997 |
SHA-256 | 1426C1F6F4B7DDF8805AD874362B74488A7CB8E3764D3082E217626EECEF5363 |
SSDEEP | 3:YNE84AbSPLG+n:YXNuPq+n |
TLSH |
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/share/doc/libghc-djinn-lib-doc/html/src/Djinn.LJTFormula.html |
FileSize | 90506 |
MD5 | 4AF59F7D73C7D3BDC41BD45531C622B6 |
SHA-1 | 7942EBF7413B32AE1D3E4F037A0227E61CDD4763 |
SHA-256 | EF1467982D4194DE49111F9032544C94C56F7BCC90C15C54A0BD260F511818F3 |
SSDEEP | 1536:PqfUal8GeeDeeeeeeea8e8ea0V8kYeeIeeeeeeexeeeFr2MzqqneePeeeeeee0Cx:gc1 |
TLSH | T1A093C191D2F301AA2173D0D765EF67E8B4E1163EF7962624D7AD4B3A07CDE00B852923 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/doc-index.html |
FileSize | 12421 |
MD5 | EC881E8AAA48779D99D61886AF410E06 |
SHA-1 | 8FAA50583D3DF19A8C097FE2B3432D0DB5E4EDA5 |
SHA-256 | 35070ADB3F3B3F2CA0BB7D554815D62A2A98587E5952AD500546ACA8ABABF903 |
SSDEEP | 48:Im3uiaA5ZN9+eiZaAO4xlATADCAtKadhgOUsePNTWy2eEA83HKADKATORA+s/AuX:gtYRgkm/ATBVu0oP+cY9EGCbvnxVEGd |
TLSH | T16B42BF4573EEA67B564E4AD6E9853B99B9D10BB0C37128102CAE7EC7C710EB4CC5134B |