../ cvc3-el_2.4.1-4ubuntu1_all.deb 04-Feb-2014 04:48 13306 cvc3_2.4.1-4ubuntu1_amd64.deb 04-Feb-2014 04:48 18726 libcvc3-5-java_2.4.1-4ubuntu1_all.deb 04-Feb-2014 04:48 70410 libcvc3-5-jni_2.4.1-4ubuntu1_amd64.deb 04-Feb-2014 04:48 60298 libcvc3-5_2.4.1-4ubuntu1_amd64.deb 04-Feb-2014 04:48 1804328 libcvc3-dev_2.4.1-4ubuntu1_amd64.deb 04-Feb-2014 04:48 142032