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

../
cadical-dbgsym_2.1.3-3_alpha.deb                   25-Mar-2026 00:03     13M
cadical_2.1.3-3_alpha.buildinfo                    25-Mar-2026 00:03    5779
cadical_2.1.3-3_alpha.deb                          25-Mar-2026 00:03    418K
libcadical-dev_2.1.3-3_alpha.deb                   25-Mar-2026 00:03    469K