Index of /resolute/pool/universe/c/cvc4/

../
cvc4_1.8-5_amd64.deb                               16-Sep-2026 13:18               70364
libcvc4-7_1.8-5_amd64.deb                          16-Sep-2026 13:18             4918224
libcvc4-dev_1.8-5_amd64.deb                        16-Sep-2026 13:18              125236
libcvc4parser7_1.8-5_amd64.deb                     16-Sep-2026 13:18              384090