×

No Description

Uploaded Wed Mar 22 12:57:03 2023
md5 checksum 73a30df7fa5a007fb2f076c6fa2a736a
arch x86_64
build h9e868ea_2
build_number 2
depends libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0
license MIT
license_family MIT
md5 73a30df7fa5a007fb2f076c6fa2a736a
name libcryptominisat
platform linux
sha256 e05e71bebc250935c86c5b43afb1f1b5ccb010212b39451d2170096c18258595
size 6702084
source_url http://repo.continuum.io/pkgs/main/linux-64/libcryptominisat-5.6.6-h9e868ea_2.tar.bz2
subdir linux-64
timestamp 1679313384931
version 5.6.6