Index of /pub/ubuntu/ubuntu-archives/pool/universe/c/cadical

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cadical_1.5.3.orig.tar.gz2022-11-06 05:33 582K 
[   ]cadical_1.5.3-2_amd64.deb2022-11-15 06:29 352K 
[   ]libcadical-dev_1.5.3-2_amd64.deb2022-11-15 06:29 311K 
[   ]cadical_1.5.3-2.debian.tar.xz2022-11-15 06:18 2.9K 
[TXT]cadical_1.5.3-2.dsc2022-11-15 06:18 1.9K 

Apache/2.4.62 (Debian) Server at mirror.ibcp.fr Port 443