../ cvc3-el_2.4.1-5.1ubuntu1_all.deb 19-Oct-2021 09:09 13642 cvc3_2.4.1-5.1ubuntu1_amd64.deb 19-Oct-2021 09:09 18472 libcvc3-5-java_2.4.1-5.1ubuntu1_all.deb 19-Oct-2021 09:09 72284 libcvc3-5-jni_2.4.1-5.1ubuntu1_amd64.deb 19-Oct-2021 09:09 59510 libcvc3-5v5_2.4.1-5.1ubuntu1_amd64.deb 19-Oct-2021 09:09 1773096 libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb 19-Oct-2021 09:09 141862