Index of /ubuntu/pool/universe/c/cvc4/

../
cvc4_1.5-1.debian.tar.xz                           01-Nov-2017 21:57    6012
cvc4_1.5-1.dsc                                     01-Nov-2017 21:57    2221
cvc4_1.5-1_amd64.deb                               03-Nov-2017 14:57    135K
cvc4_1.5-1_i386.deb                                03-Nov-2017 14:59    139K
cvc4_1.5.orig.tar.gz                               01-Nov-2017 21:57      8M
libcvc4-4_1.5-1_amd64.deb                          03-Nov-2017 14:57      3M
libcvc4-4_1.5-1_i386.deb                           03-Nov-2017 14:59      3M
libcvc4-dev_1.5-1_amd64.deb                        03-Nov-2017 14:57      6M
libcvc4-dev_1.5-1_i386.deb                         03-Nov-2017 14:59      6M
libcvc4parser4_1.5-1_amd64.deb                     03-Nov-2017 14:57    355K
libcvc4parser4_1.5-1_i386.deb                      03-Nov-2017 14:59    381K