Index of /macports/packages/idris2

	Name	Last modified	Size
	Parent Directory		-
	idris2-0.8.0_0.darwin_25.arm64.tbz2.rmd160	2026-02-03 09:39	512
	idris2-0.8.0_0.darwin_25.arm64.tbz2	2026-02-03 09:39	27M
	idris2-0.8.0_0.darwin_23.x86_64.tbz2.rmd160	2026-02-03 07:23	512
	idris2-0.8.0_0.darwin_23.x86_64.tbz2	2026-02-03 07:23	28M
	idris2-0.8.0_0.darwin_21.x86_64.tbz2.rmd160	2026-02-03 08:19	512
	idris2-0.8.0_0.darwin_21.x86_64.tbz2	2026-02-03 08:19	28M
	idris2-0.8.0_0.darwin_21.arm64.tbz2.rmd160	2026-02-03 07:51	512
	idris2-0.8.0_0.darwin_21.arm64.tbz2	2026-02-03 07:51	27M
	idris2-0.8.0_0.darwin_20.x86_64.tbz2.rmd160	2026-02-03 10:59	512
	idris2-0.8.0_0.darwin_20.x86_64.tbz2	2026-02-03 10:59	28M
	idris2-0.8.0_0.darwin_17.x86_64.tbz2.rmd160	2026-02-03 11:58	512
	idris2-0.8.0_0.darwin_17.x86_64.tbz2	2026-02-03 11:58	28M
	idris2-0.8.0_0.darwin_16.x86_64.tbz2.rmd160	2026-02-03 06:45	512
	idris2-0.8.0_0.darwin_16.x86_64.tbz2	2026-02-03 06:45	28M
	idris2-0.8.0_0.darwin_10.i386.tbz2.rmd160	2026-02-03 09:14	512
	idris2-0.8.0_0.darwin_10.i386.tbz2	2026-02-03 09:13	28M