Index of /deepin/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