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

../
cvc4_1.8-2_amd64.deb                               20-Dec-2022 22:55               81488
libcvc4-7_1.8-2_amd64.deb                          20-Dec-2022 20:21             5651716
libcvc4-dev_1.8-2_amd64.deb                        20-Dec-2022 20:24              131264
libcvc4parser7_1.8-2_amd64.deb                     20-Dec-2022 20:09              366212