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

../
cvc4_1.6-2+b1_amd64.deb                            06-Nov-2024 19:12    133K
cvc4_1.6-2+b1_i386.deb                             06-Nov-2024 19:12    136K
cvc4_1.6-2.debian.tar.xz                           06-Nov-2024 19:12    8232
cvc4_1.6-2.dsc                                     06-Nov-2024 19:12    2652
cvc4_1.6.orig.tar.gz                               06-Nov-2024 19:12      7M
cvc4_1.8-2.debian.tar.xz                           06-Nov-2024 19:12     16K
cvc4_1.8-2.dsc                                     06-Nov-2024 19:12    2275
cvc4_1.8-2_amd64.deb                               06-Nov-2024 19:12     80K
cvc4_1.8-2_i386.deb                                06-Nov-2024 19:12     81K
cvc4_1.8-3.debian.tar.xz                           06-Nov-2024 19:12     16K
cvc4_1.8-3.dsc                                     06-Nov-2024 19:12    2244
cvc4_1.8-3_amd64.deb                               06-Nov-2024 19:12     79K
cvc4_1.8-3_i386.deb                                06-Nov-2024 19:12     81K
cvc4_1.8.orig.tar.gz                               06-Nov-2024 19:12      7M
libcvc4-5_1.6-2+b1_amd64.deb                       06-Nov-2024 19:12      4M
libcvc4-5_1.6-2+b1_i386.deb                        06-Nov-2024 19:12      4M
libcvc4-7_1.8-2_amd64.deb                          06-Nov-2024 19:12      5M
libcvc4-7_1.8-2_i386.deb                           06-Nov-2024 19:12      6M
libcvc4-7_1.8-3_amd64.deb                          06-Nov-2024 19:12      6M
libcvc4-7_1.8-3_i386.deb                           06-Nov-2024 19:12      6M
libcvc4-dev_1.6-2+b1_amd64.deb                     06-Nov-2024 19:12      6M
libcvc4-dev_1.6-2+b1_i386.deb                      06-Nov-2024 19:12      7M
libcvc4-dev_1.8-2_amd64.deb                        06-Nov-2024 19:12    128K
libcvc4-dev_1.8-2_i386.deb                         06-Nov-2024 19:12    128K
libcvc4-dev_1.8-3_amd64.deb                        06-Nov-2024 19:12    128K
libcvc4-dev_1.8-3_i386.deb                         06-Nov-2024 19:12    128K
libcvc4parser5_1.6-2+b1_amd64.deb                  06-Nov-2024 19:12    354K
libcvc4parser5_1.6-2+b1_i386.deb                   06-Nov-2024 19:12    380K
libcvc4parser7_1.8-2_amd64.deb                     06-Nov-2024 19:12    358K
libcvc4parser7_1.8-2_i386.deb                      06-Nov-2024 19:12    374K
libcvc4parser7_1.8-3_amd64.deb                     06-Nov-2024 19:12    354K
libcvc4parser7_1.8-3_i386.deb                      06-Nov-2024 19:12    379K