Index of /macports/packages/fstar

	Name	Last modified	Size
	Parent Directory		-
	fstar-2026.03.24_1.darwin_23.x86_64.tbz2	2026-06-18 17:21	115M
	fstar-2026.03.24_1.darwin_23.x86_64.tbz2.rmd160	2026-06-18 17:21	512
	fstar-2026.03.24_1.darwin_22.x86_64.tbz2	2026-06-18 18:19	115M
	fstar-2026.03.24_1.darwin_22.x86_64.tbz2.rmd160	2026-06-18 18:19	512
	fstar-2026.03.24_1.darwin_24.x86_64.tbz2	2026-06-18 21:23	115M
	fstar-2026.03.24_1.darwin_24.x86_64.tbz2.rmd160	2026-06-18 21:23	512
	fstar-2026.03.24_1.darwin_25.arm64.tbz2	2026-06-20 09:16	118M
	fstar-2026.03.24_1.darwin_25.arm64.tbz2.rmd160	2026-06-20 09:16	512
	fstar-2026.03.24_1.darwin_23.arm64.tbz2	2026-06-23 15:27	118M
	fstar-2026.03.24_1.darwin_23.arm64.tbz2.rmd160	2026-06-23 15:27	512
	fstar-2026.03.24_1.darwin_24.arm64.tbz2	2026-06-24 06:56	118M
	fstar-2026.03.24_1.darwin_24.arm64.tbz2.rmd160	2026-06-24 06:56	512
	fstar-2026.03.24_2.darwin_24.x86_64.tbz2	2026-06-30 02:28	115M
	fstar-2026.03.24_2.darwin_24.x86_64.tbz2.rmd160	2026-06-30 02:28	512
	fstar-2026.03.24_2.darwin_23.x86_64.tbz2	2026-06-30 16:15	115M
	fstar-2026.03.24_2.darwin_23.x86_64.tbz2.rmd160	2026-06-30 16:15	512
	fstar-2026.03.24_2.darwin_25.arm64.tbz2	2026-06-30 17:17	119M
	fstar-2026.03.24_2.darwin_25.arm64.tbz2.rmd160	2026-06-30 17:17	512
	fstar-2026.03.24_2.darwin_24.arm64.tbz2	2026-06-30 21:19	119M
	fstar-2026.03.24_2.darwin_24.arm64.tbz2.rmd160	2026-06-30 21:19	512
	fstar-2026.03.24_2.darwin_22.x86_64.tbz2	2026-07-01 03:41	115M
	fstar-2026.03.24_2.darwin_22.x86_64.tbz2.rmd160	2026-07-01 03:41	512