../ cvc3-el_2.4.1-5.1_all.deb 20-Dec-2022 17:29 14K cvc3_2.4.1-5.1_amd64.deb 20-Dec-2022 17:29 20K libcvc3-5-java_2.4.1-5.1_all.deb 20-Dec-2022 17:29 71K libcvc3-5-jni_2.4.1-5.1_amd64.deb 20-Dec-2022 17:29 60K libcvc3-5_2.4.1-5.1_amd64.deb 20-Dec-2022 17:29 2M libcvc3-dev_2.4.1-5.1_amd64.deb 20-Dec-2022 17:29 140K