![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | 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-basis | 2023-12-14 14:39 | 15 | |
| cryptominisat_5.11.15+dfsg1-1.patch.bz2 | 2023-12-14 14:39 | 134K | |
| patches.xml | 2024-05-03 09:49 | 1.7K | |
|
|---|