No Description
Uploaded | Mon Aug 28 23:16:04 2023 |
md5 checksum | e8457ae5f6c188fab179ef5449896c3c |
arch | ppc64le |
build | hc4fb5eb_3 |
build_number | 3 |
depends | libboost >=1.82.0,<1.82.1.0a0, libcryptominisat 5.6.6 hc4fb5eb_3, libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0 |
license | MIT |
license_family | MIT |
md5 | e8457ae5f6c188fab179ef5449896c3c |
name | cryptominisat |
platform | linux |
sha256 | c646dac77a91b437e34171948352076d169e46d30e672dd610a9aec33c1e01a9 |
size | 1143228 |
source_url | http://repo.continuum.io/pkgs/main/linux-ppc64le/cryptominisat-5.6.6-hc4fb5eb_3.tar.bz2 |
subdir | linux-ppc64le |
timestamp | 1693263075511 |
version | 5.6.6 |