../ cvc3-el_2.4.1-5ubuntu1_all.deb 16-Mar-2016 11:07 13616 cvc3_2.4.1-5ubuntu1_amd64.deb 16-Mar-2016 11:21 18656 libcvc3-5-java_2.4.1-5ubuntu1_all.deb 16-Mar-2016 10:32 70774 libcvc3-5-jni_2.4.1-5ubuntu1_amd64.deb 16-Mar-2016 11:44 60058 libcvc3-5v5_2.4.1-5ubuntu1_amd64.deb 16-Mar-2016 10:30 1807552 libcvc3-dev_2.4.1-5ubuntu1_amd64.deb 16-Mar-2016 10:03 142150