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

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4_1.5-1_source.changes.bz2	2017-10-29 22:22	853
	cvc4_1.6-1_source.changes.bz2	2018-08-12 03:10	1.2K
	cvc4_1.6-2_source.changes.bz2	2018-08-14 04:06	733
	cvc4_1.8-1_source.changes.bz2	2020-09-16 15:35	1.4K
	cvc4_1.8-2_source.changes.bz2	2020-09-18 03:05	873
	cvc4_1.8-3_source.changes.bz2	2022-10-30 03:05	788
	cvc4_1.8-4_source.changes	2025-08-11 21:36	1.2K
	cvc4_1.8-5_source.changes	2025-10-27 15:37	1.4K