ftp.ntua.gr:/debian/pool/main/c/cvc5/ 
Icon  Name                                Last modified      Size  
[DIR] Parent Directory                                         -   
[   ] cvc5_1.0.3-1.debian.tar.xz          20-Dec-2022 05:26  5.8K  
[   ] cvc5_1.0.3-1.dsc                    20-Dec-2022 05:26  2.3K  
[   ] cvc5_1.0.3-1_amd64.deb              20-Dec-2022 07:55  105K  
[   ] cvc5_1.0.3-1_arm64.deb              20-Dec-2022 07:29   95K  
[   ] cvc5_1.0.3-1_ppc64el.deb            20-Dec-2022 07:45  103K  
[   ] cvc5_1.0.3-1_s390x.deb              20-Dec-2022 14:13   95K  
[   ] cvc5_1.0.3.orig.tar.gz              20-Dec-2022 05:26  7.9M  
[   ] cvc5_1.0.5-3.debian.tar.xz          23-Jun-2023 23:03  6.9K  
[   ] cvc5_1.0.5-3.dsc                    23-Jun-2023 23:03  2.4K  
[   ] cvc5_1.0.5-3_amd64.deb              24-Jun-2023 00:29   98K  
[   ] cvc5_1.0.5-3_arm64.deb              24-Jun-2023 01:12   86K  
[   ] cvc5_1.0.5-3_ppc64el.deb            24-Jun-2023 00:29   93K  
[   ] cvc5_1.0.5-3_s390x.deb              24-Jun-2023 00:29   90K  
[   ] cvc5_1.0.5.orig.tar.gz              20-Jun-2023 20:12  8.0M  
[   ] cvc5_1.1.2-2.debian.tar.xz          20-Mar-2024 00:22  7.2K  
[   ] cvc5_1.1.2-2.dsc                    20-Mar-2024 00:22  2.4K  
[   ] cvc5_1.1.2-2_amd64.deb              20-Mar-2024 03:42  108K  
[   ] cvc5_1.1.2-2_arm64.deb              20-Mar-2024 04:29   96K  
[   ] cvc5_1.1.2-2_armel.deb              20-Mar-2024 01:13   98K  
[   ] cvc5_1.1.2-2_armhf.deb              20-Mar-2024 01:28  100K  
[   ] cvc5_1.1.2-2_i386.deb               20-Mar-2024 01:08  111K  
[   ] cvc5_1.1.2-2_mips64el.deb           01-Apr-2024 04:57   90K  
[   ] cvc5_1.1.2-2_ppc64el.deb            20-Mar-2024 01:08  102K  
[   ] cvc5_1.1.2-2_riscv64.deb            21-Mar-2024 13:14  100K  
[   ] cvc5_1.1.2-2_s390x.deb              21-Mar-2024 10:50  106K  
[   ] cvc5_1.1.2.orig.tar.gz              03-Mar-2024 04:53  8.2M  
[   ] libcvc5-1_1.0.3-1_amd64.deb         20-Dec-2022 07:55  5.6M  
[   ] libcvc5-1_1.0.3-1_arm64.deb         20-Dec-2022 07:29  4.7M  
[   ] libcvc5-1_1.0.3-1_ppc64el.deb       20-Dec-2022 07:45  5.3M  
[   ] libcvc5-1_1.0.3-1_s390x.deb         20-Dec-2022 14:13  4.9M  
[   ] libcvc5-1_1.0.5-3_amd64.deb         24-Jun-2023 00:29  5.6M  
[   ] libcvc5-1_1.0.5-3_arm64.deb         24-Jun-2023 01:12  4.8M  
[   ] libcvc5-1_1.0.5-3_ppc64el.deb       24-Jun-2023 00:29  5.4M  
[   ] libcvc5-1_1.0.5-3_s390x.deb         24-Jun-2023 00:29  4.9M  
[   ] libcvc5-1_1.1.2-2_amd64.deb         20-Mar-2024 03:42  6.1M  
[   ] libcvc5-1_1.1.2-2_arm64.deb         20-Mar-2024 04:29  5.2M  
[   ] libcvc5-1_1.1.2-2_armel.deb         20-Mar-2024 01:13  5.3M  
[   ] libcvc5-1_1.1.2-2_armhf.deb         20-Mar-2024 01:29  5.2M  
[   ] libcvc5-1_1.1.2-2_i386.deb          20-Mar-2024 01:08  6.7M  
[   ] libcvc5-1_1.1.2-2_mips64el.deb      01-Apr-2024 04:57  4.9M  
[   ] libcvc5-1_1.1.2-2_ppc64el.deb       20-Mar-2024 01:08  5.8M  
[   ] libcvc5-1_1.1.2-2_riscv64.deb       21-Mar-2024 13:14  6.1M  
[   ] libcvc5-1_1.1.2-2_s390x.deb         21-Mar-2024 10:50  6.2M  
[   ] libcvc5-dev_1.0.3-1_amd64.deb       20-Dec-2022 07:55   57K  
[   ] libcvc5-dev_1.0.3-1_arm64.deb       20-Dec-2022 07:29   57K  
[   ] libcvc5-dev_1.0.3-1_ppc64el.deb     20-Dec-2022 07:45   57K  
[   ] libcvc5-dev_1.0.3-1_s390x.deb       20-Dec-2022 14:13   57K  
[   ] libcvc5-dev_1.0.5-3_amd64.deb       24-Jun-2023 00:29   59K  
[   ] libcvc5-dev_1.0.5-3_arm64.deb       24-Jun-2023 01:12   59K  
[   ] libcvc5-dev_1.0.5-3_ppc64el.deb     24-Jun-2023 00:29   59K  
[   ] libcvc5-dev_1.0.5-3_s390x.deb       24-Jun-2023 00:29   59K  
[   ] libcvc5-dev_1.1.2-2_amd64.deb       20-Mar-2024 03:42   91K  
[   ] libcvc5-dev_1.1.2-2_arm64.deb       20-Mar-2024 04:29   91K  
[   ] libcvc5-dev_1.1.2-2_armel.deb       20-Mar-2024 01:13   91K  
[   ] libcvc5-dev_1.1.2-2_armhf.deb       20-Mar-2024 01:29   91K  
[   ] libcvc5-dev_1.1.2-2_i386.deb        20-Mar-2024 01:08   91K  
[   ] libcvc5-dev_1.1.2-2_mips64el.deb    01-Apr-2024 04:57   91K  
[   ] libcvc5-dev_1.1.2-2_ppc64el.deb     20-Mar-2024 01:08   91K  
[   ] libcvc5-dev_1.1.2-2_riscv64.deb     21-Mar-2024 13:14   91K  
[   ] libcvc5-dev_1.1.2-2_s390x.deb       21-Mar-2024 10:50   91K  
[   ] libcvc5parser1_1.0.3-1_amd64.deb    20-Dec-2022 07:55  300K  
[   ] libcvc5parser1_1.0.3-1_arm64.deb    20-Dec-2022 07:29  267K  
[   ] libcvc5parser1_1.0.3-1_ppc64el.deb  20-Dec-2022 07:45  297K  
[   ] libcvc5parser1_1.0.3-1_s390x.deb    20-Dec-2022 14:13  265K  
[   ] libcvc5parser1_1.0.5-3_amd64.deb    24-Jun-2023 00:29  359K  
[   ] libcvc5parser1_1.0.5-3_arm64.deb    24-Jun-2023 01:12  312K  
[   ] libcvc5parser1_1.0.5-3_ppc64el.deb  24-Jun-2023 00:29  354K  
[   ] libcvc5parser1_1.0.5-3_s390x.deb    24-Jun-2023 00:29  313K  
[   ] libcvc5parser1_1.1.2-2_amd64.deb    20-Mar-2024 03:42  229K  
[   ] libcvc5parser1_1.1.2-2_arm64.deb    20-Mar-2024 04:29  201K  
[   ] libcvc5parser1_1.1.2-2_armel.deb    20-Mar-2024 01:13  193K  
[   ] libcvc5parser1_1.1.2-2_armhf.deb    20-Mar-2024 01:29  200K  
[   ] libcvc5parser1_1.1.2-2_i386.deb     20-Mar-2024 01:08  248K  
[   ] libcvc5parser1_1.1.2-2_mips64el.deb 01-Apr-2024 04:57  191K  
[   ] libcvc5parser1_1.1.2-2_ppc64el.deb  20-Mar-2024 01:08  225K  
[   ] libcvc5parser1_1.1.2-2_riscv64.deb  21-Mar-2024 13:14  219K  
[   ] libcvc5parser1_1.1.2-2_s390x.deb    21-Mar-2024 10:50  222K  
[   ] python3-cvc5_1.0.5-3_amd64.deb      24-Jun-2023 00:29  222K  
[   ] python3-cvc5_1.0.5-3_arm64.deb      24-Jun-2023 01:12  195K  
[   ] python3-cvc5_1.0.5-3_ppc64el.deb    24-Jun-2023 00:29  208K  
[   ] python3-cvc5_1.0.5-3_s390x.deb      24-Jun-2023 00:29  199K  
[   ] python3-cvc5_1.1.2-2_amd64.deb      20-Mar-2024 03:42  321K  
[   ] python3-cvc5_1.1.2-2_arm64.deb      20-Mar-2024 04:29  291K  
[   ] python3-cvc5_1.1.2-2_armel.deb      20-Mar-2024 01:13  295K  
[   ] python3-cvc5_1.1.2-2_armhf.deb      20-Mar-2024 01:29  300K  
[   ] python3-cvc5_1.1.2-2_i386.deb       20-Mar-2024 01:08  308K  
[   ] python3-cvc5_1.1.2-2_mips64el.deb   01-Apr-2024 04:57  244K  
[   ] python3-cvc5_1.1.2-2_ppc64el.deb    20-Mar-2024 01:08  296K  
[   ] python3-cvc5_1.1.2-2_riscv64.deb    21-Mar-2024 13:14  314K  
[   ] python3-cvc5_1.1.2-2_s390x.deb      21-Mar-2024 10:50  318K
Apache/2.2 Server at debian.noc.ntua.gr Port 80