×

No Description

Uploaded Mon Feb 20 12:41:53 2023
md5 checksum 49ebe9e62b5ffbe57185ffc07b4334d9
arch aarch64
build h308e764_1
build_number 1
depends libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0
license MIT
license_family MIT
md5 49ebe9e62b5ffbe57185ffc07b4334d9
name libcryptominisat
platform linux
sha256 55e75fae53868356ab5e61f2f75540d4248913d0b202df043df28a9ce88cccbc
size 6532942
source_url http://repo.continuum.io/pkgs/main/linux-aarch64/libcryptominisat-5.6.6-h308e764_1.tar.bz2
subdir linux-aarch64
timestamp 1676725910159
version 5.6.6