Index of /pool/main/c/cadical/

../
cadical-dbgsym_1.5.3-2+b1_riscv64.deb              05-Jun-2024 04:34             6530248
cadical-dbgsym_1.5.3-2_riscv64.deb                 30-Jun-2026 14:00             6530260
cadical_1.5.3-2+b1_riscv64.buildinfo               05-Jun-2024 04:34                5484
cadical_1.5.3-2+b1_riscv64.deb                     05-Jun-2024 04:34              317204
cadical_1.5.3-2.debian.tar.xz                      08-May-2024 13:27                2976
cadical_1.5.3-2.dsc                                08-May-2024 13:27                1996
cadical_1.5.3-2_riscv64.buildinfo                  30-Jun-2026 14:00                5407
cadical_1.5.3-2_riscv64.deb                        30-Jun-2026 14:00              316984
cadical_1.5.3.orig.tar.gz                          08-May-2024 13:27              596378
libcadical-dev_1.5.3-2+b1_riscv64.deb              05-Jun-2024 04:34             1002944
libcadical-dev_1.5.3-2_riscv64.deb                 30-Jun-2026 14:00              999644