Index of /ubuntu-security/pool/universe/c/cvc4/

../
cvc4_1.6-2build2_amd64.deb                         12-May-2025 11:34              137732
cvc4_1.8-2_amd64.deb                               17-Apr-2026 15:16               73336
libcvc4-5_1.6-2build2_amd64.deb                    12-May-2025 11:34             4512744
libcvc4-7_1.8-2_amd64.deb                          17-Apr-2026 15:16             5659900
libcvc4-dev_1.6-2build2_amd64.deb                  12-May-2025 11:34             7295824
libcvc4-dev_1.8-2_amd64.deb                        17-Apr-2026 15:16              123212
libcvc4parser5_1.6-2build2_amd64.deb               12-May-2025 11:34              364108
libcvc4parser7_1.8-2_amd64.deb                     17-Apr-2026 15:16              357524