Welcome to the COSMOTE TELEKOM FTP repository. If you have any questions, hints, or requests, please contact us.

 Name                               Last modified      Size  Description
 Parent Directory                                        -   
 libcoq-stdlib_9.2.0-1+b1_amd64.deb 2026-07-27 23:33   19M  
 libcoq-stdlib_9.2.0-1_arm64.deb    2026-07-27 22:18   19M  
 libcoq-stdlib_9.2.0-1_armhf.deb    2026-07-27 22:28   19M  
 libcoq-stdlib_9.2.0-1_i386.deb     2026-07-27 22:28   19M  
 libcoq-stdlib_9.2.0-1_loong64.deb  2026-07-27 22:48   19M  
 libcoq-stdlib_9.2.0-1_ppc64el.deb  2026-07-27 22:18   19M  
 libcoq-stdlib_9.2.0-1_riscv64.deb  2026-07-28 00:29   19M  
 libcoq-stdlib_9.2.0-1_s390x.deb    2026-07-27 22:18   19M  
 rocq-stdlib_9.2.0-1.debian.tar.xz  2026-07-27 21:52  2.4K  
 rocq-stdlib_9.2.0-1.dsc            2026-07-27 21:52  2.0K  
 rocq-stdlib_9.2.0.orig.tar.gz      2026-07-27 21:52  1.8M