Key | Value |
---|---|
FileSize | 379048 |
MD5 | F8106B0D85FC7D387B0FABD6E7F6D2F3 |
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+b2 |
SHA-1 | AA7FF5596C0A0BE9E19AA67A1BFF1F6B978D6E2D |
SHA-256 | CE24E99AFB8206A56A1F89C5829DA74A5A891BB0AA224663920FFC4FC0BF6930 |
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 | 228 |
MD5 | B36892C6BCDCB110751B949685095AC9 |
SHA-1 | 20807A33F1FA685F3D37859F6F486E230A6536A8 |
SHA-256 | AB8FF0746C9838A8F9BF7F63EB046D72304D4918B357B93AEAF10E60C001F8B1 |
SSDEEP | 3:FttvGEFDenGCGTrYo0c+b4kHpC+Tnu7TTJzEjvt5Zr7sJdAn+vQlCYvwiEk9:XtvvFDenaTZ0VbxJC04T9i/GdDolCiRl |
TLSH | T145D02348204B4854FD5D033C10F4019F80D071373402D11C400B9CE9238C0C371F0540 |
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.8 |
FileSize | 1025992 |
MD5 | A5D4E2B5C763676FF7097BB3188C27EE |
SHA-1 | 5999EA22233AC8A6E5599C0DE64494F3D909ABDE |
SHA-256 | 4DBBE4AD5B129B01886DF3CF352D40E1E0D16171DCA9456816F46E0E20057775 |
SSDEEP | 24576:hZ95l9mF4TYyzoF5MuyliWzyuSw916PHwPoojx6J6inrr7rET77zHy9HTogItweD:Hfl9mMqFSlliWzyuSw916PHwPoojx6Jc |
TLSH | T15E258DAAF90E3C53DAD7F37CA74863B3751B35E0E35244B2B452060CA1CB9E9DAB4521 |
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 |