Name                                Last modified      Size  Description
 Parent Directory                                         -   
 cadical_1.5.3-2.debian.tar.xz       2022-11-14 17:53  2.9K  
 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_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-2_ppc64el.deb         2022-11-15 08:55  316K  
 cadical_1.5.3.orig.tar.gz           2022-11-01 15:34  582K  
 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_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.5.3-2_ppc64el.deb  2022-11-15 08:55  303K