Key | Value |
---|---|
FileSize | 378996 |
MD5 | 2B1A4CF3D447DD50537C09BAC5A932E8 |
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.8 |
PackageSection | libs |
PackageVersion | 5.8.0+dfsg1-1+b3 |
SHA-1 | DF11F776C33432DC542CEF08651671E6CEE87BA8 |
SHA-256 | 8C0525F8A391CB98123C090519EA0DC894934A256B2F2843E49306D0272A0D95 |
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/aarch64-linux-gnu/libcryptominisat5.so.5.8 |
FileSize | 1025992 |
MD5 | 0B363924F94D3C7A0BCA783330C31B57 |
SHA-1 | B2660CA3BC4A1CA711245500B0E4FA6E22FF5728 |
SHA-256 | 2E31585E3355658CCE97E3ED5C4B92D1C2017A2B0692A2B4E929EB7CE7468E5E |
SSDEEP | 24576:HB95l9mF4TYyzoF5Mu7hiOzyuJwM16PYTPoorx6O6iArr7rP277wGa9EwogIEwew:hfl9mMqFSkhiOzyuJwM16PYTPoorx6O3 |
TLSH | T138258DAAF90E3C53DAD7F37CA74863B3751B35E0E35244B2B452160CA1CB9E9DAB0521 |
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 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
FileSize | 678 |
MD5 | A266B6509219AC3598BBE374924A437B |
SHA-1 | 8A7693039669C3ADA08F2DA173A5D3676F2B54AA |
SHA-256 | 5DFDC18EBA52098B716749320AE6A20AEDB285C2FC02623A7EBE713CEC9CADDB |
SSDEEP | 12:XDdR6ieKnGNqnzz13ctEwQpIptdzRSP245ahgjSq0gDRSHTu+DuqtKtsHjCAm24:XDdR6oMkzMEHpINzRSP24E1qTgTFD/s5 |
TLSH | T1AA01834480DB12DC86AC2E7D666A165C32CC85AF06A4285FCEEA8ED3845B22C1FE1584 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.arm64.gz |
FileSize | 224 |
MD5 | 5BB7B41DF9A0F7E282B1C0DF14542705 |
SHA-1 | FDF9DD6328AEEA3C5D5AC00BF6B79738B6439D91 |
SHA-256 | 7F8CE02ACE567351A429B53A23E5947E7A377A80BB994ADD2B2C40FFAAF761D9 |
SSDEEP | 6:XtHtr+Gj2CcwDND03s6oHfXlA9Ud3lUyjETu:XTr+e2cEaHfXyiA6 |
TLSH | T16DD0A797365545E6A483F47461100CEC111CC7034E20E951759DF5456055184EBC59B5 |