Key | Value |
---|---|
FileSize | 42198 |
MD5 | 6D195723135A2F0078E340820AEDE7D9 |
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-6 |
SHA-1 | 138921BF45108955BBDD863B7A6748E5EE96D8B1 |
SHA-256 | DA562BB52B93CC74A188971A62CCD7C3F1825F390288B81CDAF9318ADAF72FE6 |
hashlookup:children-total | 27 |
hashlookup:trust | 50 |
The searched file hash includes 27 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/Djinn-HCheck.html |
FileSize | 2624 |
MD5 | 814F3E2A7331CFC22CE10E180FA961A0 |
SHA-1 | 0231A1768DADBCC327A2142B08F5625106F2A635 |
SHA-256 | 8B66941434B922F237CBCA1A6E4B64C61F4E2C9E816D2B1DE8F57A611206B6D5 |
SSDEEP | 48:Im3KctU4xlXZzA8gqYA4H50imH50PUfgiQH50imH50Fks4H50imH50FufgihI9:b/X9NgqYA/cPScSs/cZ9 |
TLSH | T1B451DC96B7C6FA6D53648EC6D5D47B2D358307D553409808788C09CBC786FACD81739B |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-yi-doc/html/ocean.css |
FileSize | 9028 |
MD5 | 65A0A584AD793512DF537FF353F931FC |
RDS:package_id | 184818 |
SHA-1 | 056FB4DD71B7F8C59DC67D3DF6123129BC7D3FCE |
SHA-256 | 17DD5EC9415480894ACF8F7F71C06ED42CAD14EAAB3E1538103B277D2D7E3FE2 |
SSDEEP | 192:rT147roVIRpk13LLqWBew6B82i17NbY7F1fEwy4d:n147roeTk1fqWBb6B82i3y5 |
TLSH | T1EF1252412FE23D04E05FC4E1B953EB50739E40A05E4FCC39AE783168EE8A6A5A57339D |
insert-timestamp | 1648771043.9802096 |
source | RDS_2022.03.1_legacy.db |
tar:gname | bin |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/mini_Djinn-HCheck.html |
FileSize | 853 |
MD5 | E21EC3D79271F0546532F391BEB470AE |
SHA-1 | 0EA7FC0D137F85600ADAD5084A27CCB87249F5BD |
SHA-256 | A89427C0DEB66D6A9FA2EC2480AC66B3750FE2331D9F684075210DABA4288E73 |
SSDEEP | 12:hnMEwuiuX4wRpk6Qclf07j+ZgD0IcsJmIO4qJmTR+VPEirTpDn31ByH1BkAH7oa:hMNmVpksMj1wnkR+VMiTrB2Bk3a |
TLSH | T1C201EF6AA926E44A63529ED4F0F1FF1914A3834BC7418848E5D811C787C5F8ECD173D9 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/index-frames.html |
FileSize | 1014 |
MD5 | 7EEE0444A54A8858463CE62BE8FCC9A9 |
SHA-1 | 19F438D221769A6EB3E6839D90C5DF03B258AE0A |
SHA-256 | D40C6413C30CDE34F5CF20EAE96FAEB790E3A638A6A7FF9AE317C01AC1A191B4 |
SSDEEP | 24:hMNmVpks+VhLDIYW1wnkR+VMmCTLOnH71Zza:Im3+zAV6CTqnH71Zm |
TLSH | T17711AF0457AEF69B025D9ED4FCE9F7145896879A83034C04ADC832DBAA45F8ADD123CF |
Key | Value |
---|---|
FileName | ./usr/lib/ghc-doc/haddock/djinn-lib-0.0.1.2/djinn-lib.haddock |
FileSize | 9021 |
MD5 | 7CA3F10ECFE456560E5BC9024010E4AD |
SHA-1 | 22C32C737939FAA8967F316EC870068C923E0E32 |
SHA-256 | 0558BD4E04C50D95C7DD068BCEA078C3C5E86B3482E2D289749C853918142EB5 |
SSDEEP | 96:uGSiQWF2y+DMCQDQHiVWgSYpBsUFGGPQQqsmPPt6dgIQnLAXmpgg8:wWeWSi7PsUcGo7smPF6sL/D8 |
TLSH | T1F71292985BD09D2BDE144F7288DB0B263730E7206F93EB1BD1C460751D4B3D51E6AB68 |
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-yi-doc/html/hslogo-16.png |
FileSize | 652 |
MD5 | 38AEFA9D355B32EA04FB36ADC451B61D |
RDS:package_id | 184818 |
SHA-1 | 2F823AB44600A0BA73ABA59FBA3E505497CF4119 |
SHA-256 | DAD3804EE7DCC83233ECFCE2A54B72B1B2F734EB3F3E48A60B771F114CC34247 |
SSDEEP | 12:6v/7QhnLc1I/ARYjuCoq03U0hH0fEdGdcYJQBDt/gOJuJa8opDKDRPgOjH7:3nLcGaYSN93UYHndbYe5qHimDxjH7 |
TLSH | T160F0839513D7BBD694DE6E0417E01FB21EB2783D9339B5248320F55439C128428200E7 |
insert-timestamp | 1648771043.8176591 |
source | RDS_2022.03.1_legacy.db |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/mini_Djinn-HTypes.html |
FileSize | 3191 |
MD5 | 74014FE1D976376CF42CED3132496BEC |
SHA-1 | 4B40891D3BA3F2C5F4C6918CA5BCF0BA5D5D4743 |
SHA-256 | DCF8D68F1BA2EDF9D0529EC337339FF09E3FA2A033A0B10F5E1DF9D0A755D081 |
SSDEEP | 48:Im3xeTMSSsvHs07B6ZGBZHM07BlBNBZBhBxdNB9BBBjBB4o4B5B9BId6BI/8BHg:qTMSS27D77fnTDbPrVL4o473OsO0S |
TLSH | T1A561FC6773E9B96B41175DCEF5F1F32A31A34388CA034948B9B80AC78B84F95980634A |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/html/mini_Djinn-LJTFormula.html |
FileSize | 2061 |
MD5 | DDEBC57E7B6BA65A7A115B18FBB17141 |
SHA-1 | 66EC7068A185585373A05335D552F133CEC71B51 |
SHA-256 | 1D7ABFAAB9836BC3312522397894B9D82A4A41E6B113C74E78051CCE67C3BBB7 |
SSDEEP | 24:hMNmVpksW1wnkR+VMiTHEkf7EGPBwBHBQ7BbqB9EBsJEmEXmBuVBAa:Im3WeTHzf7NPBwBHBcBWBmBWzqmBSBl |
TLSH | T169415E67A3E9B52780174DCEB5F9F32D30B346A9CD024968B2A40BC7DB84F81481378B |
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 |