![[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} | cvc4-1.8-x86_64-2_slonly.txz | 2022-07-24 05:11 | 6.3M |
![[ ]](/theme/icons/default.png){kind=icon} | cvc4-1.8-x86_64-2_slonly.lst | 2022-07-24 05:11 | 10K |
| cvc4-1.8-x86_64-2_slonly.meta | 2022-07-24 05:11 | 840 |
![[ ]](/icons/gpg_logo.gif){kind=icon} | cvc4-1.8-x86_64-2_slonly.txz.asc | 2022-07-24 05:11 | 801 |
![[TXT]](/theme/icons/text.png){kind=icon} | cvc4-1.8-x86_64-2_slonly.txt | 2022-07-24 05:11 | 540 |
| cvc4-1.8-x86_64-2_slonly.txz.sha256 | 2022-07-24 05:11 | 95 |
![[ ]](/icons/md5.png){kind=icon} | cvc4-1.8-x86_64-2_slonly.txz.md5 | 2022-07-24 05:11 | 63 |
| cvc4-1.8-x86_64-2_slonly.dep | 2022-07-24 05:11 | 37 |