| Key | Value |
|---|---|
| FileSize | 381344 |
| MD5 | 58A2A1E487C2B5D4E058C3F6C4C0DAE5 |
| PackageDescription | SAT solver library CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a shared library to link against the CryptoMiniSat library. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-5.8 |
| PackageSection | libs |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 1CE94F121110DF9512F0C1A91716E1D70486E62D |
| SHA-256 | CEFFC9222A62A5715454138398D7000ABD66B2CD16CE2F3CDF939D0AEFE2F32F |
| hashlookup:children-total | 5 |
| hashlookup:trust | 50 |
The searched file hash includes 5 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcryptominisat5-5.11/README.Debian |
| FileSize | 306 |
| MD5 | E70D14F771E195C57101CD9C451D013B |
| SHA-1 | BECCCCD1057A9A4FD0A9269A291BB2731C833BD1 |
| SHA-256 | A0AD2FD74A5F45FC89F73028A8A7BA955EC99372A9D45EFAC84611461FDAE8CC |
| SSDEEP | 6:ZOeMX11jg1yf6TRGdojZyOY3WjNAEHxPRJUTMwYwbMJF2+nn:6gK6TPvXjhZOlirDn |
| TLSH | T1F9E07D136E9932110262EEA9C75B1CC7FF01018606295A282A9AC6340F00AE946BD400 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.s390x.gz |
| FileSize | 225 |
| MD5 | 5595D850E8A68C463B81E51EE76D3C9A |
| SHA-1 | 1E346C29648F5B505E0E4F97BC61E1C3DE99AB96 |
| SHA-256 | 3A90F85CF132218899CB5F24887C9F5ED5DE5EC9B70B56F0E0A75D2B1B81500F |
| SSDEEP | 6:Xtc1CiNiuThr/xRjZPbKsi2W+pWzGFTkKxd/2Bp4rRX5Rn:XS4iHhrpRjN7ZTTRzptX5Rn |
| TLSH | T19DD097081A07AD1A904E7F7010090C2A234C302E2629AC23610EA032430A1041092B6C |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/copyright |
| FileSize | 5927 |
| MD5 | B465BED9AFD3E99415A13348200C0110 |
| SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
| SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
| SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
| TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 678 |
| MD5 | A266B6509219AC3598BBE374924A437B |
| SHA-1 | 8A7693039669C3ADA08F2DA173A5D3676F2B54AA |
| SHA-256 | 5DFDC18EBA52098B716749320AE6A20AEDB285C2FC02623A7EBE713CEC9CADDB |
| SSDEEP | 12:XDdR6ieKnGNqnzz13ctEwQpIptdzRSP245ahgjSq0gDRSHTu+DuqtKtsHjCAm24:XDdR6oMkzMEHpINzRSP24E1qTgTFD/s5 |
| TLSH | T1AA01834480DB12DC86AC2E7D666A165C32CC85AF06A4285FCEEA8ED3845B22C1FE1584 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/s390x-linux-gnu/libcryptominisat5.so.5.8 |
| FileSize | 1152968 |
| MD5 | 1330E5069A41843658F66E4174BCEEBF |
| SHA-1 | 58E5E4134808007766AEA7186D8BC92AB89E7A70 |
| SHA-256 | EF2EFCA1E5A666349DCEA23897A2E76ED8E6A0D5164C013A7192D6F86FC03AB7 |
| SSDEEP | 24576:+VXt6iaT4T/loE84o2tCD5YrncXtARgM7YxiCTC2C4R1JPlmXoHGRiWl3+rrTrOy:+S4CMmCrcBxiCTC2C4R1JPlmXoHGRiWg |
| TLSH | T128353947A574C1E9EAF1BE332727AEF79297357419CA6E1C5D4CDB2314A2268C308933 |