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

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4_1.5-1_source.changes.bz2	2017-11-03 13:09	853
	cvc4_1.5-1buil1_source.changes.bz2	2018-06-26 14:08	726
	cvc4_1.5-1buil1build1_source.changes.bz2	2018-07-18 04:44	740
	cvc4_1.6-2build1_source.changes.bz2	2019-01-27 21:50	1.2K
	cvc4_1.6-2build2_source.changes.bz2	2020-02-04 07:05	782
	cvc4_1.8-2_source.changes.bz2	2020-09-30 19:35	1.4K
	cvc4_1.8-3_source.changes.bz2	2022-11-18 06:08	788
	cvc4_1.8-3build1_source.changes.bz2	2024-03-29 09:19	728
	cvc4_1.8-3build2_source.changes.bz2	2024-04-04 07:40	765