Key | Value |
---|---|
FileSize | 416028 |
MD5 | CF36B82373EB876B91BDF60D0112576E |
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 | F2AA886B4ACAF78460452CDFA7AB17DA5669C80E |
SHA-256 | FD51492C1BCCB22836B4854D7795E3EBD831AD493EDA1ECE3E2E59982A7CC6CB |
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.amd64.gz |
FileSize | 239 |
MD5 | 5E6EF2DBF450947DFAB6FEA44907265D |
SHA-1 | 65CBE83D9664B370813A747CB4A89E8EE0FBDCCF |
SHA-256 | 36E589898A6928E0A7EAB72BCAA763F9B723DAB8586F0CCF8F3A9C0779BA04B9 |
SSDEEP | 3:Fttdng1E3YsPGQDHB9M/jltMVzQQlDAKhCu1Gete396W5R+Klkh30U7n6Sys5/2h:XtRYMqVu1GeO9z59438yLOZn |
TLSH | T1ACD0970E0424A4ADC52038BB642B8509426A3E8CA5AE2740DDBEDB58849FD8B09F200D |
Key | Value |
---|---|
FileName | ./usr/lib/x86_64-linux-gnu/libcryptominisat5.so.5.8 |
FileSize | 1095696 |
MD5 | 4FC46DE12566E5439027DC59713F2F94 |
SHA-1 | 42931C83BA5CFF90202C4475755839D7103A8523 |
SHA-256 | 486F63C2CF60313020B976AD856B94051C104EEAC50DB6E13BEE0B26D8FAE0E5 |
SSDEEP | 24576:IVzmIVhw7ZQBjh5/MwpWu+KDlwK0k9KW7w6HxZdiNVylYw91KP+9KoqHkBbl5trc:IpnVhw7ZQBjhdMwpX+8lwK0oK0hxZdis |
TLSH | T14F357D1AB5A1A4BCC09BC030576FC1B395A1B8F452393D7E31C9DB312E67CA1576BB22 |
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 |