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

../
cvc4_1.5-1_amd64.deb                               28-May-2020 18:01              138624
libcvc4-4_1.5-1_amd64.deb                          28-May-2020 18:01             3375660
libcvc4-dev_1.5-1_amd64.deb                        28-May-2020 17:45             5968312
libcvc4parser4_1.5-1_amd64.deb                     28-May-2020 17:45              363676