×

No Description

Uploaded Mon May 2 21:38:02 2022
md5 checksum db72dcc8c15821234ff8a871c813b23c
arch arm64
build h34beafc_0
depends libboost >=1.73.0,<1.73.1.0a0, libcryptominisat 5.6.6 ha949e1b_0, libcxx >=12.0.0, zlib >=1.2.11,<1.3.0a0
license MIT
license_family MIT
md5 db72dcc8c15821234ff8a871c813b23c
name cryptominisat
platform osx
sha256 cf074c37e5a6692311ec13b6b57f722b31bf12fe1da217c7fff2d42e52a42930
size 111635
source_url http://repo.continuum.io/pkgs/main/osx-arm64/cryptominisat-5.6.6-h34beafc_0.tar.bz2
subdir osx-arm64
timestamp 1630664604150
version 5.6.6