Index of /macports/packages/cvc4

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4-1.4_2.darwin_9.ppc.tbz2	2018-02-16 21:22	16M
	cvc4-1.4_2.darwin_9.ppc.tbz2.rmd160	2018-02-16 21:22	512
	cvc4-1.4_2.darwin_13.x86_64.tbz2	2018-02-16 20:42	14M
	cvc4-1.4_2.darwin_13.x86_64.tbz2.rmd160	2018-02-16 20:42	512
	cvc4-1.4_2.darwin_14.x86_64.tbz2	2018-02-16 21:36	14M
	cvc4-1.4_2.darwin_14.x86_64.tbz2.rmd160	2018-02-16 21:36	512
	cvc4-1.4_2.darwin_15.x86_64.tbz2	2018-02-16 21:52	14M
	cvc4-1.4_2.darwin_15.x86_64.tbz2.rmd160	2018-02-16 21:52	512
	cvc4-1.4_2.darwin_16.x86_64.tbz2	2018-02-17 01:26	14M
	cvc4-1.4_2.darwin_16.x86_64.tbz2.rmd160	2018-02-17 01:26	512
	cvc4-1.4_2.darwin_17.x86_64.tbz2	2018-02-16 21:09	14M
	cvc4-1.4_2.darwin_17.x86_64.tbz2.rmd160	2018-02-16 21:09	512
	cvc4-1.4_2.darwin_18.x86_64.tbz2	2018-10-20 23:25	15M
	cvc4-1.4_2.darwin_18.x86_64.tbz2.rmd160	2018-10-20 23:25	512