| Key | Value |
|---|---|
| FileName | ./usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake |
| FileSize | 4280 |
| MD5 | 477A9D94A82B161D233BB6A88CF54E30 |
| SHA-1 | 547BC6849593F0C9C964570D79EC596583073D70 |
| SHA-256 | 0BF5F20D32F93042A6DEC4B9971F7FD22F72DBED3F9F995F5D0CB69AA3CAFE5B |
| SSDEEP | 48:ZNWFb9R0/5/uU4EVSqQ+KTKpEpwN/Gd7EtcNZOjrVetFUzOq+25R7hGEt36wRF+S:ZNgbO5GU4EPKuWhf2L7hTN6wL+XmzbUM |
| TLSH | T1D8911D6A8F5EC6D203F3D7421AD0E299D71199F73B8704F4DE86A04C53AE54C4ACF2A6 |
| 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 | 18324 |
| MD5 | 796BDD68E1D0581A22FD9645D5F3703D |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 11F740591EECB38D469E324ED32FE55854FCD823 |
| SHA-256 | F406026A95EDB9155AE7EF46CE09DE45809DF53C484EB9EAE7FCA213D95942C9 |
| Key | Value |
|---|---|
| FileSize | 18316 |
| MD5 | 9699CF46E14CFE6053B116A71EC4BB42 |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 744AA0863B4268CD506D5BFFF770140916E1BD38 |
| SHA-256 | 3718359451919CF29A2C35468DDF6F5BD681712A31D07897C55944F40A66DD7E |
| Key | Value |
|---|---|
| FileSize | 18324 |
| MD5 | 953E040030CAD531736891EB54A1F7D3 |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 16333DC36D26B2AF098014B4A4723D418067DF21 |
| SHA-256 | E5F58554158D7364F19EC1C2006E73291C9AE7AF2BE319C747CDA33576C2A0A1 |
| Key | Value |
|---|---|
| FileSize | 18300 |
| MD5 | 76B1EB149C8CB1A5C2A85E3183514799 |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 89F2F250ACAEC3576D0C3DC078A1628BD370032A |
| SHA-256 | 5825A7DAA20938D4C5B2333266B39760060ADB3DF1D75805FF832B250FB83E53 |
| Key | Value |
|---|---|
| FileSize | 18320 |
| MD5 | 04194CFEA57D88C761AEFF20B7D9BE3A |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 29964E9119B016E6EE5C372FC611F01530416681 |
| SHA-256 | 679281A3B1D3B964BD68C133045A51A3FCC9E2128ACA0B026D5FE9D0DC474CB0 |