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