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

../
cvc3-el_2.4.1-4ubuntu1_all.deb                     04-Feb-2014 04:48               13306
cvc3_2.4.1-4ubuntu1_amd64.deb                      04-Feb-2014 04:48               18726
libcvc3-5-java_2.4.1-4ubuntu1_all.deb              04-Feb-2014 04:48               70410
libcvc3-5-jni_2.4.1-4ubuntu1_amd64.deb             04-Feb-2014 04:48               60298
libcvc3-5_2.4.1-4ubuntu1_amd64.deb                 04-Feb-2014 04:48             1804328
libcvc3-dev_2.4.1-4ubuntu1_amd64.deb               04-Feb-2014 04:48              142032