No Description
Uploaded | Fri Jan 29 16:04:52 2021 |
md5 checksum | 307863387aa0bda1a3b58f227b13d5f0 |
arch | x86_64 |
build | hc0fe6c6_0 |
depends | libgcc-ng >=7.3.0, libstdcxx-ng >=7.3.0, zlib |
license | MIT |
license_family | MIT |
md5 | 307863387aa0bda1a3b58f227b13d5f0 |
name | libcryptominisat |
platform | linux |
sha256 | 2c31bb7e623375cf4e36926c3627490e0638f9ce9646276a4dff32b22ee4681e |
size | 5116447 |
source_url | http://repo.continuum.io/pkgs/main/linux-64/libcryptominisat-5.6.6-hc0fe6c6_0.tar.bz2 |
subdir | linux-64 |
timestamp | 1611760247956 |
version | 5.6.6 |