ftp.ntua.gr:/debian/pool/main/c/cadical/ 
Icon  Name                                Last modified      Size  
[DIR] Parent Directory                                         -   
[   ] cadical_1.5.3-2.debian.tar.xz       15-Nov-2022 01:53  2.9K  
[   ] cadical_1.5.3-2.dsc                 15-Nov-2022 01:53  1.9K  
[   ] cadical_1.5.3-2_amd64.deb           15-Nov-2022 02:25  309K  
[   ] cadical_1.5.3-2_arm64.deb           15-Nov-2022 02:25  269K  
[   ] cadical_1.5.3-2_armel.deb           15-Nov-2022 02:40  270K  
[   ] cadical_1.5.3-2_armhf.deb           15-Nov-2022 02:40  274K  
[   ] cadical_1.5.3-2_i386.deb            15-Nov-2022 02:25  337K  
[   ] cadical_1.5.3-2_mips64el.deb        15-Nov-2022 06:43  307K  
[   ] cadical_1.5.3-2_mipsel.deb          15-Nov-2022 03:41  324K  
[   ] cadical_1.5.3-2_ppc64el.deb         15-Nov-2022 16:55  316K  
[   ] cadical_1.5.3-2_riscv64.deb         29-Jul-2023 05:40  326K  
[   ] cadical_1.5.3-2_s390x.deb           15-Nov-2022 03:16  271K  
[   ] cadical_1.5.3.orig.tar.gz           01-Nov-2022 22:34  582K  
[   ] cadical_1.7.4-1.debian.tar.xz       11-Feb-2024 06:22  3.9K  
[   ] cadical_1.7.4-1.dsc                 11-Feb-2024 06:22  1.9K  
[   ] cadical_1.7.4-1_amd64.deb           11-Feb-2024 06:47  378K  
[   ] cadical_1.7.4-1_arm64.deb           11-Feb-2024 06:47  331K  
[   ] cadical_1.7.4-1_armel.deb           11-Feb-2024 06:52  329K  
[   ] cadical_1.7.4-1_armhf.deb           11-Feb-2024 06:47  334K  
[   ] cadical_1.7.4-1_i386.deb            11-Feb-2024 06:47  412K  
[   ] cadical_1.7.4-1_mips64el.deb        11-Feb-2024 06:52  374K  
[   ] cadical_1.7.4-1_ppc64el.deb         11-Feb-2024 06:47  385K  
[   ] cadical_1.7.4-1_riscv64.deb         11-Feb-2024 08:23  390K  
[   ] cadical_1.7.4-1_s390x.deb           11-Feb-2024 08:53  383K  
[   ] cadical_1.7.4.orig.tar.gz           11-Feb-2024 06:22  633K  
[   ] libcadical-dev_1.5.3-2_amd64.deb    15-Nov-2022 02:25  281K  
[   ] libcadical-dev_1.5.3-2_arm64.deb    15-Nov-2022 02:25  262K  
[   ] libcadical-dev_1.5.3-2_armel.deb    15-Nov-2022 02:40  271K  
[   ] libcadical-dev_1.5.3-2_armhf.deb    15-Nov-2022 02:40  276K  
[   ] libcadical-dev_1.5.3-2_i386.deb     15-Nov-2022 02:25  318K  
[   ] libcadical-dev_1.5.3-2_mips64el.deb 15-Nov-2022 06:43  306K  
[   ] libcadical-dev_1.5.3-2_mipsel.deb   15-Nov-2022 03:41  320K  
[   ] libcadical-dev_1.5.3-2_ppc64el.deb  15-Nov-2022 16:55  303K  
[   ] libcadical-dev_1.5.3-2_riscv64.deb  29-Jul-2023 05:40  1.0M  
[   ] libcadical-dev_1.5.3-2_s390x.deb    15-Nov-2022 03:16  259K  
[   ] libcadical-dev_1.7.4-1_amd64.deb    11-Feb-2024 06:47  341K  
[   ] libcadical-dev_1.7.4-1_arm64.deb    11-Feb-2024 06:47  320K  
[   ] libcadical-dev_1.7.4-1_armel.deb    11-Feb-2024 06:52  329K  
[   ] libcadical-dev_1.7.4-1_armhf.deb    11-Feb-2024 06:47  334K  
[   ] libcadical-dev_1.7.4-1_i386.deb     11-Feb-2024 06:47  384K  
[   ] libcadical-dev_1.7.4-1_mips64el.deb 11-Feb-2024 06:52  371K  
[   ] libcadical-dev_1.7.4-1_ppc64el.deb  11-Feb-2024 06:47  365K  
[   ] libcadical-dev_1.7.4-1_riscv64.deb  11-Feb-2024 08:23  1.3M  
[   ] libcadical-dev_1.7.4-1_s390x.deb    11-Feb-2024 08:53  358K
Apache/2.2 Server at debian.noc.ntua.gr Port 80