Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/c/cadical/

 Name                               Last modified      Size  
 Parent Directory                                        -   
 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_amd64.deb          15-Nov-2022 01:25  309K  
 cadical_1.5.3-2_arm64.deb          15-Nov-2022 01:25  269K  
 cadical_1.5.3-2_armhf.deb          15-Nov-2022 01:40  274K  
 cadical_1.5.3-2_i386.deb           15-Nov-2022 01:25  337K  
 cadical_1.5.3.orig.tar.gz          01-Nov-2022 21:34  582K  
 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-1_amd64.deb          11-Feb-2024 05:47  378K  
 cadical_1.7.4-1_arm64.deb          11-Feb-2024 05:47  331K  
 cadical_1.7.4-1_armhf.deb          11-Feb-2024 05:47  334K  
 cadical_1.7.4-1_i386.deb           11-Feb-2024 05:47  412K  
 cadical_1.7.4-1_riscv64.deb        11-Feb-2024 07:23  390K  
 cadical_1.7.4.orig.tar.gz          11-Feb-2024 05:22  633K  
 libcadical-dev_1.5.3-2_amd64.deb   15-Nov-2022 01:25  281K  
 libcadical-dev_1.5.3-2_arm64.deb   15-Nov-2022 01:25  262K  
 libcadical-dev_1.5.3-2_armhf.deb   15-Nov-2022 01:40  276K  
 libcadical-dev_1.5.3-2_i386.deb    15-Nov-2022 01:25  318K  
 libcadical-dev_1.7.4-1_amd64.deb   11-Feb-2024 05:47  341K  
 libcadical-dev_1.7.4-1_arm64.deb   11-Feb-2024 05:47  320K  
 libcadical-dev_1.7.4-1_armhf.deb   11-Feb-2024 05:47  334K  
 libcadical-dev_1.7.4-1_i386.deb    11-Feb-2024 05:47  384K  
 libcadical-dev_1.7.4-1_riscv64.deb 11-Feb-2024 07:23  1.3M  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!