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

../
cvc4_1.5-1_amd64.deb                               02-Oct-2018 09:19              138624
libcvc4-4_1.5-1_amd64.deb                          02-Oct-2018 09:16             3375660
libcvc4-dev_1.5-1_amd64.deb                        02-Oct-2018 09:43             5968312
libcvc4parser4_1.5-1_amd64.deb                     02-Oct-2018 09:49              363676