Index of /vendor/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               05-Sep-2024 21:26               73336
libcvc4-7_1.8-2_amd64.deb                          05-Sep-2024 21:24             5659900
libcvc4-dev_1.8-2_amd64.deb                        05-Sep-2024 21:29              123212
libcvc4parser7_1.8-2_amd64.deb                     05-Sep-2024 21:34              357524