Key | Value |
---|---|
FileSize | 370448 |
MD5 | B8C8B2651D24504116CDEA1D08E63BF9 |
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.6 |
PackageSection | libs |
PackageVersion | 5.6.4+dfsg.1-1+b1 |
SHA-1 | D77D6E0E830923E7B0B3BB53A0386CB3FF467D58 |
SHA-256 | EFAC5B344992B24B8E460C6F92E34096FCE3DA40574CE11169BFEEC74BD2E0C5 |
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/copyright |
FileSize | 5949 |
MD5 | 2678177C4A1AFC2989EE39D23463FC5C |
SHA-1 | D73279F88920FABD1F6B10C34323E118E8E14494 |
SHA-256 | 0A6AEC5AD7C49212B8FDC1888A2CBFAF31AE18AE8D79AEBBE832AFAFED218096 |
SSDEEP | 96:7spA9SYmpHQHFo6g0URHRmuSzbus5BeOFQH+J8:4pA9+QHFwRHRmu/sDeOFQH+J8 |
TLSH | T1F9C1A5683E408332085003936839D595F37B3257B665F988BE9CE14A5F17A9C9BFBC74 |
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/x86_64-linux-gnu/libcryptominisat5.so.5.6 |
FileSize | 1009680 |
MD5 | 39C021DA9EA0DA3A13E8EEFF37D08557 |
SHA-1 | 1716140CF3F82852999CF180A65197474361D010 |
SHA-256 | 24796F36C5054D7AA6F3CD9A32953502D7BFD79C73C32FBED0C659CB3D85C116 |
SSDEEP | 24576:anCCKU24xH2x+ZPcolkAD1GHO0edYi+RwMgKiRat1/44Elo37nhYtbhrrRrNnE0p:MCBU24xq+Z0oHD1Gu0edYi+RwMgKiRaO |
TLSH | T13F255B2AF591D8BCC087C030425BD1B2A1B0F8F997352D7E3589AB363D57DA15B2BB21 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
FileSize | 234 |
MD5 | 26954A883162BE88B1A4D8E77D369599 |
SHA-1 | BE672F8A0B2B96FC8876A94CE911A71F3BAEC69C |
SHA-256 | ED5ACD5C90B8CC72639D924127687D93BDF48575872D9618CBB52DD57691F186 |
SSDEEP | 6:XtFPr1SuTVKpQ+p0++B2OqhL9KlX0qLXGmsGN5/n:XnrzVKKB2XuLXRB5/n |
TLSH | T17FD097C2390CBA3A4C050370D48790407008A02015CED5460EAAB078582E02289B912A |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
FileSize | 218 |
MD5 | 7177D89FF0463D4F4C13ED82CBB031CD |
SHA-1 | 8EF9FD5899FADE5FC0353EC85479DE0720532806 |
SHA-256 | 0CA101D81E56BFACFFEF4B60DCC87EBF077AF6D37B569F024BB92D4F816B5FCE |
SSDEEP | 3:FttHtpbq5dQS6dPzr7NmEV1NGAPQpVEGtZw2xueTHs66fNLDHIpQQzvX/n:Xtfq5dQp7sAIntNRTMRfpyzvX/n |
TLSH | T1EDD022CFB5ABFE37B64236B4C8660A04EC164115D268C03CE0123363F8CD8D93A80708 |