Index of /macports/packages/rocq

	Name	Last modified	Size
	Parent Directory		-
	rocq-9.2.0_0.darwin_18.x86_64.tbz2	2026-06-08 13:00	175M
	rocq-9.2.0_0.darwin_18.x86_64.tbz2.rmd160	2026-06-08 13:00	512
	rocq-9.2.0_0.darwin_19.x86_64.tbz2	2026-06-10 13:46	175M
	rocq-9.2.0_0.darwin_19.x86_64.tbz2.rmd160	2026-06-10 13:46	512
	rocq-9.2.0_0.darwin_20.x86_64.tbz2	2026-06-08 12:48	175M
	rocq-9.2.0_0.darwin_20.x86_64.tbz2.rmd160	2026-06-08 12:48	512
	rocq-9.2.0_0.darwin_21.x86_64.tbz2	2026-06-08 13:10	175M
	rocq-9.2.0_0.darwin_21.x86_64.tbz2.rmd160	2026-06-08 13:10	512
	rocq-9.2.0_0.darwin_22.x86_64.tbz2	2026-06-10 06:19	176M
	rocq-9.2.0_0.darwin_22.x86_64.tbz2.rmd160	2026-06-10 06:19	512
	rocq-9.2.0_0.darwin_23.x86_64.tbz2	2026-06-10 10:09	175M
	rocq-9.2.0_0.darwin_23.x86_64.tbz2.rmd160	2026-06-10 10:09	512
	rocq-9.2.0_0.darwin_24.x86_64.tbz2	2026-06-08 19:51	175M
	rocq-9.2.0_0.darwin_24.x86_64.tbz2.rmd160	2026-06-08 19:51	512
	rocq-9.2.0_1.darwin_20.x86_64.tbz2	2026-06-14 04:36	184M
	rocq-9.2.0_1.darwin_20.x86_64.tbz2.rmd160	2026-06-14 04:36	512
	rocq-9.2.0_1.darwin_22.x86_64.tbz2	2026-06-14 00:26	184M
	rocq-9.2.0_1.darwin_22.x86_64.tbz2.rmd160	2026-06-14 00:26	512