Index of /pool/main/c/cvc3/

../
cvc3-el_2.4.1-5.1ubuntu1~ubuntu16.04+1_all.deb     09-Nov-2017 10:03               14112
cvc3_2.4.1-5.1ubuntu1~ubuntu16.04+1.debian.tar.xz  09-Nov-2017 10:03               10508
cvc3_2.4.1-5.1ubuntu1~ubuntu16.04+1.dsc            09-Nov-2017 10:03                2075
cvc3_2.4.1-5.1ubuntu1~ubuntu16.04+1_amd64.deb      09-Nov-2017 10:03               20624
cvc3_2.4.1.orig.tar.gz                             09-Nov-2017 10:03             1175794
libcvc3-5-java_2.4.1-5.1ubuntu1~ubuntu16.04+1_a..> 09-Nov-2017 10:03               72166
libcvc3-5-jni_2.4.1-5.1ubuntu1~ubuntu16.04+1_am..> 09-Nov-2017 10:03               61936
libcvc3-5v5_2.4.1-5.1ubuntu1~ubuntu16.04+1_amd6..> 09-Nov-2017 10:03             1808458
libcvc3-dev_2.4.1-5.1ubuntu1~ubuntu16.04+1_amd6..> 09-Nov-2017 10:03              144178