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

../
cvc4_1.8-2_amd64.deb                               04-Sep-2024 18:59     80K
cvc4_1.8-3_amd64.deb                               03-Sep-2024 07:10     79K
libcvc4-7_1.8-2_amd64.deb                          04-Sep-2024 18:59      5M
libcvc4-7_1.8-3_amd64.deb                          03-Sep-2024 07:10      6M
libcvc4-dev_1.8-2_amd64.deb                        04-Sep-2024 18:59    128K
libcvc4-dev_1.8-3_amd64.deb                        03-Sep-2024 07:10    128K
libcvc4parser7_1.8-2_amd64.deb                     04-Sep-2024 18:59    358K
libcvc4parser7_1.8-3_amd64.deb                     03-Sep-2024 07:10    354K