Index of /enterprise/pool/main/c/cvc4/

../
cvc4_1.5-1.debian.tar.xz                           01-Aug-2017 03:00    6012
cvc4_1.5-1.dsc                                     01-Aug-2017 03:00    2221
cvc4_1.5-1_amd64.deb                               01-Aug-2017 03:00    133K
cvc4_1.5-1_i386.deb                                30-Oct-2017 07:11    137K
cvc4_1.5.orig.tar.gz                               01-Aug-2017 03:00      8M
libcvc4-4_1.5-1_amd64.deb                          01-Aug-2017 03:00      3M
libcvc4-4_1.5-1_i386.deb                           30-Oct-2017 07:11      3M
libcvc4-dev_1.5-1_amd64.deb                        01-Aug-2017 03:00      6M
libcvc4-dev_1.5-1_i386.deb                         30-Oct-2017 07:11      6M
libcvc4parser4_1.5-1_amd64.deb                     01-Aug-2017 03:00    356K
libcvc4parser4_1.5-1_i386.deb                      30-Oct-2017 07:11    382K