![[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} | coq-8.5pl1-i586-1_slonly.dep | 2017-07-31 13:49 | 13 |
![[ ]](/icons/md5.png){kind=icon} | coq-8.5pl1-i586-1_slonly.txz.md5 | 2017-07-31 13:49 | 63 |
| coq-8.5pl1-i586-1_slonly.txz.sha256 | 2017-07-31 13:49 | 95 |
![[TXT]](/theme/icons/text.png){kind=icon} | coq-8.5pl1-i586-1_slonly.txt | 2017-07-31 13:49 | 346 |
| coq-8.5pl1-i586-1_slonly.meta | 2017-07-31 13:49 | 658 |
![[ ]](/icons/gpg_logo.gif){kind=icon} | coq-8.5pl1-i586-1_slonly.txz.asc | 2017-07-31 13:49 | 801 |
| coq-8.5pl1-i586-1_slonly.lst | 2017-07-31 13:49 | 417K |
![[ ]](/icons/miniPenguinInBox.gif){kind=icon} | coq-8.5pl1-i586-1_slonly.txz | 2017-07-31 13:49 | 37M |