Key | Value |
---|---|
FileSize | 450988 |
MD5 | 2FC915FC837797A4F0E08AE63EBD3363 |
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.4+dfsg1-2+b1 |
SHA-1 | 51DA28E5024E542B912986FFDFC1BE3C15466DA6 |
SHA-256 | 9E1B0CE9AEABF2263381C230359C42618D983AD140918099B4A01618F0DE3493 |
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.arm64.gz |
FileSize | 236 |
MD5 | 1465201EAD37A96C59C508750693875F |
SHA-1 | B71F01FE2484BB1C5789824AF2ABE6D19D3704CE |
SHA-256 | F300EE76976B2CD30B7FBA2934E71B8C920CB03FC93970842C5486A86DD272AA |
SSDEEP | 6:Xtv2zKJusdKW6reshjFH1G/FWXCX92FkxJ1ConatphZsm/:Xh2zydKWHsf4F22tba0m/ |
TLSH | T1D1D0A7398CE66069CA056DA4D711C532B678A414ACD583241915883621ADC60CCB94AF |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
FileSize | 801 |
MD5 | 1546C9198458A9E64283782FD2F5547B |
SHA-1 | B39BFFBB45E032BD392756E37D0128A237D802ED |
SHA-256 | 0DA40F6D4160649CEB00E57802B901CB5432F859851AF8DEC407029D3E274FB6 |
SSDEEP | 24:XPXg5YLwoBT5myElQl7GPOphm4MZnQOcq:XKYLwqTkjQlKSh2nQOcq |
TLSH | T1C5010A36EC2308D6EC48363E630397628C42D28700C6CB71F4A055BBCC122AB042734B |
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/lib/aarch64-linux-gnu/libcryptominisat5.so.5.11 |
FileSize | 1247168 |
MD5 | 4C10E61F74B824A638C156E81DFE6142 |
SHA-1 | 0F02E7B01C7922FFE4DAE5EE40FD05CEA475C11D |
SHA-256 | 7D93C13B2CA9E873666FFC6AFB1FC1EBE4BCFF506E62B159C8558A022C0CFC1E |
SSDEEP | 24576:o29JlLbvJQk1Lu0mRym4LSDzqvihlCmH0oBXPUk7sA9w4MxQZKK7vFrvCCKNbu8G:npxVqzqvihlCmH0oBXPrsA9w4MxQZKKx |
TLSH | T124458E9AF90E3D63D7D3F37CAB49A3A2751B36D0F26640B3A4111649A1C7DADCBB4420 |