../ cvc3-el_2.4.1-4_all.deb 18-Aug-2012 18:23 14K cvc3_2.4.1-4.debian.tar.gz 18-Aug-2012 18:23 9058 cvc3_2.4.1-4.dsc 18-Aug-2012 18:23 2096 cvc3_2.4.1-4_amd64.deb 18-Aug-2012 18:23 23K cvc3_2.4.1.orig.tar.gz 04-Mar-2012 09:32 1M libcvc3-5-java_2.4.1-4_all.deb 18-Aug-2012 18:23 70K libcvc3-5-jni_2.4.1-4_amd64.deb 18-Aug-2012 18:23 79K libcvc3-5_2.4.1-4_amd64.deb 18-Aug-2012 18:23 2M libcvc3-dev_2.4.1-4_amd64.deb 18-Aug-2012 18:23 189K