../ cvc3-el_2.4.1-5.1_all.deb 27-Nov-2019 13:35 13902 cvc3_2.4.1-5.1_amd64.deb 27-Nov-2019 13:35 20630 libcvc3-5-java_2.4.1-5.1_all.deb 27-Nov-2019 13:35 72544 libcvc3-5-jni_2.4.1-5.1_amd64.deb 27-Nov-2019 13:35 61660 libcvc3-5_2.4.1-5.1_amd64.deb 27-Nov-2019 13:35 1772774 libcvc3-dev_2.4.1-5.1_amd64.deb 27-Nov-2019 13:35 143728