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

Name	Last Modified	Size
Parent Directory
cvc4_1.5-1.debian.tar.xz	01-11-2017 13:57	8k
cvc4_1.5-1.dsc	01-11-2017 13:57	4k
cvc4_1.5-1_amd64.deb	03-11-2017 06:57	136k
cvc4_1.5-1_i386.deb	03-11-2017 06:59	140k
cvc4_1.5.orig.tar.gz	01-11-2017 13:57	7744k
cvc4_1.6-2build2.debian.tar.xz	03-02-2020 22:24	12k
cvc4_1.6-2build2.dsc	03-02-2020 22:24	4k
cvc4_1.6-2build2_amd64.deb	03-02-2020 23:45	136k
cvc4_1.6.orig.tar.gz	12-08-2018 05:13	7636k
cvc4_1.8-2.debian.tar.xz	30-09-2020 15:43	20k
cvc4_1.8-2.dsc	30-09-2020 15:43	4k
cvc4_1.8-2_amd64.deb	30-09-2020 16:28	72k
cvc4_1.8-3.debian.tar.xz	06-11-2022 03:17	20k
cvc4_1.8-3.dsc	06-11-2022 03:17	4k
cvc4_1.8-3_amd64.deb	06-11-2022 03:21	76k
cvc4_1.8-3build2.debian.tar.xz	31-03-2024 18:36	20k
cvc4_1.8-3build2.dsc	31-03-2024 18:36	4k
cvc4_1.8-3build2_amd64.deb	31-03-2024 20:36	76k
cvc4_1.8.orig.tar.gz	30-09-2020 15:43	7372k
libcvc4-4_1.5-1_amd64.deb	03-11-2017 06:57	3300k
libcvc4-4_1.5-1_i386.deb	03-11-2017 06:59	3536k
libcvc4-5_1.6-2build2_amd64.deb	03-02-2020 23:45	4408k
libcvc4-7_1.8-2_amd64.deb	30-09-2020 16:28	5528k
libcvc4-7_1.8-3_amd64.deb	06-11-2022 03:21	4656k
libcvc4-7_1.8-3build2_amd64.deb	31-03-2024 20:36	4624k
libcvc4-dev_1.5-1_amd64.deb	03-11-2017 06:57	5832k
libcvc4-dev_1.5-1_i386.deb	03-11-2017 06:59	6236k
libcvc4-dev_1.6-2build2_amd64.deb	03-02-2020 23:45	7128k
libcvc4-dev_1.8-2_amd64.deb	30-09-2020 16:28	124k
libcvc4-dev_1.8-3_amd64.deb	06-11-2022 03:21	124k
libcvc4-dev_1.8-3build2_amd64.deb	31-03-2024 20:36	124k
libcvc4parser4_1.5-1_amd64.deb	03-11-2017 06:57	356k
libcvc4parser4_1.5-1_i386.deb	03-11-2017 06:59	384k
libcvc4parser5_1.6-2build2_amd64.deb	03-02-2020 23:45	356k
libcvc4parser7_1.8-2_amd64.deb	30-09-2020 16:28	352k
libcvc4parser7_1.8-3_amd64.deb	06-11-2022 03:21	372k
libcvc4parser7_1.8-3build2_amd64.deb	31-03-2024 20:36	368k

Alojado en Chile por Hostenode SpA - https://hnd.cl