×

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