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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 cadical_1.5.3-2.debi..> 2022-11-15 02:53  2.9K  
 cadical_1.5.3-2.dsc     2022-11-15 02:53  1.9K  
 cadical_1.5.3-2_amd6..> 2022-11-15 03:25  309K  
 cadical_1.5.3.orig.t..> 2022-11-01 23:34  582K  
 cadical_1.7.4-1+b1_a..> 2024-10-28 19:02  387K  
 cadical_1.7.4-1.debi..> 2024-02-11 07:22  3.9K  
 cadical_1.7.4-1.dsc     2024-02-11 07:22  1.9K  
 cadical_1.7.4.orig.t..> 2024-02-11 07:22  633K  
 libcadical-dev_1.5.3..> 2022-11-15 03:25  281K  
 libcadical-dev_1.7.4..> 2024-10-28 19:02  344K