Key | Value |
---|---|
FileSize | 78960 |
MD5 | E65D07DC1A0828592144F7D14114C2A8 |
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-4build1 |
SHA-1 | 44D97BF4CBC84657313F3C404F4D1520990327D8 |
SHA-256 | 975299FC00E90FB78682EF782EA8BEDC5E8DA4006045569180899059DA499A7E |
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/Djinn-LJTFormula.html |
FileSize | 28155 |
MD5 | 97AA577645ACF070F885ACE21CDFB1ED |
SHA-1 | 051D7822882456104167C7D0454618171DAAB4B1 |
SHA-256 | D3DA69738BB694F73DE392A37372BF4C098AA836747C0EC6B53718280F3A9DA2 |
SSDEEP | 768:xIML1SMpFYENOL0RDZVQG64GQD1WwYGHUs:zT+s |
TLSH | T1D8C29C81A3E8377E856982C759CC776AF4721FF4C6852C3C3564A897DB40FA09861B8B |
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/index.html |
FileSize | 2542 |
MD5 | D43CE69DB4AEA1AD51B3C24D1EAA112C |
SHA-1 | 2277F394F763694168F6F50C92F7CB1CC67088EB |
SHA-256 | 32EB26C63C5454C19F68634F7C2031B51023022CE2CB21F269EC18891AA21142 |
SSDEEP | 48:Im3uiaAGZ9ZIvF9+eiZaAO4xliVTaAgWlDrOZTXCTtCTFqWC/SVC/2C/CCwIGd:gtrrADgkm/iYlW9rUXCTtCTFBz11kGd |
TLSH | T16B518541869ED66B02BD8EC5F8F8A72498D6C749D3110C01669C72FE93C9F54FE22B46 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-HCheck.html |
FileSize | 2930 |
MD5 | EB24F53876CE9B5828513D77D15EE87D |
SHA-1 | 26CF1E25AC5BC3BDA88F0231DC2EC06B92438FF5 |
SHA-256 | 0A577DBEFBC78BEFB54B20ABCB6629741CA7A609AD46424974B57C6739372F9A |
SSDEEP | 48:Im3urZ9ZIvF9+eiZaAOD4xlFgqYK4HU0imHU06fHU0imHU0M+4HU0imHU0KIGd:grrADgkm/FgqYKUJ6nJM+UJLGd |
TLSH | T18751F14AB68AFF6D13548EC2E4D47F2AA58347955390A8087CE919CB8785FBCCC1634E |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/src/Djinn.HTypes.html |
FileSize | 573862 |
MD5 | DC288C854E58C95961AE9F977986B03C |
SHA-1 | 2860341DA458AAC54CE7A8863F8C0FD293D1B1C0 |
SHA-256 | BD60C8D4BF2A7EE71DA160317426562CDAFCB5B312E4EF1853D0F61DEBC3D661 |
SSDEEP | 1536:NnPovww20fUmEYt29K69YTmAryEqfbEsTbWk9eeSeeeQt4zwAm/aeerW6pbPlVTx:NnX8u+zhoIQhzUuP7oI3rEk |
TLSH | T1BFC4AF9593F301AA2233C1D7A5EF6BB875E1017EF3862121E7ED4B3E06DDE10B846952 |
Key | Value |
---|---|
FileName | ./usr/share/doc/ghc-8.10.7/html/libraries/zstd-0.1.3.0/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-djinn-lib-doc/html/src/Djinn.LJT.html |
FileSize | 386833 |
MD5 | F27B26A87177067AB579E8678C195CC1 |
SHA-1 | 5AE5B1E35E9D48DF53E7A9EAFAB7ABD65633B68C |
SHA-256 | 2258317793BB39C0854A917374A970F459CF9F49E27003748BAF3E8926C60643 |
SSDEEP | 1536:TytqHDVlBGg1mdJxTqKONLeeadRRyVDQT2K5iDhE2XBmc8JaBWxLQlmTuBce7y9r:g73RuwV5 |
TLSH | T12484EE9593F301AA2233D1C765EF2BB875E2017EF7862524E7ED4B3A47DDE01B846812 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-HTypes.html |
FileSize | 26323 |
MD5 | 9ED4D579DFE9111E290B22CAE83B131C |
SHA-1 | 5C9D93966A3CCD14FC2596500769624B7075A7D5 |
SHA-256 | E74EFAB717018292CEA46C79B7514A5F7625C8B6D97F3A19C9D715C5A0B723AE |
SSDEEP | 768:O/wr+fVytqU1DSaeamg5647l6eXJeKTK8a22LkBkns:Msgs |
TLSH | T10DC29E9AB3D87B7E474A96D6D5D07B6BB28313A4C34068083CB82DD78741FB8EC5534A |
Key | Value |
---|---|
FileName | ./usr/share/doc/ghc-8.10.7/html/libraries/zstd-0.1.3.0/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 |