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

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