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

../
cvc4_1.8-2.debian.tar.xz                           31-Oct-2025 09:23               16456
cvc4_1.8-2.dsc                                     31-Oct-2025 09:23                2275
cvc4_1.8-2_amd64.deb                               31-Oct-2025 09:23               81488
cvc4_1.8-3+b4_amd64.deb                            31-Oct-2025 09:23               82828
cvc4_1.8-3.debian.tar.xz                           31-Oct-2025 09:23               16728
cvc4_1.8-3.dsc                                     31-Oct-2025 09:23                2244
cvc4_1.8-3_amd64.deb                               31-Oct-2025 09:23               80688
cvc4_1.8.orig.tar.gz                               31-Oct-2025 09:23             7547187
libcvc4-7_1.8-2_amd64.deb                          31-Oct-2025 09:23             5651716
libcvc4-7_1.8-3+b4_amd64.deb                       31-Oct-2025 09:23             6616160
libcvc4-7_1.8-3_amd64.deb                          31-Oct-2025 09:23             5936792
libcvc4-dev_1.8-2_amd64.deb                        31-Oct-2025 09:23              131264
libcvc4-dev_1.8-3+b4_amd64.deb                     31-Oct-2025 09:23              131428
libcvc4-dev_1.8-3_amd64.deb                        31-Oct-2025 09:23              131112
libcvc4parser7_1.8-2_amd64.deb                     31-Oct-2025 09:23              366212
libcvc4parser7_1.8-3+b4_amd64.deb                  31-Oct-2025 09:23              382200
libcvc4parser7_1.8-3_amd64.deb                     31-Oct-2025 09:23              362304