Index of /testing/debian-10-official-release/pool/main/c/cvc4/

../
cvc4_1.6-2+b1_amd64.deb                            24-Sep-2019 00:33              136244
libcvc4-5_1.6-2+b1_amd64.deb                       24-Sep-2019 00:28             4056556
libcvc4-dev_1.6-2+b1_amd64.deb                     24-Sep-2019 00:20             6718020
libcvc4parser5_1.6-2+b1_amd64.deb                  24-Sep-2019 00:21              362516