Index of /raspbian/pool/main/c/cvc4

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	cvc4_1.6.orig.tar.gz	07-Aug-2018 19:44	7.5M		Details
	cvc4_1.8.orig.tar.gz	13-Sep-2020 23:17	7.2M		Details
	libcvc4-7_1.8-3+b1_armhf.deb	08-Jun-2024 10:08	5.0M		Details
	libcvc4-7_1.8-3_armhf.deb	01-Nov-2022 16:08	5.0M		Details
	libcvc4-7_1.8-2_armhf.deb	29-Sep-2020 22:08	4.7M		Details
	libcvc4parser7_1.8-2_armhf.deb	29-Sep-2020 22:08	317K		Details
	libcvc4parser7_1.8-3+b1_armhf.deb	08-Jun-2024 10:08	313K		Details
	libcvc4parser7_1.8-3_armhf.deb	01-Nov-2022 16:08	310K		Details
	libcvc4-dev_1.8-3+b1_armhf.deb	08-Jun-2024 10:08	128K		Details
	libcvc4-dev_1.8-2_armhf.deb	29-Sep-2020 22:08	128K		Details
	libcvc4-dev_1.8-3_armhf.deb	01-Nov-2022 16:08	128K		Details
	cvc4_1.8-3+b1_armhf.deb	08-Jun-2024 10:08	74K		Details
	cvc4_1.8-2_armhf.deb	29-Sep-2020 22:08	73K		Details
	cvc4_1.8-3_armhf.deb	01-Nov-2022 16:08	72K		Details
	cvc4_1.8-3.debian.tar.xz	29-Oct-2022 19:57	16K		Details
	cvc4_1.8-2.debian.tar.xz	18-Sep-2020 01:25	16K		Details
	cvc4_1.6-2.debian.tar.xz	13-Aug-2018 20:01	8.0K		Details
	cvc4_1.6-2.dsc	13-Aug-2018 20:01	2.6K		Details
	cvc4_1.8-2.dsc	18-Sep-2020 01:25	2.2K		Details
	cvc4_1.8-3.dsc	29-Oct-2022 19:57	2.2K		Details