../ cvc3-el_2.4.1-5.1ubuntu1_all.deb 23-Feb-2024 18:19 13642 cvc3_2.4.1-5.1ubuntu1_amd64.deb 23-Feb-2024 18:06 18472 libcvc3-5-java_2.4.1-5.1ubuntu1_all.deb 23-Feb-2024 18:02 72284 libcvc3-5-jni_2.4.1-5.1ubuntu1_amd64.deb 23-Feb-2024 18:12 59510 libcvc3-5v5_2.4.1-5.1ubuntu1_amd64.deb 23-Feb-2024 17:52 1773096 libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb 23-Feb-2024 17:59 141862