Index of /debian/pool/main/c/cvc4

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4_1.6-2+b1_amd64.deb	17-Nov-2018 13:57	133K
	cvc4_1.6-2+b1_i386.deb	17-Nov-2018 06:59	136K
	cvc4_1.6-2+b1_mips.deb	18-Nov-2018 13:58	118K
	cvc4_1.8-2_amd64.deb	18-Sep-2020 06:11	80K
	cvc4_1.8-2_arm64.deb	18-Sep-2020 06:27	74K
	cvc4_1.8-2_armel.deb	18-Sep-2020 08:29	73K
	cvc4_1.8-2_armhf.deb	18-Sep-2020 06:32	74K
	cvc4_1.8-2_i386.deb	18-Sep-2020 06:42	81K
	libcvc4-5_1.6-2+b1_amd64.deb	17-Nov-2018 13:57	3.9M
	libcvc4-5_1.6-2+b1_i386.deb	17-Nov-2018 06:59	4.3M
	libcvc4-5_1.6-2+b1_mips.deb	18-Nov-2018 13:58	3.0M
	libcvc4-7_1.8-2_amd64.deb	18-Sep-2020 06:11	5.4M
	libcvc4-7_1.8-2_arm64.deb	18-Sep-2020 06:27	4.6M
	libcvc4-7_1.8-2_armel.deb	18-Sep-2020 08:29	4.6M
	libcvc4-7_1.8-2_armhf.deb	18-Sep-2020 06:32	4.8M
	libcvc4-7_1.8-2_i386.deb	18-Sep-2020 06:42	5.9M
	libcvc4-dev_1.6-2+b1_amd64.deb	17-Nov-2018 13:57	6.4M
	libcvc4-dev_1.6-2+b1_i386.deb	17-Nov-2018 06:59	6.9M
	libcvc4-dev_1.6-2+b1_mips.deb	18-Nov-2018 13:58	6.6M
	libcvc4-dev_1.8-2_amd64.deb	18-Sep-2020 06:11	128K
	libcvc4-dev_1.8-2_arm64.deb	18-Sep-2020 06:27	128K
	libcvc4-dev_1.8-2_armel.deb	18-Sep-2020 08:29	128K
	libcvc4-dev_1.8-2_armhf.deb	18-Sep-2020 06:32	128K
	libcvc4-dev_1.8-2_i386.deb	18-Sep-2020 06:42	128K
	libcvc4parser5_1.6-2+b1_amd64.deb	17-Nov-2018 13:57	354K
	libcvc4parser5_1.6-2+b1_i386.deb	17-Nov-2018 06:59	380K
	libcvc4parser5_1.6-2+b1_mips.deb	18-Nov-2018 13:58	290K
	libcvc4parser7_1.8-2_amd64.deb	18-Sep-2020 06:11	358K
	libcvc4parser7_1.8-2_arm64.deb	18-Sep-2020 06:27	321K
	libcvc4parser7_1.8-2_armel.deb	18-Sep-2020 08:29	316K
	libcvc4parser7_1.8-2_armhf.deb	18-Sep-2020 06:32	320K
	libcvc4parser7_1.8-2_i386.deb	18-Sep-2020 06:42	374K