| Key | Value |
|---|---|
| FileSize | 502056 |
| MD5 | 1BF9B9FB74F1BF9FF219145168D12BBC |
| 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.11 |
| PackageSection | libs |
| PackageVersion | 5.11.4+dfsg1-2+b1 |
| SHA-1 | 02823D514D4B0BFCF7D8A1683BC73AFB839A2B5E |
| SHA-256 | 0B42CD0874346F85A537C676A30517324D4911A7CA408E2CE503299305FD56BD |
| 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.gz |
| FileSize | 801 |
| MD5 | 1546C9198458A9E64283782FD2F5547B |
| SHA-1 | B39BFFBB45E032BD392756E37D0128A237D802ED |
| SHA-256 | 0DA40F6D4160649CEB00E57802B901CB5432F859851AF8DEC407029D3E274FB6 |
| SSDEEP | 24:XPXg5YLwoBT5myElQl7GPOphm4MZnQOcq:XKYLwqTkjQlKSh2nQOcq |
| TLSH | T1C5010A36EC2308D6EC48363E630397628C42D28700C6CB71F4A055BBCC122AB042734B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
| FileSize | 247 |
| MD5 | 861F996C47ABA422F29F8C4D05F8F604 |
| SHA-1 | A52484A16261BA365B9E325838B24E811CD31B82 |
| SHA-256 | EA57D813A4825A92C89C938D655735FA7A4905866B534AF5B8EF21A37D1EC018 |
| SSDEEP | 6:XtZqiLMV7HRaJa9xsiLfUh+zZu3s0VJaKVFZ39n3oeJlwJNg2G/:XjkNa6xDLsh+zVsJH7ZqyqDg9 |
| TLSH | T1C1D09719DDF22862C868022B00C0402DBD2789B28F0B3A070998A178A211250CF00A35 |
| 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/lib/x86_64-linux-gnu/libcryptominisat5.so.5.11 |
| FileSize | 1300488 |
| MD5 | 6728A0FF683FB1BE1DC23D6109E1C802 |
| SHA-1 | A0DD7E6C623E8F249553AAF7840B53EF4A0D2DB8 |
| SHA-256 | 8882FC400498A8137E4C9D95F1FEAD3BCD2A78E50E76C399DE287638EAE17A59 |
| SSDEEP | 24576:eqCyMvW56jQ4XnDUo7t5rdz+crdoawmHW+M76PKVxFREavVydiXszmHBRBvP8As6:PCm6jQ4XftBdfuawm2+M76PKVTREavV5 |
| TLSH | T186557D1BB5A1A4BCC09BC034578FD2B28171B4F912353DBF3189EA712E67CB15B5B622 |