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

Filename	Modification time	Size
cvc4_1.5-1.debian.tar.xz	2017-11-01 14:57 CET	6012 B
cvc4_1.5-1.dsc	2017-11-01 14:57 CET	2221 B
cvc4_1.5-1_amd64.deb	2017-11-03 07:57 CET	135 KiB
cvc4_1.5-1_i386.deb	2017-11-03 07:59 CET	139 KiB
cvc4_1.5.orig.tar.gz	2017-11-01 14:57 CET	7740 KiB
cvc4_1.6-2build2.debian.tar.xz	2020-02-03 23:24 CET	8392 B
cvc4_1.6-2build2.dsc	2020-02-03 23:24 CET	2755 B
cvc4_1.6-2build2_amd64.deb	2020-02-04 00:45 CET	135 KiB
cvc4_1.6.orig.tar.gz	2018-08-12 07:13 CEST	7633 KiB
cvc4_1.8-2.debian.tar.xz	2020-09-30 17:43 CEST	16 KiB
cvc4_1.8-2.dsc	2020-09-30 17:43 CEST	2275 B
cvc4_1.8-2_amd64.deb	2020-09-30 18:28 CEST	72 KiB
cvc4_1.8-3build2.debian.tar.xz	2024-03-31 20:36 CEST	16 KiB
cvc4_1.8-3build2.dsc	2024-03-31 20:36 CEST	2363 B
cvc4_1.8-3build2_amd64.deb	2024-03-31 22:36 CEST	74 KiB
cvc4_1.8.orig.tar.gz	2020-09-30 17:43 CEST	7370 KiB
libcvc4-4_1.5-1_amd64.deb	2017-11-03 07:57 CET	3297 KiB
libcvc4-4_1.5-1_i386.deb	2017-11-03 07:59 CET	3534 KiB
libcvc4-5_1.6-2build2_amd64.deb	2020-02-04 00:45 CET	4407 KiB
libcvc4-7_1.8-2_amd64.deb	2020-09-30 18:28 CEST	5527 KiB
libcvc4-7_1.8-3build2_amd64.deb	2024-03-31 22:36 CEST	4624 KiB
libcvc4-dev_1.5-1_amd64.deb	2017-11-03 07:57 CET	5828 KiB
libcvc4-dev_1.5-1_i386.deb	2017-11-03 07:59 CET	6235 KiB
libcvc4-dev_1.6-2build2_amd64.deb	2020-02-04 00:45 CET	7125 KiB
libcvc4-dev_1.8-2_amd64.deb	2020-09-30 18:28 CEST	120 KiB
libcvc4-dev_1.8-3build2_amd64.deb	2024-03-31 22:36 CEST	122 KiB
libcvc4parser4_1.5-1_amd64.deb	2017-11-03 07:57 CET	355 KiB
libcvc4parser4_1.5-1_i386.deb	2017-11-03 07:59 CET	381 KiB
libcvc4parser5_1.6-2build2_amd64.deb	2020-02-04 00:45 CET	356 KiB
libcvc4parser7_1.8-2_amd64.deb	2020-09-30 18:28 CEST	349 KiB
libcvc4parser7_1.8-3build2_amd64.deb	2024-03-31 22:36 CEST	365 KiB