Index of /ubuntu/pool/universe/c/cadical

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] cadical_1.5.3-2.dsc              2022-11-15 06:18  1.9K  
[   ] cadical_1.5.3-2.debian.tar.xz    2022-11-15 06:18  2.9K  
[   ] libcadical-dev_1.5.3-2_amd64.deb 2022-11-15 06:29  311K  
[   ] cadical_1.5.3-2_amd64.deb        2022-11-15 06:29  352K  
[   ] cadical_1.5.3.orig.tar.gz        2022-11-06 05:33  582K
Apache/2.4.41 (Ubuntu) Server at ftp.de.netbsd.org Port 80