Index of /debian/pool/contrib/c/cvc4/

../
cvc4_1.6-2+b1_amd64.deb                            08-Jan-2023 13:35              136244
cvc4_1.6-2+b1_i386.deb                             08-Jan-2023 13:28              139464
libcvc4-5_1.6-2+b1_amd64.deb                       08-Jan-2023 13:54             4056556
libcvc4-5_1.6-2+b1_i386.deb                        08-Jan-2023 13:19             4507864
libcvc4-dev_1.6-2+b1_amd64.deb                     08-Jan-2023 13:53             6718020
libcvc4-dev_1.6-2+b1_i386.deb                      08-Jan-2023 13:53             7208884
libcvc4parser5_1.6-2+b1_amd64.deb                  08-Jan-2023 14:22              362516
libcvc4parser5_1.6-2+b1_i386.deb                   08-Jan-2023 13:26              389524