×

No Description

Uploaded Tue Mar 21 13:20:11 2023
md5 checksum d15c7609cdbc5e2715a430efe8aedece
arch x86_64
build he919053_2
build_number 2
depends libcxx >=14.0.6, zlib >=1.2.13,<1.3.0a0
license MIT
license_family MIT
md5 d15c7609cdbc5e2715a430efe8aedece
name libcryptominisat
platform osx
sha256 8089a18d09c0cdec42f173301561a86d126171fc1ac30667ebf5c9153e5164c3
size 479762
source_url http://repo.continuum.io/pkgs/main/osx-64/libcryptominisat-5.6.6-he919053_2.tar.bz2
subdir osx-64
timestamp 1679313408389
version 5.6.6