| Key | Value |
|---|---|
| FileSize | 402256 |
| MD5 | EDC9EE15268A2A37F93A0472E41D81BA |
| 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+b1 |
| SHA-1 | E8EED0AB7DD01E2A649A3068F029562A293232C4 |
| SHA-256 | 5C32EF1563BCB160898D716B790DD68B1CEFCD81109AF8D8FF320783F6DA55CD |
| 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 | 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/lib/x86_64-linux-gnu/libcryptominisat5.so.5.7 |
| FileSize | 1054736 |
| MD5 | 0CE4D7DF7BB9595BCA1E5833B5443D42 |
| SHA-1 | 5D9DFCBB4E326E3AE718A73BDB1F0CD0AB73E7A5 |
| SHA-256 | BDBE82BEB10AAE8CD12353A8383DD22FFD225948BC2D9B69F5FEAC25CE2CD6C1 |
| SSDEEP | 24576:+rSRnzI9Dkxz2GIl/yqlpAfjx4oxVDSTB6izglw5RQwa4421kCh2vZTUcBDavrrF:BzIRiz21l/yqgxrxMTgizglw5RQwa44Z |
| TLSH | T1F1256D1AB6A1A4BCC08BC030576FD1B38661F8F552353D7E31C9DB302E67DA1666BB21 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
| FileSize | 224 |
| MD5 | 28A24C0501C8CF1DBEAA64C94DE35D5D |
| SHA-1 | 8856A8848CE2142EE4DE70A630A0E715EABB7E77 |
| SHA-256 | B4342AB96BD6B90E98907517370394BF3D3EC5CCE4B3F160A22D312880904A61 |
| SSDEEP | 6:XtdmVZW/Z26omort5e3F5sbQ6UH3YXHw/WQ:XHiZc9H5sc6UX1f |
| TLSH | T10CD023B83306237DB9FA01328C1F228F041702000183B00484BC2F05BEEC0488B92871 |