../ cvc3-el_2.4.1-5ubuntu1_all.deb 14-May-2025 16:35 13616 cvc3_2.4.1-5ubuntu1_amd64.deb 14-May-2025 18:01 18656 libcvc3-5-java_2.4.1-5ubuntu1_all.deb 14-May-2025 15:05 70774 libcvc3-5-jni_2.4.1-5ubuntu1_amd64.deb 14-May-2025 16:11 60058 libcvc3-5v5_2.4.1-5ubuntu1_amd64.deb 14-May-2025 15:15 1807552 libcvc3-dev_2.4.1-5ubuntu1_amd64.deb 14-May-2025 16:47 142150