×

No Description

Uploaded Fri May 24 08:00:46 2019
md5 checksum ad94462398516e9bc1cfa18944ef546c
arch x86_64
build h5c9b4e4_0
depends libcxx >=4.0.1, zlib >=1.2.11,<1.3.0a0
license MIT
license_family MIT
md5 3072c3377b9482f6633629d97ee3e59d
name libcryptominisat
platform osx
sha256 19e04204d38b885e1a0417bc43ed1e4fd672aa37fabad931a82fe75b51e20cc1
size 418590
source_url http://localhost/pkgs/main/osx-64/libcryptominisat-5.6.6-h5c9b4e4_0.tar.bz2
subdir osx-64
timestamp 1548447152205
version 5.6.6