Index of /pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               09-Aug-2024 14:06               73336
libcvc4-7_1.8-2_amd64.deb                          09-Aug-2024 14:16             5659900
libcvc4-dev_1.8-2_amd64.deb                        09-Aug-2024 14:10              123212
libcvc4parser7_1.8-2_amd64.deb                     09-Aug-2024 14:09              357524