Index of /debian/pool/main/c/cadical

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] cadical_1.5.3-2.debian.tar.xz       2022-11-14 23:53  2.9K  
[TXT] cadical_1.5.3-2.dsc                 2022-11-14 23:53  1.9K  
[   ] cadical_1.5.3-2_amd64.deb           2022-11-15 00:25  309K  
[   ] cadical_1.5.3-2_arm64.deb           2022-11-15 00:25  269K  
[   ] cadical_1.5.3-2_armel.deb           2022-11-15 00:40  270K  
[   ] cadical_1.5.3-2_armhf.deb           2022-11-15 00:40  274K  
[   ] cadical_1.5.3-2_i386.deb            2022-11-15 00:25  337K  
[   ] cadical_1.5.3-2_mips64el.deb        2022-11-15 04:43  307K  
[   ] cadical_1.5.3-2_mipsel.deb          2022-11-15 01:41  324K  
[   ] cadical_1.5.3-2_ppc64el.deb         2022-11-15 14:55  316K  
[   ] cadical_1.5.3-2_s390x.deb           2022-11-15 01:16  271K  
[   ] cadical_1.5.3.orig.tar.gz           2022-11-01 20:34  582K  
[   ] cadical_1.7.4-1.debian.tar.xz       2024-02-11 04:22  3.9K  
[TXT] cadical_1.7.4-1.dsc                 2024-02-11 04:22  1.9K  
[   ] cadical_1.7.4-1_amd64.deb           2024-02-11 04:47  378K  
[   ] cadical_1.7.4-1_arm64.deb           2024-02-11 04:47  331K  
[   ] cadical_1.7.4-1_armel.deb           2024-02-11 04:52  329K  
[   ] cadical_1.7.4-1_armhf.deb           2024-02-11 04:47  334K  
[   ] cadical_1.7.4-1_i386.deb            2024-02-11 04:47  412K  
[   ] cadical_1.7.4-1_mips64el.deb        2024-02-11 04:52  374K  
[   ] cadical_1.7.4-1_ppc64el.deb         2024-02-11 04:47  385K  
[   ] cadical_1.7.4-1_riscv64.deb         2024-02-11 06:23  390K  
[   ] cadical_1.7.4-1_s390x.deb           2024-02-11 06:53  383K  
[   ] cadical_1.7.4.orig.tar.gz           2024-02-11 04:22  633K  
[   ] libcadical-dev_1.5.3-2_amd64.deb    2022-11-15 00:25  281K  
[   ] libcadical-dev_1.5.3-2_arm64.deb    2022-11-15 00:25  262K  
[   ] libcadical-dev_1.5.3-2_armel.deb    2022-11-15 00:40  271K  
[   ] libcadical-dev_1.5.3-2_armhf.deb    2022-11-15 00:40  276K  
[   ] libcadical-dev_1.5.3-2_i386.deb     2022-11-15 00:25  318K  
[   ] libcadical-dev_1.5.3-2_mips64el.deb 2022-11-15 04:43  306K  
[   ] libcadical-dev_1.5.3-2_mipsel.deb   2022-11-15 01:41  320K  
[   ] libcadical-dev_1.5.3-2_ppc64el.deb  2022-11-15 14:55  303K  
[   ] libcadical-dev_1.5.3-2_s390x.deb    2022-11-15 01:16  259K  
[   ] libcadical-dev_1.7.4-1_amd64.deb    2024-02-11 04:47  341K  
[   ] libcadical-dev_1.7.4-1_arm64.deb    2024-02-11 04:47  320K  
[   ] libcadical-dev_1.7.4-1_armel.deb    2024-02-11 04:52  329K  
[   ] libcadical-dev_1.7.4-1_armhf.deb    2024-02-11 04:47  334K  
[   ] libcadical-dev_1.7.4-1_i386.deb     2024-02-11 04:47  384K  
[   ] libcadical-dev_1.7.4-1_mips64el.deb 2024-02-11 04:52  371K  
[   ] libcadical-dev_1.7.4-1_ppc64el.deb  2024-02-11 04:47  365K  
[   ] libcadical-dev_1.7.4-1_riscv64.deb  2024-02-11 06:23  1.3M  
[   ] libcadical-dev_1.7.4-1_s390x.deb    2024-02-11 06:53  358K
Universidade do Porto | Helpdesk