Index of /debian/pool/non-free-firmware/c/cvc4/

../
cvc4_1.8-3_amd64.deb                               01-Aug-2023 15:10               80688
libcvc4-7_1.8-3_amd64.deb                          01-Aug-2023 12:57             5936792
libcvc4-dev_1.8-3_amd64.deb                        01-Aug-2023 13:16              131112
libcvc4parser7_1.8-3_amd64.deb                     01-Aug-2023 13:56              362304