../ cvc3-el_2.4.1-5.1ubuntu1_all.deb 11-Sep-2025 17:48 13642 cvc3_2.4.1-5.1ubuntu1_amd64.deb 11-Sep-2025 17:57 18472 libcvc3-5-java_2.4.1-5.1ubuntu1_all.deb 11-Sep-2025 17:57 72284 libcvc3-5-jni_2.4.1-5.1ubuntu1_amd64.deb 11-Sep-2025 17:53 59510 libcvc3-5v5_2.4.1-5.1ubuntu1_amd64.deb 11-Sep-2025 17:54 1773096 libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb 11-Sep-2025 17:41 141862