Key | Value |
---|---|
FileSize | 43228 |
MD5 | 44050B5B6A3AC65F55A21F14E0ACB205 |
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.2-8build1 |
SHA-1 | 0F12031DCD4CE159CD2525D69F3325CD2B4709AF |
SHA-256 | FC6C0B946C9DD5C25610CB1D17F6E6DECC15F2804FF6B2A747F66C0624772573 |
hashlookup:children-total | 25 |
hashlookup:trust | 50 |
The searched file hash includes 25 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xmonad-doc/html/haddock-util.js |
FileSize | 7574 |
MD5 | 7F2A4AEC77D09A5143B89CF35CC22F26 |
RDS:package_id | 182052 |
SHA-1 | 15D1633EC1792163213B28FAD69A2CFA11D3AF1F |
SHA-256 | EE2F374974E00E016A6EA4A5A5FE781A6AF3E7A35B7645B97031A9E079738A1E |
SSDEEP | 192:Y1oyoN0zjIc1mqaYO1qArmwIFaRZ9RrAL2rzYxNymUKxYCb:YCnugBRRcxNymlxYCb |
TLSH | T1EFF1680979D6243E193B75356B5F912839A9C4038609C950B83CE3A12F60D358AFFEFC |
insert-timestamp | 1679426677.2491274 |
source | RDS.db |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-LJT.html |
FileSize | 2865 |
MD5 | BF757107649A03C89B629624C3654D10 |
SHA-1 | 299C6C36D8560FF9C853F17F8D4F2D473DB38503 |
SHA-256 | 03FF67B4C2D94408597ABD1EC3483E1D88769884672BD6B4DE7B980C46D163D5 |
SSDEEP | 48:Im3eSho4xlXZzA87qmvWAnFQMKE4D7LP7syq0dVtzWsgvp7oyvJIa:N/X9N7qmvWAnFQi4D7LP7A0d2Pp7oKOa |
TLSH | T19A5133B5A399B27F82468AC5E6E07B3EB0E34AE5D5090C1CB1A4098FD785FC09812787 |
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/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/Djinn-HCheck.html |
FileSize | 2809 |
MD5 | 5A0299B80CB15E6653245B784015FCD1 |
SHA-1 | 5E461F3E4A053DB7CCACFF6701A2DE3984A92ED0 |
SHA-256 | B5469B4B8DFC29CE3F61D67E1031FC33FDEF2A3EB1009DC98A4258099CD68EA8 |
SSDEEP | 48:Im3KStU4xlXZzA8gqYK4H50imH50PWfWiQH50imH50Fh+4H50imH50FUfWiXIa:x/X9NgqYK/cPGcP+/cDa |
TLSH | T1E651FD95BBC6FA6D53648EC2E5E47F2E358307D15340D908B8D8448BC786FAC981B39B |
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 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-HTypes.html |
FileSize | 29322 |
MD5 | 94062B54E8667FE5FFC03B60037F2757 |
SHA-1 | 653350891351AFA469CD4CFF60D32B2F48BC69F9 |
SHA-256 | 3EA0624C2E2F939571CF9341EF4F88879B8A845FB046329FFB3172F73F80BD30 |
SSDEEP | 768:okoElMaOadPKty6W+8DfxjwqU7kRn5cWYbmmZkgkaa:I7ha |
TLSH | T1C9D2DC9673C5B67E835696C9E6D03B7FB28316E8C3009A087DB80987C746FBC541A357 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/index.html |
FileSize | 1960 |
MD5 | E6D2FE3C7C118C1BE36D7E0B70AE56F7 |
SHA-1 | 656D1313172F6F6FFC105833D6DDE574669FBE07 |
SHA-256 | 97D4063D1C6D2DF16D946198CD07BE5A193A7C4F19BD7FB0F43BA2935F20AA68 |
SSDEEP | 48:Im3+zAV94xlXZzAHVTzAgWlDrOZTXCTHvWCRSVCR2CRCCtIa:ar/X9qRlW9rUXCTHeV/PXa |
TLSH | T1DA4163105A9FD25702BE8EC0F8E5B714A4E7C749C2020D046A9C72EEA7C6F49FE12747 |
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 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/doc-index.html |
FileSize | 10543 |
MD5 | 6E0F352A5735B78A3744AB385C893523 |
SHA-1 | 85DFAFAC193C07047C24CE42CC1F526ED77A88B4 |
SHA-256 | 7F1D253DBA2076F021C946A34E0389A945E8E16A0823659D3CCDE9212ABC6265 |
SSDEEP | 48:Im3+zAQ94xlXZzAFTAv2Aiy3rINO6swzN6c6eo5RHfADfATO6A+sYAuEAEN0AeOc:aK/X94TXNhQik9g+Q+83bApGanNIva |
TLSH | T17A22608937EAA17B428F46C6E9853F9ABDD24BB0C37119142CAD7EC7D714EB4881134A |