![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cryptominisat_5.6.4+dfsg.1-1/ | 2018-11-10 00:02 | - | |
| cryptominisat_5.6.4+dfsg.1-1ubuntu1/ | 2018-11-13 17:31 | - | |
| cryptominisat_5.6.4+dfsg.1-1ubuntu2/ | 2020-01-25 05:36 | - | |
| cryptominisat_5.7.1+dfsg1-1/ | 2020-05-11 17:30 | - | |
| cryptominisat_5.8.0+dfsg1-1/ | 2020-07-13 17:36 | - | |
| cryptominisat_5.8.0+dfsg1-1build1/ | 2020-11-19 19:06 | - | |
| cryptominisat_5.8.0+dfsg1-1build2/ | 2020-12-12 13:06 | - | |
| cryptominisat_5.8.0+dfsg1-1build3/ | 2022-01-31 12:02 | - | |
| cryptominisat_5.8.0+dfsg1-2/ | 2022-02-22 23:32 | - | |
| cryptominisat_5.11.4+dfsg1-2/ | 2022-11-06 05:08 | - | |
| cryptominisat_5.11.4+dfsg1-2build1/ | 2022-12-25 20:33 | - | |
| cryptominisat_5.11.4+dfsg1-3/ | 2023-07-15 06:00 | - | |
| cryptominisat_5.11.15+dfsg1-1.1/ | 2024-02-28 05:30 | - | |
| cryptominisat_5.11.15+dfsg1-1.1build1/ | 2024-03-31 19:05 | - | |
| cryptominisat_5.11.15+dfsg1-1/ | 2023-12-14 18:01 | - | |
| cryptominisat_5.11.15+dfsg1-1build1/ | 2023-12-19 15:33 | - | |
| cryptominisat_5.11.15+dfsg1-1build2/ | 2024-01-19 20:01 | - | |