Index of /deepin/pool/main/c/cvc4

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] cvc4_1.5-1.debian.tar.xz 2017-07-31 21:00 5.9K [   ] cvc4_1.5-1.dsc 2017-07-31 21:00 2.2K [   ] cvc4_1.5-1_amd64.deb 2017-07-31 21:00 133K [   ] cvc4_1.5-1_i386.deb 2017-10-30 00:11 137K [   ] cvc4_1.5.orig.tar.gz 2017-07-31 21:00 7.6M [   ] libcvc4-4_1.5-1_amd64.deb 2017-07-31 21:00 3.4M [   ] libcvc4-4_1.5-1_i386.deb 2017-10-30 00:11 3.5M [   ] libcvc4-dev_1.5-1_amd64.deb 2017-07-31 21:00 5.9M [   ] libcvc4-dev_1.5-1_i386.deb 2017-10-30 00:11 6.1M [   ] libcvc4parser4_1.5-1_amd64.deb 2017-07-31 21:00 356K [   ] libcvc4parser4_1.5-1_i386.deb 2017-10-30 00:11 382K
Apache/2.4 Server at ftp5.de.freebsd.org Port 80