No Description
Uploaded | Tue Mar 21 13:22:19 2023 |
md5 checksum | 81a185a3e20edf7b9833b6f34cbd2ade |
arch | x86_64 |
build | h425c57c_2 |
build_number | 2 |
depends | vc >=14.1,<15.0a0, vs2015_runtime >=14.16.27012,<15.0a0, zlib >=1.2.13,<1.3.0a0 |
license | MIT |
license_family | MIT |
md5 | 81a185a3e20edf7b9833b6f34cbd2ade |
name | libcryptominisat |
platform | win |
sha256 | a5caa25356c7b68202d52cc6c1e747fb8cfe8d3260013f008c1dcd60b23b71b4 |
size | 424487 |
source_url | http://repo.continuum.io/pkgs/main/win-64/libcryptominisat-5.6.6-h425c57c_2.tar.bz2 |
subdir | win-64 |
timestamp | 1679313459783 |
version | 5.6.6 |