No Description
| Uploaded | Tue Mar 21 13:12:15 2023 |
| md5 checksum | 9c2378ece9e01e8c4f5fb5d29272802c |
| arch | aarch64 |
| build | h775c707_2 |
| build_number | 2 |
| depends | libboost >=1.73.0,<1.73.1.0a0, libcryptominisat 5.6.6 h308e764_2, libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | 9c2378ece9e01e8c4f5fb5d29272802c |
| name | cryptominisat |
| platform | linux |
| sha256 | cc294b23ba240d1986408b1c4a500f74feaa5c9615df4453fb3c3395e2776f7e |
| size | 1138991 |
| source_url | http://repo.continuum.io/pkgs/main/linux-aarch64/cryptominisat-5.6.6-h775c707_2.tar.bz2 |
| subdir | linux-aarch64 |
| timestamp | 1679313516902 |
| version | 5.6.6 |