Index of /fstar

	Name	Last modified	Size
	Parent Directory		-
	fstar-2026.03.24_3.darwin_25.arm64.tbz2.sig	2026-08-28 22:54	159
	fstar-2026.03.24_3.darwin_25.arm64.tbz2.rmd160	2026-08-28 22:54	512
	fstar-2026.03.24_3.darwin_25.arm64.tbz2	2026-08-28 22:54	119M
	fstar-2026.03.24_3.darwin_24.x86_64.tbz2.sig	2026-09-11 06:39	159
	fstar-2026.03.24_3.darwin_24.x86_64.tbz2.rmd160	2026-08-28 23:33	512
	fstar-2026.03.24_3.darwin_24.x86_64.tbz2	2026-08-28 23:33	115M
	fstar-2026.03.24_3.darwin_24.arm64.tbz2.sig	2026-08-28 22:56	159
	fstar-2026.03.24_3.darwin_24.arm64.tbz2.rmd160	2026-08-28 22:56	512
	fstar-2026.03.24_3.darwin_24.arm64.tbz2	2026-08-28 22:56	119M
	fstar-2026.03.24_3.darwin_23.x86_64.tbz2.sig	2026-09-11 06:39	159
	fstar-2026.03.24_3.darwin_23.x86_64.tbz2.rmd160	2026-08-30 00:58	512
	fstar-2026.03.24_3.darwin_23.x86_64.tbz2	2026-08-30 00:58	115M
	fstar-2026.03.24_3.darwin_23.arm64.tbz2.sig	2026-08-29 04:11	159
	fstar-2026.03.24_3.darwin_23.arm64.tbz2.rmd160	2026-08-29 04:11	512
	fstar-2026.03.24_3.darwin_23.arm64.tbz2	2026-08-29 04:11	119M
	fstar-2026.03.24_3.darwin_22.x86_64.tbz2.sig	2026-09-11 06:39	159
	fstar-2026.03.24_3.darwin_22.x86_64.tbz2.rmd160	2026-08-31 18:59	512
	fstar-2026.03.24_3.darwin_22.x86_64.tbz2	2026-08-31 18:59	115M
	fstar-2026.03.24_3.darwin_22.arm64.tbz2.sig	2026-08-28 22:57	159
	fstar-2026.03.24_3.darwin_22.arm64.tbz2.rmd160	2026-08-28 22:57	512
	fstar-2026.03.24_3.darwin_22.arm64.tbz2	2026-08-28 22:57	119M