Index of /pub/linux/INSTALL/Ubuntu/archive/ubuntu/pool/universe/c/cadical

Icon  Name                                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                                               -   
[   ] cadical_1.7.4-1.debian.tar.xz                             2024-02-15 12:29  3.9K  
[TXT] 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.orig.tar.gz                                 2024-02-15 12:29  633K  
[   ] libcadical-dev_1.7.4-1_amd64.deb                          2024-02-15 12:30  376K