| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/streambuffer.h |
| FileSize | 6123 |
| MD5 | 84D9C9DC56F4C001FAD94073C580E9FB |
| SHA-1 | 4219712D6BB14F07A8BBDEA4A4CB2DD28168854A |
| SHA-256 | 2B4C4F5FD988C4ECDD2020B373B8EE5070B9E54E95E4BC829C3BBB058D97A116 |
| SSDEEP | 96:oPIQHxo4HvyfASnA6AY3rVqi5uGfgJMhN4xTSAFEge3Ax1lxdhF96UAY4zc:5QHxDHvyPzbMic5JMD4wAFEFAx1lxdHJ |
| TLSH | T147C1850978FB1CB0661791795FAB80C16414A86326EDCED4F92DB110BF0D430DAFABB8 |
| hashlookup:parent-total | 5 |
| hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 15784 |
| MD5 | 927406FD45C4505613746E1C08D40307 |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | 8062C1E5845BA49B5D25544D07A6F0FAD376DCCB |
| SHA-256 | 67EFBFAC4B5C34719790AD0AED92F34B7DE5F0D067C83659E81F162A0E93C493 |
| Key | Value |
|---|---|
| FileSize | 15788 |
| MD5 | C7D657735A7B813CE45D4AF30B51AC0F |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | C8EF6FA5711CB410B75501F6E573E129BC677BA0 |
| SHA-256 | 42823BED089D3D3FF4C31A05BCBFF708056AD453C52D1D67D51B2C7E5F14B87B |
| Key | Value |
|---|---|
| FileSize | 15804 |
| MD5 | D6015026ADEEB0DC24FB95DD2C8EC38A |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | C815A7E4622C7AA938586116BC65BB0AAD742806 |
| SHA-256 | 5EC94390F5B0C162B2AED2F77D8E117E9117D5E306EA2B59FBE1460B781DDEC3 |
| Key | Value |
|---|---|
| FileSize | 15776 |
| MD5 | 06FA092AC379CD4DBB2458183A8B7046 |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | B694722A85515DED46E20FC2452C45F100346543 |
| SHA-256 | A785CD17B7A9CB765944627567574CADF027069D167E2CCBC1016F03D1C3CA4F |
| Key | Value |
|---|---|
| FileSize | 15772 |
| MD5 | 07D945772D43EE8E8C161607236057B9 |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | 86EFA1DEAA4EBBD8C274C02E675AAC461BB8B11E |
| SHA-256 | 94DAD3825B6859415A795968BB17F2CF77D31B6E105098A3C78F7DDA854B64AE |