Index of /repo/ubuntu18/archive.ubuntu.com/ubuntu/pool/universe/c/cvc4/


../
cvc4_1.5-1_amd64.deb                               19-Oct-2021 09:09              138624
libcvc4-4_1.5-1_amd64.deb                          19-Oct-2021 09:09             3375660
libcvc4-dev_1.5-1_amd64.deb                        19-Oct-2021 09:09             5968312
libcvc4parser4_1.5-1_amd64.deb                     19-Oct-2021 09:09              363676