Index of /macports/packages/idris2

	Name	Last modified	Size
	Parent Directory		-
	idris2-0.8.0_0.darwin_10.i386.tbz2	2026-02-03 09:13	28M
	idris2-0.8.0_0.darwin_10.i386.tbz2.rmd160	2026-02-03 09:14	512
	idris2-0.8.0_0.darwin_13.x86_64.tbz2	2026-02-06 04:18	28M
	idris2-0.8.0_0.darwin_13.x86_64.tbz2.rmd160	2026-02-06 04:18	512
	idris2-0.8.0_0.darwin_16.x86_64.tbz2	2026-02-03 06:45	28M
	idris2-0.8.0_0.darwin_16.x86_64.tbz2.rmd160	2026-02-03 06:45	512
	idris2-0.8.0_0.darwin_17.x86_64.tbz2	2026-02-03 11:58	28M
	idris2-0.8.0_0.darwin_17.x86_64.tbz2.rmd160	2026-02-03 11:58	512
	idris2-0.8.0_0.darwin_18.x86_64.tbz2	2026-02-03 22:19	28M
	idris2-0.8.0_0.darwin_18.x86_64.tbz2.rmd160	2026-02-03 22:19	512
	idris2-0.8.0_0.darwin_19.x86_64.tbz2	2026-02-03 21:00	28M
	idris2-0.8.0_0.darwin_19.x86_64.tbz2.rmd160	2026-02-03 21:00	512
	idris2-0.8.0_0.darwin_20.x86_64.tbz2	2026-02-03 10:59	28M
	idris2-0.8.0_0.darwin_20.x86_64.tbz2.rmd160	2026-02-03 10:59	512
	idris2-0.8.0_0.darwin_21.arm64.tbz2	2026-02-03 07:51	27M
	idris2-0.8.0_0.darwin_21.arm64.tbz2.rmd160	2026-02-03 07:51	512
	idris2-0.8.0_0.darwin_21.x86_64.tbz2	2026-02-03 08:19	28M
	idris2-0.8.0_0.darwin_21.x86_64.tbz2.rmd160	2026-02-03 08:19	512
	idris2-0.8.0_0.darwin_22.arm64.tbz2	2026-02-05 04:17	27M
	idris2-0.8.0_0.darwin_22.arm64.tbz2.rmd160	2026-02-05 04:17	512
	idris2-0.8.0_0.darwin_22.x86_64.tbz2	2026-02-04 17:57	28M
	idris2-0.8.0_0.darwin_22.x86_64.tbz2.rmd160	2026-02-04 17:57	512
	idris2-0.8.0_0.darwin_23.arm64.tbz2	2026-02-04 14:13	27M
	idris2-0.8.0_0.darwin_23.arm64.tbz2.rmd160	2026-02-04 14:13	512
	idris2-0.8.0_0.darwin_23.x86_64.tbz2	2026-02-03 07:23	28M
	idris2-0.8.0_0.darwin_23.x86_64.tbz2.rmd160	2026-02-03 07:23	512
	idris2-0.8.0_0.darwin_25.arm64.tbz2	2026-02-03 09:39	27M
	idris2-0.8.0_0.darwin_25.arm64.tbz2.rmd160	2026-02-03 09:39	512