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_amd64.deb          2024-02-15 12:30  454K  
 cadical_1.7.4-1_arm64.deb          2024-02-15 12:31  432K  
 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_amd64.deb          2025-12-15 20:29  521K  
 cadical_2.1.3-2_amd64v3.deb        2025-12-15 20:30  541K  
 cadical_2.1.3-2_arm64.deb          2025-12-15 20:30  521K  
 cadical_2.1.3-3.debian.tar.xz      2026-05-15 11:28  4.7K  
 cadical_2.1.3-3.dsc                2026-05-15 11:28  2.0K  
 cadical_2.1.3-3_amd64.deb          2026-05-15 12:15  519K  
 cadical_2.1.3-3_amd64v3.deb        2026-05-15 12:15  536K  
 cadical_2.1.3-3_arm64.deb          2026-05-15 12:34  514K  
 cadical_2.1.3.orig.tar.gz          2025-12-02 08:17  714K  
 libcadical-dev_1.7.4-1_amd64.deb   2024-02-15 12:30  376K  
 libcadical-dev_1.7.4-1_arm64.deb   2024-02-15 12:31  374K  
 libcadical-dev_2.1.3-2_amd64.deb   2025-12-15 20:29  457K  
 libcadical-dev_2.1.3-2_amd64v3.deb 2025-12-15 20:30  471K  
 libcadical-dev_2.1.3-2_arm64.deb   2025-12-15 20:30  464K  
 libcadical-dev_2.1.3-3_amd64.deb   2026-05-15 12:15  467K  
 libcadical-dev_2.1.3-3_amd64v3.deb 2026-05-15 12:15  482K  
 libcadical-dev_2.1.3-3_arm64.deb   2026-05-15 12:34  473K