Index of /linux/debian/debian-ports/pool-sh4/main/c/cadical

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] cadical-dbgsym_2.1.3-3_sh4.deb              2026-03-23 19:03   13M  
[   ] cadical_2.1.3-3_sh4.buildinfo               2026-03-23 19:03  5.7K  
[   ] cadical_2.1.3-3_sh4.deb                     2026-03-23 19:03  505K  
[   ] libcadical-dev_2.1.3-3_sh4.deb              2026-03-23 19:03  487K