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 |