Index of /debian-bookworm/pool/main/c/cvc4/

../
cvc4_1.8-3_amd64.deb                               14-May-2025 11:10               80688
libcvc4-7_1.8-3_amd64.deb                          14-May-2025 11:29             5936792
libcvc4-dev_1.8-3_amd64.deb                        14-May-2025 11:42              131112
libcvc4parser7_1.8-3_amd64.deb                     14-May-2025 11:41              362304