×

No Description

Uploaded Tue Mar 21 13:12:50 2023
md5 checksum 805b22e97242498f5bbcd5bc9c40a41d
arch aarch64
build h308e764_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 805b22e97242498f5bbcd5bc9c40a41d
name libcryptominisat
platform linux
sha256 9a73006f878283759eb4a07a13af1b995b0dc10f443599e85b4d7ce9521702c5
size 6516562
source_url http://repo.continuum.io/pkgs/main/linux-aarch64/libcryptominisat-5.6.6-h308e764_2.tar.bz2
subdir linux-aarch64
timestamp 1679313394727
version 5.6.6