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                               11-Aug-2026 14:31               73336
libcvc4-5_1.6-2build2_amd64.deb                    12-May-2025 11:34             4512744
libcvc4-7_1.8-2_amd64.deb                          11-Aug-2026 14:31             5659900
libcvc4-dev_1.6-2build2_amd64.deb                  12-May-2025 11:34             7295824
libcvc4-dev_1.8-2_amd64.deb                        11-Aug-2026 14:31              123212
libcvc4parser5_1.6-2build2_amd64.deb               12-May-2025 11:34              364108
libcvc4parser7_1.8-2_amd64.deb                     11-Aug-2026 14:31              357524