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

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4_1.5-1.debian.tar.xz	01-Nov-2017 22:57	5.9K
	cvc4_1.5-1.dsc	01-Nov-2017 22:57	2.2K
	cvc4_1.5-1_amd64.deb	03-Nov-2017 15:57	135K
	cvc4_1.5-1_i386.deb	03-Nov-2017 15:59	139K
	cvc4_1.5.orig.tar.gz	01-Nov-2017 22:57	7.6M
	cvc4_1.6-2build1.debian.tar.xz	15-Jan-2019 06:10	8.1K
	cvc4_1.6-2build1.dsc	15-Jan-2019 06:10	2.6K
	cvc4_1.6-2build1_amd64.deb	15-Jan-2019 07:00	131K
	cvc4_1.6-2build1_i386.deb	15-Jan-2019 07:53	134K
	cvc4_1.6-2build2.debian.tar.xz	04-Feb-2020 07:24	8.2K
	cvc4_1.6-2build2.dsc	04-Feb-2020 07:24	2.7K
	cvc4_1.6-2build2_amd64.deb	04-Feb-2020 08:45	135K
	cvc4_1.6.orig.tar.gz	12-Aug-2018 14:13	7.5M
	libcvc4-4_1.5-1_amd64.deb	03-Nov-2017 15:57	3.2M
	libcvc4-4_1.5-1_i386.deb	03-Nov-2017 15:59	3.5M
	libcvc4-5_1.6-2build1_amd64.deb	15-Jan-2019 07:00	3.9M
	libcvc4-5_1.6-2build1_i386.deb	15-Jan-2019 07:53	4.3M
	libcvc4-5_1.6-2build2_amd64.deb	04-Feb-2020 08:45	4.3M
	libcvc4-dev_1.5-1_amd64.deb	03-Nov-2017 15:57	5.7M
	libcvc4-dev_1.5-1_i386.deb	03-Nov-2017 15:59	6.1M
	libcvc4-dev_1.6-2build1_amd64.deb	15-Jan-2019 07:00	6.4M
	libcvc4-dev_1.6-2build1_i386.deb	15-Jan-2019 07:53	6.9M
	libcvc4-dev_1.6-2build2_amd64.deb	04-Feb-2020 08:45	7.0M
	libcvc4parser4_1.5-1_amd64.deb	03-Nov-2017 15:57	355K
	libcvc4parser4_1.5-1_i386.deb	03-Nov-2017 15:59	381K
	libcvc4parser5_1.6-2build1_amd64.deb	15-Jan-2019 07:00	349K
	libcvc4parser5_1.6-2build1_i386.deb	15-Jan-2019 07:53	376K
	libcvc4parser5_1.6-2build2_amd64.deb	04-Feb-2020 08:45	356K