Key | Value |
---|---|
FileSize | 461036 |
MD5 | D370DAEE78D46B903B1AEC6A4CB17D7E |
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 | C87F89AB9F8AB46B4439BD4ED49A6BC8CF9BF5C8 |
SHA-256 | 7912FB7E6A31D689CD68B09391720C4B9EC42107407987FEFDCA9D6561D21A1D |
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/python3-cryptominisat/changelog.Debian.armhf.gz |
FileSize | 237 |
MD5 | 5396EE850ED2EAA34D21B3AB70403736 |
SHA-1 | 91750DA12209F212DA8A570433BCA9721F714E82 |
SHA-256 | 31E9BB052BC7B493E50D17ACB15979943BD7A87CEB7DA30808FF38F4BA832DD1 |
SSDEEP | 6:XtoVWny9rVmyIG5MhU09YnzmK8ZTa5z9hDvOwquikxl:XO/nuG5MWXzD8wz9hDvOwBikxl |
TLSH | T15ED095F2151E6D104B11DF30DF20207C417973B05E03DC59C15A52C9D14155C8550727 |
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/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.11 |
FileSize | 918948 |
MD5 | D9412EF683E3E4C5FEF4F0BD83DE3F9A |
SHA-1 | 2BFF31934DF1C612A8751512197666C4983E11C5 |
SHA-256 | 9A33540600AB7C55179555104850C07B1A4973F0EA74B11B0C5578F94D08E3C6 |
SSDEEP | 24576:0AzmFVkCOeq+Pdm+QQBtT8VBNZkSWdTawix1CmH0YBxPAUb8A4C4MRQC9lbfFrPG:NzmFVkCOoXaPMTawix1CmH0YBxP38A4v |
TLSH | T17D15CFB8D99F1CE3C0E3E23FA056DDF51485909A23628B57DC63897334472B6AB35398 |
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/copyright |
FileSize | 5927 |
MD5 | B465BED9AFD3E99415A13348200C0110 |
SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |