×

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