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                                        -   
 cadical_1.7.4-1.debian.tar.xz      2024-02-15 14:29  3.9K  
 cadical_1.7.4-1.dsc                2024-02-15 14:29  1.9K  
 cadical_1.7.4-1_amd64.deb          2024-02-15 14:30  454K  
 cadical_1.7.4.orig.tar.gz          2024-02-15 14:29  633K  
 cadical_2.1.3-1.debian.tar.xz      2025-12-02 10:17  4.0K  
 cadical_2.1.3-1.dsc                2025-12-02 10:17  1.9K  
 cadical_2.1.3-1_amd64.deb          2025-12-02 10:17  521K  
 cadical_2.1.3-1_amd64v3.deb        2025-12-02 10:17  541K  
 cadical_2.1.3.orig.tar.gz          2025-12-02 10:17  714K  
 libcadical-dev_1.7.4-1_amd64.deb   2024-02-15 14:30  376K  
 libcadical-dev_2.1.3-1_amd64.deb   2025-12-02 10:17  457K  
 libcadical-dev_2.1.3-1_amd64v3.deb 2025-12-02 10:17  471K