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