Key | Value |
---|---|
FileSize | 443804 |
MD5 | AE32C26ADE540099F6236B268DEEE103 |
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 | 313B406B3996B927086746E58E08AFFB03E82ED7 |
SHA-256 | 4ECB5163535F54089C5B4232F0B77B251D4C027CFB4AB85DC4ACA8445FCCA226 |
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.armel.gz |
FileSize | 217 |
MD5 | CD0F66627491FA4429EA96A66A1E2479 |
SHA-1 | 793D349A4FE51FE8885BDEF4EC7FA60BC8E11DEB |
SHA-256 | F3EDAEE8AE5880CCB6D7EC0AEF3CFF07AED2C6532DA17F55B41F073AD6F036BD |
SSDEEP | 3:Ftt1BJLzN9RM0H8dGOCfAqfdfju2Bux892mzeOlUpAT/KLbg4AHi8yVLdhnz+74B:XtnJmLrSF93rEqf3/Kdxz4sqtw |
TLSH | T1D8D0A74A7D92EE25C2141870AD87839709572916895258393044DC50CDD9220B5D32A8 |
Key | Value |
---|---|
FileName | ./usr/lib/arm-linux-gnueabi/libcryptominisat5.so.5.11 |
FileSize | 1246620 |
MD5 | 18256DB58B10DFA0D8BBFE5ED73B74FB |
SHA-1 | EA71FFB8E8137C42152D020ACEEC701155AECD7B |
SHA-256 | F3D5E765F88BF71C2DACE4280D3E8E3D584EBBC543D06E327CBE8721A818546D |
SSDEEP | 24576:rhDqDpTZVMIVlMIHSknXPJ+N4Vg5ZLTawix1CmH0YBxPAUb8A4C4MRQC9lbfFrPs:FqVMIV/HJXqZLLTawix1CmH0YBxP38AM |
TLSH | T1DE454B9AEC405BB5C6D1397AF14D8298731307BED2D7B116C8360B3877DB4AB067B286 |
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/share/doc/python3-cryptominisat/copyright |
FileSize | 5927 |
MD5 | B465BED9AFD3E99415A13348200C0110 |
SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |