Folder Path

/macports/packages/fstar/

0 directories 10 files 570 MiB total

	Name	Size	Modified
	Up
	fstar-2025.03.25_0.darwin_23.arm64.tbz2	115 MiB	04/18/2026 03:28:54 AM +00:00
	fstar-2025.03.25_0.darwin_23.arm64.tbz2.rmd160	512 B	04/18/2026 03:28:55 AM +00:00
	fstar-2025.03.25_0.darwin_23.x86_64.tbz2	112 MiB	04/16/2026 02:23:30 AM +00:00
	fstar-2025.03.25_0.darwin_23.x86_64.tbz2.rmd160	512 B	04/16/2026 02:23:30 AM +00:00
	fstar-2025.03.25_0.darwin_24.arm64.tbz2	115 MiB	04/17/2026 02:43:28 PM +00:00
	fstar-2025.03.25_0.darwin_24.arm64.tbz2.rmd160	512 B	04/17/2026 02:43:28 PM +00:00
	fstar-2025.03.25_0.darwin_24.x86_64.tbz2	112 MiB	04/16/2026 12:39:27 AM +00:00
	fstar-2025.03.25_0.darwin_24.x86_64.tbz2.rmd160	512 B	04/16/2026 12:39:27 AM +00:00
	fstar-2025.03.25_0.darwin_25.arm64.tbz2	115 MiB	04/17/2026 07:16:36 AM +00:00
	fstar-2025.03.25_0.darwin_25.arm64.tbz2.rmd160	512 B	04/17/2026 07:16:36 AM +00:00