Key | Value |
---|---|
FileSize | 365476 |
MD5 | B7D528327C0BD9ADACAC98FF7D28E5A1 |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libcryptominisat5-5.6 |
PackageSection | libs |
PackageVersion | 5.6.4+dfsg.1-1ubuntu1 |
SHA-1 | 4A336E02B9FD829CA564ACEBAB486B4B4DD9684E |
SHA-256 | 48CCCD9AC768ED60A034D896EC2556A062671FEBBFB86F8E27747FA312F8CE9E |
hashlookup:children-total | 4 |
hashlookup:trust | 50 |
The searched file hash includes 4 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/share/doc/libcryptominisat5-5.6/changelog.Debian.gz |
FileSize | 310 |
MD5 | CBB20D1D3729C36C16680D6B6452AE8C |
SHA-1 | 4A6D55D6BD62D66F010CCF43C754C9263F8C0704 |
SHA-256 | C90B7AF0DDE5AB599B7306814EF38B02CA5946D5B21273B65571F90FF22BBEAA |
SSDEEP | 6:XtfGN4Ofk+e+RxunlsTpnOGDQTk+H4afbnpwDFYPexRGDzI9BBWJHe8LIXAGR:XAbf3Wn21n/gk+H9LpMFYmj+I9no+AC |
TLSH | T180E07D6D46929619E83445B3E590725844E9884948D0A05412854C02ADDC26AB8BF6EE |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/libcryptominisat5.so.5.6 |
FileSize | 968720 |
MD5 | D5F0DE1D80936CB74AEF53B3AADF3C1D |
SHA-1 | 7D236AB5AFF0823ECBD4367B764904C10276FCC2 |
SHA-256 | BAD86AA088804A621FD790A8943BEC1FDACADFC61F985C1B1589C2F36DF340A1 |
SSDEEP | 24576:3y1nnCmMvbRPvl6hugSM+CBuMvUcVpn0Yi+RwMgKicat1/44QloO7nkYxbFrrRrt:C1nCmMvbRPv+BSMlBBvhVpn0Yi+RwMg3 |
TLSH | T186255A26F5D1D4BCC087C030425BD6B291B0F8B992353A7E358AD7353E6BDA1276BB21 |