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

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 cadical_1.5.3.orig.tar.gz             01-Nov-2022 21:34  582K  
 cadical_1.5.3-2.debian.tar.xz         15-Nov-2022 00:53  2.9K  
 cadical_1.5.3-2.dsc                   15-Nov-2022 00:53  1.9K  
 cadical_1.5.3-2_i386.deb              15-Nov-2022 01:25  337K  
 libcadical-dev_1.5.3-2_i386.deb       15-Nov-2022 01:25  318K  
 cadical_1.5.3-2_arm64.deb             15-Nov-2022 01:25  269K  
 libcadical-dev_1.5.3-2_arm64.deb      15-Nov-2022 01:25  262K  
 cadical_1.5.3-2_amd64.deb             15-Nov-2022 01:25  309K  
 libcadical-dev_1.5.3-2_amd64.deb      15-Nov-2022 01:25  281K  
 cadical_1.5.3-2_armhf.deb             15-Nov-2022 01:40  274K  
 libcadical-dev_1.5.3-2_armhf.deb      15-Nov-2022 01:40  276K  
 cadical_1.5.3-2_s390x.deb             15-Nov-2022 02:16  271K  
 libcadical-dev_1.5.3-2_s390x.deb      15-Nov-2022 02:16  259K  
 cadical_1.5.3-2_mips64el.deb          15-Nov-2022 05:43  307K  
 libcadical-dev_1.5.3-2_mips64el.deb   15-Nov-2022 05:43  306K  
 cadical_1.5.3-2_ppc64el.deb           15-Nov-2022 15:55  316K  
 libcadical-dev_1.5.3-2_ppc64el.deb    15-Nov-2022 15:55  303K  
 cadical_1.7.4-1.debian.tar.xz         11-Feb-2024 05:22  3.9K  
 cadical_1.7.4-1.dsc                   11-Feb-2024 05:22  1.9K  
 cadical_1.7.4.orig.tar.gz             11-Feb-2024 05:22  633K  
 cadical_1.7.4-1+b1_ppc64el.deb        28-Oct-2024 16:52  392K  
 libcadical-dev_1.7.4-1+b1_ppc64el.deb 28-Oct-2024 16:52  366K  
 cadical_1.7.4-1+b1_amd64.deb          28-Oct-2024 17:02  387K  
 libcadical-dev_1.7.4-1+b1_amd64.deb   28-Oct-2024 17:02  344K  
 cadical_1.7.4-1+b1_i386.deb           28-Oct-2024 17:19  419K  
 libcadical-dev_1.7.4-1+b1_i386.deb    28-Oct-2024 17:19  386K  
 cadical_1.7.4-1+b1_armhf.deb          28-Oct-2024 19:19  340K  
 libcadical-dev_1.7.4-1+b1_armhf.deb   28-Oct-2024 19:19  333K  
 cadical_1.7.4-1+b1_arm64.deb          28-Oct-2024 22:28  339K  
 libcadical-dev_1.7.4-1+b1_arm64.deb   28-Oct-2024 22:28  325K  
 cadical_1.7.4-1+b1_riscv64.deb        29-Oct-2024 01:11  395K  
 libcadical-dev_1.7.4-1+b1_riscv64.deb 29-Oct-2024 01:11  1.2M  
 cadical_1.7.4-1+b1_s390x.deb          29-Oct-2024 10:50  392K  
 libcadical-dev_1.7.4-1+b1_s390x.deb   29-Oct-2024 10:50  364K  
 cadical_2.1.3.orig.tar.gz             02-Dec-2025 00:18  714K  
 cadical_2.1.3-3.debian.tar.xz         23-Mar-2026 13:58  4.7K  
 cadical_2.1.3-3.dsc                   23-Mar-2026 13:58  2.0K  
 cadical_2.1.3-3_arm64.deb             23-Mar-2026 14:18  400K  
 libcadical-dev_2.1.3-3_arm64.deb      23-Mar-2026 14:18  400K  
 cadical_2.1.3-3_armhf.deb             23-Mar-2026 14:18  391K  
 cadical_2.1.3-3_ppc64el.deb           23-Mar-2026 14:18  464K  
 libcadical-dev_2.1.3-3_armhf.deb      23-Mar-2026 14:18  401K  
 libcadical-dev_2.1.3-3_ppc64el.deb    23-Mar-2026 14:18  455K  
 cadical_2.1.3-3_loong64.deb           23-Mar-2026 14:23  446K  
 libcadical-dev_2.1.3-3_loong64.deb    23-Mar-2026 14:23  1.9M  
 cadical_2.1.3-3_riscv64.deb           23-Mar-2026 14:54  458K  
 libcadical-dev_2.1.3-3_riscv64.deb    23-Mar-2026 14:54  2.0M  
 cadical_2.1.3-3_amd64.deb             23-Mar-2026 16:30  456K  
 libcadical-dev_2.1.3-3_amd64.deb      23-Mar-2026 16:30  424K  
 cadical_2.1.3-3_i386.deb              23-Mar-2026 16:46  480K  
 libcadical-dev_2.1.3-3_i386.deb       23-Mar-2026 16:46  461K  
 cadical_2.1.3-3_s390x.deb             23-Mar-2026 17:58  466K  
 libcadical-dev_2.1.3-3_s390x.deb      23-Mar-2026 17:58  450K