Key | Value |
---|---|
FileSize | 451460 |
MD5 | F451DECF97932C9903363EA2E61DCAAE |
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.2+dfsg1-1+b1 |
SHA-1 | 3A97D99D6F60FDDB7FD4AF7F226C348D9A675640 |
SHA-256 | D80AE4E6B1E6A457506BC25F91CCB7F7651FE744FFD92F92121B18D9B97D4BFE |
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.arm64.gz |
FileSize | 222 |
MD5 | A53E276CF6C5605EF238E3069F83A504 |
SHA-1 | E1660DA1FD774FE8C025F2ECF4A21220E16C6F2A |
SHA-256 | 1A6DB41F301017BAA3D91F80B054D9A25328CFC8979358B6938CEB7F2A801E74 |
SSDEEP | 6:XtWmZvsDfU8e8pozgEhQm+GidT811qTfx4hU9cke6KmfN86IjNMctL:XAmK/ozgaMGUiU9ck1K62V |
TLSH | T186D023B1045FD13AC7D8DDB4F7013C49331F21334454B821150D033313402B01C5C68D |
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 | 818 |
MD5 | D9DE8B527ED2C6DC93060C05C2EFCE8B |
SHA-1 | 765069C270A35AD07AB3B2303C71E15206E64C72 |
SHA-256 | A7035E235857D2BE1C7CBD8B986064180125D5F217F668B95B7112B7AF3751AD |
SSDEEP | 12:XP06xVRfmlYN3RFfeuiE1sYSabXQGQuLua1iG3NnWCq6RTbZIyyKQOAuPkfYqP:Xs6xKiR4uiy3bgleDdnFz/ZIyyKQOGYC |
TLSH | T1F001526EBB8EB994A02960AF55858600F95B23482088AACA1951334A38BA319241420D |
Key | Value |
---|---|
FileName | ./usr/lib/aarch64-linux-gnu/libcryptominisat5.so.5.11 |
FileSize | 1247168 |
MD5 | 2CD2B2D7C826D1B13A55C61E2B427990 |
SHA-1 | 82F4C10D19C56DC4079D7E5F09660417ED33FAEE |
SHA-256 | 5BC364A9607187F88D521F604ABADAE4E3249FF58137208537AFC733B0421ADD |
SSDEEP | 24576:eD4JUEVKE2Pr4ckoIfhAqznDcnWQiILMzqvihlCmH0oBXPUk7sA9w4MxQZKK7vFJ:0TAqI0KvzqvihlCmH0oBXPrsA9w4MxQg |
TLSH | T113458E9AF91E3C63E7D3F37C9B58A3A3755B3590F26244B374111608A5CBAADCBB0421 |
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 |