Index of /01042025/pool/universe/c/cvc4/


../
cvc4_1.8-2_amd64.deb                               17-Dec-2024 12:01               73336
libcvc4-7_1.8-2_amd64.deb                          17-Dec-2024 09:56             5659900
libcvc4-dev_1.8-2_amd64.deb                        17-Dec-2024 13:02              123212
libcvc4parser7_1.8-2_amd64.deb                     17-Dec-2024 10:27              357524