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


../
cadical-dbgsym_1.7.4-1_alpha.deb                   12-Feb-2024 09:03     10M
cadical_1.7.4-1_alpha.buildinfo                    12-Feb-2024 09:03    6250
cadical_1.7.4-1_alpha.deb                          12-Feb-2024 09:03    342K
libcadical-dev_1.7.4-1_alpha.deb                   12-Feb-2024 09:03    374K