Index of /debian/pool/main/c/cvc4/

../
cvc4_1.8-3+b4_amd64.deb                            07-Oct-2026 14:17               82828
cvc4_1.8-3+b4_i386.deb                             13-Jan-2026 13:17               85028
cvc4_1.8-3_amd64.deb                               07-Oct-2026 14:19               80688
cvc4_1.8-5+b1_amd64.deb                            07-Oct-2026 14:15               80352
libcvc4-7_1.8-3+b4_amd64.deb                       07-Oct-2026 14:17             6616160
libcvc4-7_1.8-3+b4_i386.deb                        13-Jan-2026 13:17             7176192
libcvc4-7_1.8-3_amd64.deb                          07-Oct-2026 14:19             5936792
libcvc4-7_1.8-5+b1_amd64.deb                       07-Oct-2026 14:15             6498200
libcvc4-dev_1.8-3+b4_amd64.deb                     07-Oct-2026 14:17              131428
libcvc4-dev_1.8-3+b4_i386.deb                      13-Jan-2026 13:17              131408
libcvc4-dev_1.8-3_amd64.deb                        07-Oct-2026 14:19              131112
libcvc4-dev_1.8-5+b1_amd64.deb                     07-Oct-2026 14:15              131080
libcvc4parser7_1.8-3+b4_amd64.deb                  07-Oct-2026 14:17              382200
libcvc4parser7_1.8-3+b4_i386.deb                   13-Jan-2026 13:17              411984
libcvc4parser7_1.8-3_amd64.deb                     07-Oct-2026 14:19              362304
libcvc4parser7_1.8-5+b1_amd64.deb                  07-Oct-2026 14:15              384736