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

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