Index of /by-release/debian/c/cvc4

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4_1.8-3.patch-basis	2022-10-30 03:07	6
	cvc4_1.8-3.patch.bz2	2022-10-30 03:07	1.4K
	patches.xml	2022-10-30 03:13	695