×

No Description

Uploaded Mon Aug 28 23:16:04 2023
md5 checksum e09ff94f0ac2b2d166f7c4c6f2ec3392
arch aarch64
build h308e764_3
build_number 3
depends libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0
license MIT
license_family MIT
md5 e09ff94f0ac2b2d166f7c4c6f2ec3392
name libcryptominisat
platform linux
sha256 cd91f7bc213481845661fbac89705af09a612b9acc105fce1fcb7eb7421f51f7
size 6534368
source_url http://repo.continuum.io/pkgs/main/linux-aarch64/libcryptominisat-5.6.6-h308e764_3.tar.bz2
subdir linux-aarch64
timestamp 1693261743543
version 5.6.6