Index of /ubuntu-old-releases/ubuntu/pool/universe/c/cvc4/
../
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
cvc4_1.8-2.debian.tar.xz 30-Sep-2020 15:43 16456
cvc4_1.8-2.dsc 30-Sep-2020 15:43 2275
cvc4_1.8-2_amd64.deb 30-Sep-2020 16:28 73336
cvc4_1.8-2_arm64.deb 30-Sep-2020 16:43 67816
cvc4_1.8-2_armhf.deb 30-Sep-2020 17:43 67376
cvc4_1.8-2_ppc64el.deb 30-Sep-2020 15:58 71500
cvc4_1.8-2_riscv64.deb 30-Sep-2020 19:03 69072
cvc4_1.8-2_s390x.deb 30-Sep-2020 15:58 68444
cvc4_1.8.orig.tar.gz 30-Sep-2020 15:43 7547187
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-7_1.8-2_amd64.deb 30-Sep-2020 16:28 5659900
libcvc4-7_1.8-2_arm64.deb 30-Sep-2020 16:43 4796268
libcvc4-7_1.8-2_armhf.deb 30-Sep-2020 17:43 5029444
libcvc4-7_1.8-2_ppc64el.deb 30-Sep-2020 15:58 5296712
libcvc4-7_1.8-2_riscv64.deb 30-Sep-2020 19:03 5477072
libcvc4-7_1.8-2_s390x.deb 30-Sep-2020 15:58 5410100
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
libcvc4-dev_1.8-2_amd64.deb 30-Sep-2020 16:28 123212
libcvc4-dev_1.8-2_arm64.deb 30-Sep-2020 16:43 123208
libcvc4-dev_1.8-2_armhf.deb 30-Sep-2020 17:43 123208
libcvc4-dev_1.8-2_ppc64el.deb 30-Sep-2020 15:58 123220
libcvc4-dev_1.8-2_riscv64.deb 30-Sep-2020 19:03 123212
libcvc4-dev_1.8-2_s390x.deb 30-Sep-2020 15:58 123212
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
libcvc4parser7_1.8-2_amd64.deb 30-Sep-2020 16:28 357524
libcvc4parser7_1.8-2_arm64.deb 30-Sep-2020 16:43 318624
libcvc4parser7_1.8-2_armhf.deb 30-Sep-2020 17:43 318988
libcvc4parser7_1.8-2_ppc64el.deb 30-Sep-2020 15:58 346156
libcvc4parser7_1.8-2_riscv64.deb 30-Sep-2020 19:03 339720
libcvc4parser7_1.8-2_s390x.deb 30-Sep-2020 15:58 331804