Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
cryptominisat_5.8.0+dfsg1-1.patch-basis | 2020-07-13 15:32 | 14 | ||
cryptominisat_5.8.0+dfsg1-1.patch.bz2 | 2020-07-13 15:32 | 254K | ||
cryptominisat_5.11.2+dfsg1-1.patch-basis | 2022-10-03 21:09 | 14 | ||
cryptominisat_5.11.2+dfsg1-1.patch.bz2 | 2022-10-03 21:09 | 447K | ||
cryptominisat_5.11.4+dfsg1-1.patch-basis | 2022-10-29 03:09 | 14 | ||
cryptominisat_5.11.4+dfsg1-1.patch.bz2 | 2022-10-29 03:09 | 447K | ||
cryptominisat_5.11.4+dfsg1-2.patch-basis | 2022-11-04 02:06 | 14 | ||
cryptominisat_5.11.4+dfsg1-2.patch.bz2 | 2022-11-04 02:06 | 447K | ||
cryptominisat_5.11.15+dfsg1-1.patch | 2023-12-14 14:39 | 713K | ||
cryptominisat_5.11.15+dfsg1-1.patch-basis | 2023-12-14 14:39 | 15 | ||
patches.xml | 2024-02-28 03:16 | 1.7K | ||