Index of /ubuntu-testing/pool/main/c/cvc4/


../
cvc4_1.5-1_amd64.deb                               28-May-2020 18:01              138624
cvc4_1.6-2build2_amd64.deb                         21-Dec-2020 16:08              137732
libcvc4-4_1.5-1_amd64.deb                          28-May-2020 18:01             3375660
libcvc4-5_1.6-2build2_amd64.deb                    21-Dec-2020 15:54             4512744
libcvc4-dev_1.5-1_amd64.deb                        28-May-2020 17:45             5968312
libcvc4-dev_1.6-2build2_amd64.deb                  21-Dec-2020 16:06             7295824
libcvc4parser4_1.5-1_amd64.deb                     28-May-2020 17:45              363676
libcvc4parser5_1.6-2build2_amd64.deb               21-Dec-2020 15:09              364108