Welcome to the COSMOTE TELEKOM FTP repository.
If you have any questions, hints, or requests,
please contact us. 
Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] coq-libhyps_2.0.6.orig.tar.gz          2022-09-23 17:34   35K  
[   ] coq-libhyps_2.0.6-2.debian.tar.xz      2023-01-25 09:27  1.9K  
[TXT] coq-libhyps_2.0.6-2.dsc                2023-01-25 09:27  2.0K  
[   ] libcoq-libhyps_2.0.6-2+b1_s390x.deb    2023-02-13 07:06   83K  
[   ] libcoq-libhyps_2.0.6-2+b1_arm64.deb    2023-02-13 07:11   83K  
[   ] libcoq-libhyps_2.0.6-2+b1_amd64.deb    2023-02-13 07:11   83K  
[   ] libcoq-libhyps_2.0.6-2+b1_i386.deb     2023-02-13 07:11   83K  
[   ] libcoq-libhyps_2.0.6-2+b1_armhf.deb    2023-02-13 07:26   83K  
[   ] libcoq-libhyps_2.0.6-2+b1_ppc64el.deb  2023-02-13 07:26   83K  
[   ] coq-libhyps_2.0.8.orig.tar.gz          2023-12-22 12:16   36K  
[   ] coq-libhyps_2.0.8-4.debian.tar.xz      2024-08-03 18:44  2.2K  
[TXT] coq-libhyps_2.0.8-4.dsc                2024-08-03 18:44  1.8K  
[   ] libcoq-libhyps_2.0.8-4+b8_ppc64el.deb  2025-06-15 13:44   62K  
[   ] libcoq-libhyps_2.0.8-4+b8_amd64.deb    2025-06-15 13:49   62K  
[   ] libcoq-libhyps_2.0.8-4+b7_arm64.deb    2025-06-15 13:55   62K  
[   ] libcoq-libhyps_2.0.8-4+b7_riscv64.deb  2025-06-15 14:40   62K  
[   ] libcoq-libhyps_2.0.8-4+b8_s390x.deb    2025-06-16 21:14   62K  
[   ] libcoq-libhyps_2.0.8-4+b10_ppc64el.deb 2026-06-20 17:45   62K  
[   ] libcoq-libhyps_2.0.8-4+b11_amd64.deb   2026-06-20 17:45   62K  
[   ] libcoq-libhyps_2.0.8-4+b10_s390x.deb   2026-06-20 17:45   62K  
[   ] libcoq-libhyps_2.0.8-4+b10_arm64.deb   2026-06-20 17:45   62K  
[   ] libcoq-libhyps_2.0.8-4+b9_riscv64.deb  2026-06-22 16:01   62K  
[   ] coq-libhyps_5.0.0.orig.tar.gz          2026-07-10 17:58   47K  
[   ] coq-libhyps_5.0.0-2.debian.tar.xz      2026-07-28 12:39  2.3K  
[TXT] coq-libhyps_5.0.0-2.dsc                2026-07-28 12:39  2.0K  
[   ] libcoq-libhyps_5.0.0-2_loong64.deb     2026-07-28 13:00   77K  
[   ] libcoq-libhyps_5.0.0-2_s390x.deb       2026-07-28 13:00   77K  
[   ] libcoq-libhyps_5.0.0-2_arm64.deb       2026-07-28 13:00   77K  
[   ] libcoq-libhyps_5.0.0-2_ppc64el.deb     2026-07-28 13:00   77K  
[   ] libcoq-libhyps_5.0.0-2_i386.deb        2026-07-28 13:00   77K  
[   ] libcoq-libhyps_5.0.0-2_armhf.deb       2026-07-28 13:00   77K  
[   ] libcoq-libhyps_5.0.0-2+b1_amd64.deb    2026-07-28 13:20   78K  
[   ] libcoq-libhyps_5.0.0-2_riscv64.deb     2026-07-28 14:51   77K