Index of /bionic-18.04/pool/universe/c/cvc4/

../
cvc4_1.5-1_amd64.deb                               23-Feb-2024 17:57              138624
libcvc4-4_1.5-1_amd64.deb                          23-Feb-2024 18:22             3375660
libcvc4-dev_1.5-1_amd64.deb                        23-Feb-2024 18:06             5968312
libcvc4parser4_1.5-1_amd64.deb                     23-Feb-2024 18:01              363676