Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

Index of /pub/ubuntu/pool/universe/c/cvc4/

Index of /pub/ubuntu/pool/universe/c/cvc4/

File NameFile SizeDate
Parent directory/--
cvc4_1.5-1.debian.tar.xz 601201-Nov-2017 13:57
cvc4_1.5-1.dsc 222101-Nov-2017 13:57
cvc4_1.5-1_amd64.deb 13862403-Nov-2017 06:57
cvc4_1.5-1_i386.deb 14280403-Nov-2017 06:59
cvc4_1.5.orig.tar.gz 792611601-Nov-2017 13:57
cvc4_1.6-2build2.debian.tar.xz 839203-Feb-2020 22:24
cvc4_1.6-2build2.dsc 275503-Feb-2020 22:24
cvc4_1.6-2build2_amd64.deb 13773203-Feb-2020 23:45
cvc4_1.6.orig.tar.gz 781589312-Aug-2018 05:13
cvc4_1.8-2.debian.tar.xz 1645630-Sep-2020 15:43
cvc4_1.8-2.dsc 227530-Sep-2020 15:43
cvc4_1.8-2_amd64.deb 7333630-Sep-2020 16:28
cvc4_1.8-3.debian.tar.xz 1672806-Nov-2022 03:17
cvc4_1.8-3.dsc 224406-Nov-2022 03:17
cvc4_1.8-3_amd64.deb 7453006-Nov-2022 03:21
cvc4_1.8-3build1.debian.tar.xz 1680814-Mar-2024 03:05
cvc4_1.8-3build1.dsc 224714-Mar-2024 03:05
cvc4_1.8-3build1_amd64.deb 7539814-Mar-2024 03:05
cvc4_1.8.orig.tar.gz 754718730-Sep-2020 15:43
libcvc4-4_1.5-1_amd64.deb 337566003-Nov-2017 06:57
libcvc4-4_1.5-1_i386.deb 361882803-Nov-2017 06:59
libcvc4-5_1.6-2build2_amd64.deb 451274403-Feb-2020 23:45
libcvc4-7_1.8-2_amd64.deb 565990030-Sep-2020 16:28
libcvc4-7_1.8-3_amd64.deb 476551606-Nov-2022 03:21
libcvc4-7_1.8-3build1_amd64.deb 473495614-Mar-2024 03:05
libcvc4-dev_1.5-1_amd64.deb 596831203-Nov-2017 06:57
libcvc4-dev_1.5-1_i386.deb 638432003-Nov-2017 06:59
libcvc4-dev_1.6-2build2_amd64.deb 729582403-Feb-2020 23:45
libcvc4-dev_1.8-2_amd64.deb 12321230-Sep-2020 16:28
libcvc4-dev_1.8-3_amd64.deb 12521606-Nov-2022 03:21
libcvc4-dev_1.8-3build1_amd64.deb 12526214-Mar-2024 03:05
libcvc4parser4_1.5-1_amd64.deb 36367603-Nov-2017 06:57
libcvc4parser4_1.5-1_i386.deb 39027203-Nov-2017 06:59
libcvc4parser5_1.6-2build2_amd64.deb 36410803-Feb-2020 23:45
libcvc4parser7_1.8-2_amd64.deb 35752430-Sep-2020 16:28
libcvc4parser7_1.8-3_amd64.deb 37906806-Nov-2022 03:21
libcvc4parser7_1.8-3build1_amd64.deb 37370414-Mar-2024 03:05