Key | Value |
---|---|
FileName | ./usr/include/cryptominisat5/cryptominisat_c.h |
FileSize | 2904 |
MD5 | 19BAE58E29D287AC591AA37A40F65FFD |
SHA-1 | 404ED32CBB1F7AF7789CF43B76C92949B82BEC68 |
SHA-256 | D2E17414BE45D564602398553F24DC88DB3140F450BDBD9CBA85C73EF116C135 |
SSDEEP | 48:7DaJHlxE35QHOs5exm3ogF5zaDNh3NerBffQfz6Sz3KoGvelcvGkIui1wXLc2qzx:7WupQHTooQj0auKCJtIuj10 |
TLSH | T10E51E76AE0781EF825620C9340B590FA661F86E376EC4915F96FF62C670F1C441F30B9 |
hashlookup:parent-total | 10 |
hashlookup:trust | 100 |
The searched file hash is included in 10 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 69F5553ADDE5E4C21B57CBEA64B7B800 |
PackageArch | x86_64 |
PackageDescription | Header files for developing applications that use cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-devel |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | 5876EC9E76CE071420BAD9112DD2AD4F47A5A4BC |
SHA-256 | 2010E0F9C607B250AFE6B3919B7918C5616AC2CD0CE53615C4BEAF429FE3B8E9 |
Key | Value |
---|---|
MD5 | F22BBE827762C0207E666FBDF8843838 |
PackageArch | armv7hl |
PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-debugsource |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | 246DDCD7DD2971151DC6E4C81103E46BB3524B47 |
SHA-256 | 6AA4D410B59856A9DED3B0CDB493FEC1FF2A9DACC840B806B80D59B13FEDEACE |
Key | Value |
---|---|
MD5 | 64F86E7BBA0C0B4EFF829ACA52EAD2F1 |
PackageArch | x86_64 |
PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-debugsource |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | 3E0540AC45E0D9856A515010AD34408D30A7D079 |
SHA-256 | B4260694427D93BB2962684733A677761580BB36091DACCA83898D5847D5108B |
Key | Value |
---|---|
MD5 | B653EBE605179587CD4502D58987BBB6 |
PackageArch | i686 |
PackageDescription | Header files for developing applications that use cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-devel |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | 96CCA05BC14718F0B8D8E2182AD6D5612287F50D |
SHA-256 | 6BB08DC07958F2072F1D34DBE55900DEDB37ABC64AEE21B25AD03049240D0531 |
Key | Value |
---|---|
MD5 | 947087A8C2B7B0F6DACCF2FA3770F5E7 |
PackageArch | i686 |
PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-debugsource |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | 43D916FB45A22C412E26FF448751729568F54C9E |
SHA-256 | EBB28E90A4046D4AB187D5ECE9BC6A82BB8501A572E520808A73658F30CB6FB3 |
Key | Value |
---|---|
FileSize | 11340 |
MD5 | 6C327AA05C70E68FFFDDFF2D425BCC0E |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libcryptominisat5-dev |
PackageSection | libdevel |
PackageVersion | 5.6.4+dfsg.1-1ubuntu1 |
SHA-1 | 0704BEBE9445CD6A6541B54B2B83529BE90A7869 |
SHA-256 | 32C6839680872330BA6F5BEEA2083178782AD855152223E1A51F34BF2DF8C92A |
Key | Value |
---|---|
FileSize | 11868 |
MD5 | 36EA11981D91DF636389EB99545B1CF8 |
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.6.4+dfsg.1-1+b1 |
SHA-1 | 067ACDACE468F011C49823C11F162CEEFB4380DC |
SHA-256 | 6D681500E72BB17DAA9447D457692F4BEA43C178010826BF16469F2711F007E7 |
Key | Value |
---|---|
MD5 | 3027FEF72932F929C3E30CBE98A417FB |
PackageArch | armv7hl |
PackageDescription | Header files for developing applications that use cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-devel |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | 6216DCBD4C0AD795B3854DBC8537A9009F1ABE28 |
SHA-256 | 4F0351519EA132BF4284A9C79B05140D78E276B20E085C007B74CAE131412026 |
Key | Value |
---|---|
MD5 | 282380B6E4000FF354E483121D176E29 |
PackageArch | aarch64 |
PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-debugsource |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | BF22B9FDE7B78193846DEDCFF67FDFE4395FBEBA |
SHA-256 | 9BE4801DB5C3574AAA626198D6F947E683C8A3B539FC4931A005F2FFC6AF2CF2 |
Key | Value |
---|---|
MD5 | E337BD64C2270251F5C9A11AB025E38F |
PackageArch | aarch64 |
PackageDescription | Header files for developing applications that use cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | cryptominisat-devel |
PackageRelease | 6.fc32 |
PackageVersion | 5.6.8 |
SHA-1 | F5C54A01D2914F95B5560638D61370F58C38B96F |
SHA-256 | 690C16C55E6ACC4507D0FEA99BF89745B004CBAE6EB6C6293FFE7CE41639082A |