![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/icons/miniPenguinInBox.gif){kind=icon} | cryptominisat-5.7.1-x86_64-1_slonly.txz | 2022-03-24 09:00 | 454K |
![[ ]](/theme/icons/default.png){kind=icon} | cryptominisat-5.7.1-x86_64-1_slonly.lst | 2022-03-24 09:00 | 3.0K |
| cryptominisat-5.7.1-x86_64-1_slonly.meta | 2022-03-24 09:00 | 1.0K |
![[ ]](/icons/gpg_logo.gif){kind=icon} | cryptominisat-5.7.1-x86_64-1_slonly.txz.asc | 2022-03-24 09:00 | 801 |
![[TXT]](/theme/icons/text.png){kind=icon} | cryptominisat-5.7.1-x86_64-1_slonly.txt | 2022-03-24 09:00 | 698 |
| cryptominisat-5.7.1-x86_64-1_slonly.txz.sha256 | 2022-03-24 09:00 | 106 |
![[ ]](/icons/md5.png){kind=icon} | cryptominisat-5.7.1-x86_64-1_slonly.txz.md5 | 2022-03-24 09:00 | 74 |