Index of /livecdroom/source/lxubuntu/universe/c/cvc4

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4_1.5-1.debian.tar.xz	2018-05-30 15:33	5.9K
	cvc4_1.5-1.dsc	2018-05-30 15:33	2.2K
	cvc4_1.5.orig.tar.gz	2018-05-30 15:33	7.6M
	cvc4_1.6-2build1.debian.tar.xz	2020-05-27 14:39	8.1K
	cvc4_1.6-2build1.dsc	2020-05-27 14:39	2.6K
	cvc4_1.6-2build2.debian.tar.xz	2020-05-27 14:39	8.2K
	cvc4_1.6-2build2.dsc	2020-05-27 14:39	2.7K
	cvc4_1.6.orig.tar.gz	2020-05-27 14:39	7.5M
	cvc4_1.8-2.debian.tar.xz	2022-05-10 02:28	16K
	cvc4_1.8-2.dsc	2022-05-10 02:28	2.2K
	cvc4_1.8-3.debian.tar.xz	2024-05-16 02:57	16K
	cvc4_1.8-3.dsc	2024-05-16 02:57	2.2K
	cvc4_1.8-3build2.debian.tar.xz	2024-05-16 02:57	16K
	cvc4_1.8-3build2.dsc	2024-05-16 02:57	2.3K
	cvc4_1.8.orig.tar.gz	2022-05-10 02:28	7.2M