×

No Description

Uploaded Mon Feb 20 12:42:15 2023
md5 checksum 2bc356f8faee1d30a6227a8708a459ac
arch s390x
build h010bc1a_1
build_number 1
depends libboost >=1.73.0,<1.73.1.0a0, libcryptominisat 5.6.6 h6dbbe50_1, libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0
license MIT
license_family MIT
md5 2bc356f8faee1d30a6227a8708a459ac
name cryptominisat
platform linux
sha256 dc2b31d57eef7a223017ef734dfc93e4ed9609d0587e54cd1c86a09569725f43
size 1149022
source_url http://repo.continuum.io/pkgs/main/linux-s390x/cryptominisat-5.6.6-h010bc1a_1.tar.bz2
subdir linux-s390x
timestamp 1676726026126
version 5.6.6