Index of /linux/ubuntu/jammy/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               18-Dec-2022 14:10               73336
libcvc4-7_1.8-2_amd64.deb                          18-Dec-2022 13:07             5659900
libcvc4-dev_1.8-2_amd64.deb                        18-Dec-2022 13:31              123212
libcvc4parser7_1.8-2_amd64.deb                     18-Dec-2022 14:01              357524