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

 Name                                Last modified      Size  
 Parent Directory                                         -   
 cadical_1.5.3-2.debian.tar.xz       2022-11-15 08:53  2.9K  
 cadical_1.5.3-2.dsc                 2022-11-15 08:53  1.9K  
 cadical_1.5.3-2_amd64.deb           2022-11-15 09:25  309K  
 cadical_1.5.3-2_arm64.deb           2022-11-15 09:25  269K  
 cadical_1.5.3-2_armel.deb           2022-11-15 09:40  270K  
 cadical_1.5.3-2_armhf.deb           2022-11-15 09:40  274K  
 cadical_1.5.3-2_i386.deb            2022-11-15 09:25  337K  
 cadical_1.5.3-2_mips64el.deb        2022-11-15 13:43  307K  
 cadical_1.5.3-2_mipsel.deb          2022-11-15 10:41  324K  
 cadical_1.5.3-2_ppc64el.deb         2022-11-15 23:55  316K  
 cadical_1.5.3-2_riscv64.deb         2023-07-29 11:40  326K  
 cadical_1.5.3-2_s390x.deb           2022-11-15 10:16  271K  
 cadical_1.5.3.orig.tar.gz           2022-11-02 05:34  582K  
 libcadical-dev_1.5.3-2_amd64.deb    2022-11-15 09:25  281K  
 libcadical-dev_1.5.3-2_arm64.deb    2022-11-15 09:25  262K  
 libcadical-dev_1.5.3-2_armel.deb    2022-11-15 09:40  271K  
 libcadical-dev_1.5.3-2_armhf.deb    2022-11-15 09:40  276K  
 libcadical-dev_1.5.3-2_i386.deb     2022-11-15 09:25  318K  
 libcadical-dev_1.5.3-2_mips64el.deb 2022-11-15 13:43  306K  
 libcadical-dev_1.5.3-2_mipsel.deb   2022-11-15 10:41  320K  
 libcadical-dev_1.5.3-2_ppc64el.deb  2022-11-15 23:55  303K  
 libcadical-dev_1.5.3-2_riscv64.deb  2023-07-29 11:40  1.0M  
 libcadical-dev_1.5.3-2_s390x.deb    2022-11-15 10:16  259K