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

../
cadical-dbgsym_2.1.3-2_sh4.deb                     15-Dec-2025 18:03            13878916
cadical-dbgsym_2.1.3-3_sh4.deb                     23-Mar-2026 18:03            13884724
cadical_2.1.3-2_sh4.buildinfo                      15-Dec-2025 18:03                5831
cadical_2.1.3-2_sh4.deb                            15-Dec-2025 18:03              519928
cadical_2.1.3-3_sh4.buildinfo                      23-Mar-2026 18:03                5815
cadical_2.1.3-3_sh4.deb                            23-Mar-2026 18:03              517608
libcadical-dev_2.1.3-2_sh4.deb                     15-Dec-2025 18:03              498476
libcadical-dev_2.1.3-3_sh4.deb                     23-Mar-2026 18:03              498768