Index of /pub/ubuntu/pool/universe/c/cvc4/
../
cvc4_1.5-1.debian.tar.xz 01-Nov-2017 13:57 6012
cvc4_1.5-1.dsc 01-Nov-2017 13:57 2221
cvc4_1.5-1_amd64.deb 03-Nov-2017 06:57 138624
cvc4_1.5-1_i386.deb 03-Nov-2017 06:59 142804
cvc4_1.5-1buil1build1.debian.tar.xz 17-Jul-2018 15:38 6120
cvc4_1.5-1buil1build1.dsc 17-Jul-2018 15:38 2290
cvc4_1.5-1buil1build1_amd64.deb 17-Jul-2018 16:43 134116
cvc4_1.5-1buil1build1_i386.deb 17-Jul-2018 16:58 137536
cvc4_1.5.orig.tar.gz 01-Nov-2017 13:57 7926116
cvc4_1.6-2build1.debian.tar.xz 14-Jan-2019 21:10 8312
cvc4_1.6-2build1.dsc 14-Jan-2019 21:10 2701
cvc4_1.6-2build1_amd64.deb 14-Jan-2019 22:00 133908
cvc4_1.6-2build1_i386.deb 14-Jan-2019 22:53 136732
cvc4_1.6.orig.tar.gz 12-Aug-2018 05:13 7815893
libcvc4-4_1.5-1_amd64.deb 03-Nov-2017 06:57 3375660
libcvc4-4_1.5-1_i386.deb 03-Nov-2017 06:59 3618828
libcvc4-4_1.5-1buil1build1_amd64.deb 17-Jul-2018 16:43 3456288
libcvc4-4_1.5-1buil1build1_i386.deb 17-Jul-2018 16:58 3727332
libcvc4-5_1.6-2build1_amd64.deb 14-Jan-2019 22:00 4042036
libcvc4-5_1.6-2build1_i386.deb 14-Jan-2019 22:53 4492008
libcvc4-dev_1.5-1_amd64.deb 03-Nov-2017 06:57 5968312
libcvc4-dev_1.5-1_i386.deb 03-Nov-2017 06:59 6384320
libcvc4-dev_1.5-1buil1build1_amd64.deb 17-Jul-2018 16:43 6197660
libcvc4-dev_1.5-1buil1build1_i386.deb 17-Jul-2018 16:58 6616016
libcvc4-dev_1.6-2build1_amd64.deb 14-Jan-2019 22:00 6711840
libcvc4-dev_1.6-2build1_i386.deb 14-Jan-2019 22:53 7207616
libcvc4parser4_1.5-1_amd64.deb 03-Nov-2017 06:57 363676
libcvc4parser4_1.5-1_i386.deb 03-Nov-2017 06:59 390272
libcvc4parser4_1.5-1buil1build1_amd64.deb 17-Jul-2018 16:43 362180
libcvc4parser4_1.5-1buil1build1_i386.deb 17-Jul-2018 16:58 392324
libcvc4parser5_1.6-2build1_amd64.deb 14-Jan-2019 22:00 357172
libcvc4parser5_1.6-2build1_i386.deb 14-Jan-2019 22:53 384780