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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcadical-dev_1.7.4-1+b1_amd64.deb2024-10-28 11:02 344K 
[ ]cadical_1.7.4-1+b1_amd64.deb2024-10-28 11:02 387K 
Apache/2.4.65 (Debian) Server at updates.boyerfam.duckdns.org Port 80