Key | Value |
---|---|
FileSize | 379428 |
MD5 | 62D6ED2B6A0C8859B8B56AA4CF020C61 |
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.7 |
PackageSection | libs |
PackageVersion | 5.7.1+dfsg1-1+b2 |
SHA-1 | 5288F648EB3586E32D388628B4A0FD0665C4F533 |
SHA-256 | 7683570EFB7E137A4A89B2B7C09E00A3E1183BE4CBB4F9E79E3ED32AB014D43A |
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/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.7 |
FileSize | 734628 |
MD5 | E5485F429781303529757F1854A03B45 |
SHA-1 | EBDEF259D12F46328FE65D9FFFACCACACDFD7CEB |
SHA-256 | 7D77EFA6F0B5D1AC72E82A4609F5037B54B8AAAD902E0E483FF402CB4EE536AC |
SSDEEP | 12288:zSL3wTdccCV3npAow+hNHzOaV/VSagCME/ing6KWNgwq44W1QLh/K7RjetfDDrrT:zSzw2c0ZjTHzrz3ing6KWNgwq44W1QLa |
TLSH | T1D1F4C0A8D98E1DB7C0E3E33FF07AE8F054D1E19B37A14B87D822452234565B663B47A4 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
FileSize | 599 |
MD5 | 2F501694BDFC0FE97563BECC83CF587C |
SHA-1 | 50AF60EA49F6B3267026C9B93FB4A4DD27247EEC |
SHA-256 | 779F5D2F2F433D5CEC30FD8B44BDF3BD214C4EDF39E5FEA3AA517FF892DC457C |
SSDEEP | 12:XvbpYjexOQzHhPk1UGrRsac2TloDGA6aM/VRhRiw4+YqT5LhRGi7tRt4Q:XvbSe3BPkUORMUoDGBayJ4hqTBhwgt4Q |
TLSH | T145F047546621BE1269CD09B39D22AFBCD1B691DCCD11C517041F43DF9BF6668DA2C006 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/copyright |
FileSize | 6084 |
MD5 | D52F194ADE4BF736E9DE7FB919995FFB |
SHA-1 | D162F6EA3D4D4D0E7D93C94FD7617C6EF956E6D3 |
SHA-256 | A9CA9F2A763FDB0B85B958A82957B9C7EF3966E8963D63BFBD389A0ED0DA74E0 |
SSDEEP | 96:RspA9Sig0URHtRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9GRHCsDeOFQH+JEQHFumu9 |
TLSH | T168C1B5683E408332089003D36839D595F27B3257B665F988BE9CE2495F17A9C57FBC34 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armhf.gz |
FileSize | 224 |
MD5 | 5D34DF713D0A7F89A9DC969A97BEE912 |
SHA-1 | 9D5E89825B2A977D87AB0C3BD0435561DBC9AEA2 |
SHA-256 | 401F6E14489E0FA4FED5023021DAD519364B0D9198778BD7E2F5FF813020D487 |
SSDEEP | 3:FttLK2E4Re3xK3DSnWGLjwgwg5aW7pDO5c9yGanNu0gbYR6YZ447zlGrVZihlBn:XtLKhcWK3Y0g3xjanQUR6YZ1Pyshrn |
TLSH | T13CD023D5900F6473D2D17C7A1E8D749AD8FCC14D32C634236B74CCC8C4ABA409A85C89 |