Index of /ubuntu/pool/universe/c/cvc3/

../
cvc3-el_2.4.1-5.1ubuntu1_all.deb                   11-Mar-2022 19:38     13K
cvc3_2.4.1-5.1ubuntu1_amd64.deb                    11-Mar-2022 19:38     18K
libcvc3-5-java_2.4.1-5.1ubuntu1_all.deb            11-Mar-2022 19:38     71K
libcvc3-5-jni_2.4.1-5.1ubuntu1_amd64.deb           11-Mar-2022 19:38     58K
libcvc3-5v5_2.4.1-5.1ubuntu1_amd64.deb             11-Mar-2022 19:38      2M
libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb             11-Mar-2022 19:38    139K