Index of /pool/universe/c/cvc4

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4_1.5-1_amd64.deb	2018-04-17 18:45	135K
	libcvc4-4_1.5-1_amd64.deb	2018-04-17 18:41	3.2M
	libcvc4-dev_1.5-1_amd64.deb	2018-04-17 18:49	5.7M
	libcvc4parser4_1.5-1_amd64.deb	2018-04-17 18:49	355K