Index of /DEBIAN/pool/main/c/cadical/

../
cadical_1.7.4-1+b1_amd64.deb                       20-Jun-2026 21:03    387K
cadical_1.7.4-1+b1_i386.deb                        13-Sep-2026 08:58    419K
libcadical-dev_1.7.4-1+b1_amd64.deb                20-Jun-2026 21:03    344K
libcadical-dev_1.7.4-1+b1_i386.deb                 13-Sep-2026 08:58    386K