Index of /fstar

	Name	Last modified	Size
	Parent Directory		-
	fstar-0.9.7.0-alpha1_7.darwin_10.x86_64.tbz2	2020-02-27 02:03	94M
	fstar-0.9.7.0-alpha1_7.darwin_10.x86_64.tbz2.rmd160	2020-02-27 02:03	512
	fstar-0.9.7.0-alpha1_7.darwin_11.x86_64.tbz2	2020-01-14 08:13	94M
	fstar-0.9.7.0-alpha1_7.darwin_11.x86_64.tbz2.rmd160	2020-01-14 08:13	512
	fstar-0.9.7.0-alpha1_7.darwin_12.x86_64.tbz2	2020-01-14 08:37	94M
	fstar-0.9.7.0-alpha1_7.darwin_12.x86_64.tbz2.rmd160	2020-01-14 08:37	512
	fstar-0.9.7.0-alpha1_7.darwin_13.x86_64.tbz2	2020-01-14 08:02	94M
	fstar-0.9.7.0-alpha1_7.darwin_13.x86_64.tbz2.rmd160	2020-01-14 08:02	512
	fstar-0.9.7.0-alpha1_7.darwin_14.x86_64.tbz2	2020-01-14 08:10	94M
	fstar-0.9.7.0-alpha1_7.darwin_14.x86_64.tbz2.rmd160	2020-01-14 08:10	512
	fstar-0.9.7.0-alpha1_7.darwin_15.x86_64.tbz2	2020-01-14 08:25	94M
	fstar-0.9.7.0-alpha1_7.darwin_15.x86_64.tbz2.rmd160	2020-01-14 08:25	512
	fstar-0.9.7.0-alpha1_7.darwin_16.x86_64.tbz2	2020-01-14 08:03	94M
	fstar-0.9.7.0-alpha1_7.darwin_16.x86_64.tbz2.rmd160	2020-01-14 08:03	512
	fstar-0.9.7.0-alpha1_7.darwin_17.x86_64.tbz2	2020-01-14 08:16	94M
	fstar-0.9.7.0-alpha1_7.darwin_17.x86_64.tbz2.rmd160	2020-01-14 08:16	512
	fstar-0.9.7.0-alpha1_7.darwin_18.x86_64.tbz2	2020-01-14 08:12	95M
	fstar-0.9.7.0-alpha1_7.darwin_18.x86_64.tbz2.rmd160	2020-01-14 08:12	512
	fstar-0.9.7.0-alpha1_7.darwin_19.x86_64.tbz2	2020-01-14 08:22	95M
	fstar-0.9.7.0-alpha1_7.darwin_19.x86_64.tbz2.rmd160	2020-01-14 08:22	512