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

../
cvc4_1.8-2_amd64.deb                               05-Mar-2022 12:13     80K
cvc4_1.8-3_amd64.deb                               07-Nov-2023 20:03     79K
libcvc4-7_1.8-2_amd64.deb                          05-Mar-2022 12:13      5M
libcvc4-7_1.8-3_amd64.deb                          07-Nov-2023 20:03      6M
libcvc4-dev_1.8-2_amd64.deb                        05-Mar-2022 12:13    128K
libcvc4-dev_1.8-3_amd64.deb                        07-Nov-2023 20:03    128K
libcvc4parser7_1.8-2_amd64.deb                     05-Mar-2022 12:13    358K
libcvc4parser7_1.8-3_amd64.deb                     07-Nov-2023 20:03    354K