Index of /archive/pool/main/c/cadical

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] cadical_1.5.3-2.debian.tar.xz          2022-11-14 17:53  2.9K  
[TXT] cadical_1.5.3-2.dsc                    2022-11-14 17:53  1.9K  
[   ] cadical_1.5.3-2_amd64.deb              2022-11-14 18:25  309K  
[   ] cadical_1.5.3-2_arm64.deb              2022-11-14 18:25  269K  
[   ] cadical_1.5.3-2_armel.deb              2022-11-14 18:40  270K  
[   ] cadical_1.5.3-2_armhf.deb              2022-11-14 18:40  274K  
[   ] cadical_1.5.3-2_i386.deb               2022-11-14 18:25  337K  
[   ] cadical_1.5.3-2_mips64el.deb           2022-11-14 22:43  307K  
[   ] cadical_1.5.3.orig.tar.gz              2022-11-01 15:34  582K  
[   ] cadical_1.7.4-1+b1_amd64.deb           2024-10-28 11:02  387K  
[   ] cadical_1.7.4-1+b1_arm64.deb           2024-10-28 16:28  339K  
[   ] cadical_1.7.4-1+b1_armel.deb           2024-10-28 14:35  333K  
[   ] cadical_1.7.4-1+b1_armhf.deb           2024-10-28 13:19  340K  
[   ] cadical_1.7.4-1+b1_i386.deb            2024-10-28 11:19  419K  
[   ] cadical_1.7.4-1+b1_mips64el.deb        2024-10-28 23:04  380K  
[   ] cadical_1.7.4-1+b1_riscv64.deb         2024-10-28 19:11  395K  
[   ] cadical_1.7.4-1.debian.tar.xz          2024-02-10 22:22  3.9K  
[TXT] cadical_1.7.4-1.dsc                    2024-02-10 22:22  1.9K  
[   ] cadical_1.7.4-1_amd64.deb              2024-02-10 22:47  378K  
[   ] cadical_1.7.4-1_arm64.deb              2024-02-10 22:47  331K  
[   ] cadical_1.7.4-1_armel.deb              2024-02-10 22:52  329K  
[   ] cadical_1.7.4-1_armhf.deb              2024-02-10 22:47  334K  
[   ] cadical_1.7.4-1_i386.deb               2024-02-10 22:47  412K  
[   ] cadical_1.7.4-1_mips64el.deb           2024-02-10 22:52  374K  
[   ] cadical_1.7.4-1_riscv64.deb            2024-02-11 00:23  390K  
[   ] cadical_1.7.4.orig.tar.gz              2024-02-10 22:22  633K  
[   ] libcadical-dev_1.5.3-2_amd64.deb       2022-11-14 18:25  281K  
[   ] libcadical-dev_1.5.3-2_arm64.deb       2022-11-14 18:25  262K  
[   ] libcadical-dev_1.5.3-2_armel.deb       2022-11-14 18:40  271K  
[   ] libcadical-dev_1.5.3-2_armhf.deb       2022-11-14 18:40  276K  
[   ] libcadical-dev_1.5.3-2_i386.deb        2022-11-14 18:25  318K  
[   ] libcadical-dev_1.5.3-2_mips64el.deb    2022-11-14 22:43  306K  
[   ] libcadical-dev_1.7.4-1+b1_amd64.deb    2024-10-28 11:02  344K  
[   ] libcadical-dev_1.7.4-1+b1_arm64.deb    2024-10-28 16:28  325K  
[   ] libcadical-dev_1.7.4-1+b1_armel.deb    2024-10-28 14:35  328K  
[   ] libcadical-dev_1.7.4-1+b1_armhf.deb    2024-10-28 13:19  333K  
[   ] libcadical-dev_1.7.4-1+b1_i386.deb     2024-10-28 11:19  386K  
[   ] libcadical-dev_1.7.4-1+b1_mips64el.deb 2024-10-28 23:04  373K  
[   ] libcadical-dev_1.7.4-1+b1_riscv64.deb  2024-10-28 19:11  1.2M  
[   ] libcadical-dev_1.7.4-1_amd64.deb       2024-02-10 22:47  341K  
[   ] libcadical-dev_1.7.4-1_arm64.deb       2024-02-10 22:47  320K  
[   ] libcadical-dev_1.7.4-1_armel.deb       2024-02-10 22:52  329K  
[   ] libcadical-dev_1.7.4-1_armhf.deb       2024-02-10 22:47  334K  
[   ] libcadical-dev_1.7.4-1_i386.deb        2024-02-10 22:47  384K  
[   ] libcadical-dev_1.7.4-1_mips64el.deb    2024-02-10 22:52  371K  
[   ] libcadical-dev_1.7.4-1_riscv64.deb     2024-02-11 00:23  1.3M