Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-09-14 10:38 | 75K | ||
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 2023-09-14 10:38 | 490K | ||
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 2023-09-14 10:38 | 18K | ||
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-09-14 10:38 | 520K | ||