| Key | Value |
|---|---|
| MD5 | 46F2A71A51F1375B82D9714646F98E06 |
| PackageArch | x86_64 |
| PackageDescription | Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | ghc-djinn-lib |
| PackageRelease | lp150.1.8 |
| PackageVersion | 0.0.1.2 |
| SHA-1 | DB9FE1289D33C3223088156725E655FA9D1402B4 |
| SHA-256 | D6C9CC9DDFAB9C9293CC104841A22E0086A81AD3A75C9213714F510D59272C77 |
| hashlookup:children-total | 2 |
| hashlookup:trust | 50 |
The searched file hash includes 2 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/ghc-8.0.2/djinn-lib-0.0.1.2-4AmYn3IUBZ15IuinyTpUzc/libHSdjinn-lib-0.0.1.2-4AmYn3IUBZ15IuinyTpUzc-ghc8.0.2.so |
| FileSize | 478424 |
| MD5 | 0D029ABCD2984A157E94A54F40D7407B |
| SHA-1 | 482562ADD3DC64DACA75A2D2A89DED0B5F8F6654 |
| SHA-256 | 4C9BEDA2E6F2F82237C7B1C4CED188D65EE4CD025FE1AFB6CE566CB37D32A1EA |
| SSDEEP | 6144:8qGGRg+FuTkQEwcbf4Eh1jyFk7wikfM4Tr:HRyExbfpPyFk7wii |
| TLSH | T180A474287B4184DEDD3E82384AAA1FF53690A499074A363B1778D5F02E9B2441F7E7F1 |
| Key | Value |
|---|---|
| FileName | usr/share/licenses/haskell-djinn-lib/LICENSE |
| FileSize | 1614 |
| MD5 | 07A42FF0594334690D46D4EE8086EFDB |
| SHA-1 | 108EC92DE92346D33D48754EBD9347F31185B8C4 |
| SHA-256 | 9716725742FCFBBD5A76104E0FA796CB63CD663A5DBCD4613A5C8983D0305BC8 |
| SSDEEP | 48:BrSVXOorYJKrYJrPJHF432s432sZEt01BtG/gKHQV:XorYJKrYJFC3M31B+h6 |
| TLSH | T1AD31A38716804BB319E656827A1BABC4B09DA03C3F275E051CBEF358672B53CE4BA401 |
| tar:gname | root |
| tar:uname | root |