Index of /macports/packages/fstar

	Name	Last modified	Size
	Parent Directory		-
	fstar-2025.03.25_1.darwin_23.arm64.tbz2	2026-05-09 07:46	115M
	fstar-2025.03.25_0.darwin_23.arm64.tbz2	2026-04-18 05:28	115M
	fstar-2025.03.25_0.darwin_25.arm64.tbz2	2026-04-17 09:16	115M
	fstar-2025.03.25_0.darwin_24.arm64.tbz2	2026-04-17 16:43	115M
	fstar-2025.03.25_1.darwin_24.arm64.tbz2	2026-05-09 00:36	115M
	fstar-2025.03.25_1.darwin_25.arm64.tbz2	2026-05-09 04:39	115M
	fstar-2025.03.25_1.darwin_24.x86_64.tbz2	2026-05-09 05:25	112M
	fstar-2025.03.25_0.darwin_24.x86_64.tbz2	2026-04-16 02:39	112M
	fstar-2025.03.25_1.darwin_23.x86_64.tbz2	2026-05-09 00:10	112M
	fstar-2025.03.25_0.darwin_23.x86_64.tbz2	2026-04-16 04:23	112M
	fstar-2025.03.25_1.darwin_25.arm64.tbz2.rmd160	2026-05-09 04:39	512
	fstar-2025.03.25_1.darwin_24.x86_64.tbz2.rmd160	2026-05-09 05:25	512
	fstar-2025.03.25_1.darwin_24.arm64.tbz2.rmd160	2026-05-09 00:36	512
	fstar-2025.03.25_1.darwin_23.x86_64.tbz2.rmd160	2026-05-09 00:10	512
	fstar-2025.03.25_1.darwin_23.arm64.tbz2.rmd160	2026-05-09 07:46	512
	fstar-2025.03.25_0.darwin_25.arm64.tbz2.rmd160	2026-04-17 09:16	512
	fstar-2025.03.25_0.darwin_24.x86_64.tbz2.rmd160	2026-04-16 02:39	512
	fstar-2025.03.25_0.darwin_24.arm64.tbz2.rmd160	2026-04-17 16:43	512
	fstar-2025.03.25_0.darwin_23.x86_64.tbz2.rmd160	2026-04-16 04:23	512
	fstar-2025.03.25_0.darwin_23.arm64.tbz2.rmd160	2026-04-18 05:28	512