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

../
cvc4_1.5-1.debian.tar.xz                           01-Nov-2017 13:57                6012
cvc4_1.5-1.dsc                                     01-Nov-2017 13:57                2221
cvc4_1.5-1_i386.deb                                03-Nov-2017 06:59              142804
cvc4_1.5.orig.tar.gz                               01-Nov-2017 13:57             7926116
libcvc4-4_1.5-1_i386.deb                           03-Nov-2017 06:59             3618828
libcvc4-dev_1.5-1_i386.deb                         03-Nov-2017 06:59             6384320
libcvc4parser4_1.5-1_i386.deb                      03-Nov-2017 06:59              390272