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

../
cadical-dbgsym_2.1.3-2_alpha.deb                   15-Dec-2025 12:03            13219852
cadical_2.1.3-2_alpha.buildinfo                    15-Dec-2025 12:03                5857
cadical_2.1.3-2_alpha.deb                          15-Dec-2025 12:03              409244
libcadical-dev_2.1.3-2_alpha.deb                   15-Dec-2025 12:03              466000