../ cvc3-el_2.4.1-5.1ubuntu1_all.deb 22-Jan-2017 04:53 13642 cvc3_2.4.1-5.1ubuntu1_amd64.deb 22-Jan-2017 04:53 18472 libcvc3-5-java_2.4.1-5.1ubuntu1_all.deb 22-Jan-2017 04:53 72284 libcvc3-5-jni_2.4.1-5.1ubuntu1_amd64.deb 22-Jan-2017 04:53 59510 libcvc3-5v5_2.4.1-5.1ubuntu1_amd64.deb 22-Jan-2017 04:53 1773096 libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb 22-Jan-2017 04:53 141862