![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | cvc4-1.7-x86_64-2_slonly.dep | 2020-04-24 13:32 | 15 |
| cvc4-1.7-x86_64-2_slonly.lst | 2020-04-24 13:32 | 11K |
| cvc4-1.7-x86_64-2_slonly.meta | 2020-04-24 13:32 | 848 |
![[TXT]](/theme/icons/text.png){kind=icon} | cvc4-1.7-x86_64-2_slonly.txt | 2020-04-24 13:32 | 540 |
![[ ]](/icons/miniPenguinInBox.gif){kind=icon} | cvc4-1.7-x86_64-2_slonly.txz | 2020-04-24 13:32 | 4.8M |
![[ ]](/icons/gpg_logo.gif){kind=icon} | cvc4-1.7-x86_64-2_slonly.txz.asc | 2020-04-24 13:32 | 801 |
![[ ]](/icons/md5.png){kind=icon} | cvc4-1.7-x86_64-2_slonly.txz.md5 | 2020-04-24 13:32 | 63 |
| cvc4-1.7-x86_64-2_slonly.txz.sha256 | 2020-04-24 13:32 | 95 |