Index of /01042025/pool/main/c/cvc4/

../
cvc4_1.8-3build2_amd64.deb                         23-Dec-2024 18:10               75388
libcvc4-7_1.8-3build2_amd64.deb                    23-Dec-2024 16:37             4734878
libcvc4-dev_1.8-3build2_amd64.deb                  23-Dec-2024 20:11              125256
libcvc4parser7_1.8-3build2_amd64.deb               23-Dec-2024 19:33              373822