Index of /pool/universe/c/cadical

 Name                               Last modified      Size  Description
 Parent Directory                                        -   
 cadical_1.7.4-1.debian.tar.xz      2024-02-15 12:29  3.9K  
 cadical_1.7.4-1.dsc                2024-02-15 12:29  1.9K  
 cadical_1.7.4-1_arm64.deb          2024-02-15 12:31  432K  
 cadical_1.7.4-1_armhf.deb          2024-02-15 12:31  378K  
 cadical_1.7.4-1_ppc64el.deb        2024-02-15 12:32  481K  
 cadical_1.7.4-1_riscv64.deb        2024-02-15 15:44  439K  
 cadical_1.7.4-1_s390x.deb          2024-02-15 12:32  528K  
 cadical_1.7.4.orig.tar.gz          2024-02-15 12:29  633K  
 cadical_2.1.3-2.debian.tar.xz      2025-12-15 17:22  4.5K  
 cadical_2.1.3-2.dsc                2025-12-15 17:22  1.9K  
 cadical_2.1.3-2_arm64.deb          2025-12-15 20:30  521K  
 cadical_2.1.3-2_armhf.deb          2025-12-15 20:31  436K  
 cadical_2.1.3-2_ppc64el.deb        2025-12-15 20:31  556K  
 cadical_2.1.3-2_riscv64.deb        2025-12-16 04:20  511K  
 cadical_2.1.3-2_s390x.deb          2025-12-15 20:32  597K  
 cadical_2.1.3.orig.tar.gz          2025-12-02 08:17  714K  
 libcadical-dev_1.7.4-1_arm64.deb   2024-02-15 12:31  374K  
 libcadical-dev_1.7.4-1_armhf.deb   2024-02-15 12:31  376K  
 libcadical-dev_1.7.4-1_ppc64el.deb 2024-02-15 12:32  421K  
 libcadical-dev_1.7.4-1_riscv64.deb 2024-02-15 15:44  1.6M  
 libcadical-dev_1.7.4-1_s390x.deb   2024-02-15 12:32  418K  
 libcadical-dev_2.1.3-2_arm64.deb   2025-12-15 20:30  464K  
 libcadical-dev_2.1.3-2_armhf.deb   2025-12-15 20:31  448K  
 libcadical-dev_2.1.3-2_ppc64el.deb 2025-12-15 20:31  511K  
 libcadical-dev_2.1.3-2_riscv64.deb 2025-12-16 04:20  2.5M  
 libcadical-dev_2.1.3-2_s390x.deb   2025-12-15 20:32  497K