Index of /macports/packages/fstar

	Name	Last modified	Size
	Parent Directory		-
	fstar-2022.06.08_0.darwin_21.arm64.tbz2	2022-06-10 22:33	104M
	fstar-2022.06.08_0.darwin_21.arm64.tbz2.rmd160	2022-06-10 22:33	512
	fstar-2022.06.08_0.darwin_21.x86_64.tbz2	2022-06-10 22:46	103M
	fstar-2022.06.08_0.darwin_21.x86_64.tbz2.rmd160	2022-06-10 22:46	512
	fstar-2022.06.08_0.darwin_22.arm64.tbz2	2023-03-08 19:05	104M
	fstar-2022.06.08_0.darwin_22.arm64.tbz2.rmd160	2023-03-08 19:05	512
	fstar-2022.06.08_0.darwin_22.x86_64.tbz2	2023-01-09 07:30	101M
	fstar-2022.06.08_0.darwin_22.x86_64.tbz2.rmd160	2023-01-09 07:30	512
	fstar-2025.03.25_0.darwin_23.arm64.tbz2	2026-04-18 05:28	115M
	fstar-2025.03.25_0.darwin_23.arm64.tbz2.rmd160	2026-04-18 05:28	512
	fstar-2025.03.25_0.darwin_23.x86_64.tbz2	2026-04-16 04:23	112M
	fstar-2025.03.25_0.darwin_23.x86_64.tbz2.rmd160	2026-04-16 04:23	512
	fstar-2025.03.25_0.darwin_24.arm64.tbz2	2026-04-17 16:43	115M
	fstar-2025.03.25_0.darwin_24.arm64.tbz2.rmd160	2026-04-17 16:43	512
	fstar-2025.03.25_0.darwin_24.x86_64.tbz2	2026-04-16 02:39	112M
	fstar-2025.03.25_0.darwin_24.x86_64.tbz2.rmd160	2026-04-16 02:39	512
	fstar-2025.03.25_0.darwin_25.arm64.tbz2	2026-04-17 09:16	115M
	fstar-2025.03.25_0.darwin_25.arm64.tbz2.rmd160	2026-04-17 09:16	512