Folder Path

/macports/packages/fstar/

0 directories 8 files

	Name	Size	Modified
	Up
	fstar-2022.06.08_0.darwin_21.arm64.tbz2	104 MiB	06/10/2022 08:33:48 PM +00:00
	fstar-2022.06.08_0.darwin_21.arm64.tbz2.rmd160	512 B	06/10/2022 08:33:48 PM +00:00
	fstar-2022.06.08_0.darwin_21.x86_64.tbz2	103 MiB	06/10/2022 08:46:20 PM +00:00
	fstar-2022.06.08_0.darwin_21.x86_64.tbz2.rmd160	512 B	06/10/2022 08:46:20 PM +00:00
	fstar-2022.06.08_0.darwin_22.arm64.tbz2	104 MiB	03/08/2023 06:05:41 PM +00:00
	fstar-2022.06.08_0.darwin_22.arm64.tbz2.rmd160	512 B	03/08/2023 06:05:41 PM +00:00
	fstar-2022.06.08_0.darwin_22.x86_64.tbz2	101 MiB	01/09/2023 06:30:50 AM +00:00
	fstar-2022.06.08_0.darwin_22.x86_64.tbz2.rmd160	512 B	01/09/2023 06:30:50 AM +00:00