Key | Value |
---|---|
FileSize | 442452 |
MD5 | D6C8FF4CCED39557423BC55E4B8B5013 |
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 | 98118DDB443FBB32D5C133EA688AC7BD0C2AD04A |
SHA-256 | 51D505D7DE83C9B629A2D554F2AAA5D0D498CD2FDFD7552B7664D8C9CD60B134 |
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/arm-linux-gnueabi/libcryptominisat5.so.5.11 |
FileSize | 1246620 |
MD5 | 1DE9E65ACB1712531FFA825A64D0A35E |
SHA-1 | DB8E85F42C654F640E94957D3BD101CACC6E00EB |
SHA-256 | A86C6B11D2F87A3691B609AEEBCD908838ED233EB0A176B81BB465D5DA8521F3 |
SSDEEP | 24576:qHsWf+b+NMnZdNSeahEgqQGf5odbot3U9Tawix1CmH0YBxPAUb8A4C4MRQC9lbfe:vKMnZvWhEgqxfIsU9Tawix1CmH0YBxPC |
TLSH | T16E454B9AEC409BB5CAC13976F14D8298731307BED2D7B11789360B3477DB4AB067B286 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armel.gz |
FileSize | 233 |
MD5 | FF04C429FCC291550E477AC0DFBE3E4E |
SHA-1 | 90211B01A74928142C9247DE9BF7E6667C996EE0 |
SHA-256 | 4D9FDDEA31D9642D87481BD0AB6372649F6C4AE327BAC2476F9D66144A0B5476 |
SSDEEP | 3:Fttj2zTwTB6cTWmqDh0cdziqc+2OPYR4vx6RYwcsmY5USMM03dmcZGeKhNTI5Dh/:XtjeTwTBVT00siqT2uw4kR2sLUSMfHll |
TLSH | T1E3D095F4104B42508884A7FC1D09081639F4C113BBB1D50502D5A74714D052137577C7 |
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 |