Index of /cvc4

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