Index of /macports/packages/rocq

	Name	Last modified	Size
	Parent Directory		-
	rocq-9.2.0_2.darwin_18.x86_64.tbz2	2026-06-30 06:46	191M
	rocq-9.2.0_2.darwin_18.x86_64.tbz2.rmd160	2026-06-30 06:46	512
	rocq-9.2.0_2.darwin_19.x86_64.tbz2	2026-06-30 18:20	191M
	rocq-9.2.0_2.darwin_19.x86_64.tbz2.rmd160	2026-06-30 18:20	512
	rocq-9.2.0_2.darwin_20.x86_64.tbz2	2026-06-30 06:38	191M
	rocq-9.2.0_2.darwin_20.x86_64.tbz2.rmd160	2026-06-30 06:38	512
	rocq-9.2.0_2.darwin_21.arm64.tbz2	2026-06-30 00:37	196M
	rocq-9.2.0_2.darwin_21.arm64.tbz2.rmd160	2026-06-30 00:37	512
	rocq-9.2.0_2.darwin_21.x86_64.tbz2	2026-06-30 06:42	191M
	rocq-9.2.0_2.darwin_21.x86_64.tbz2.rmd160	2026-06-30 06:42	512
	rocq-9.2.0_2.darwin_22.arm64.tbz2	2026-07-02 21:23	196M
	rocq-9.2.0_2.darwin_22.arm64.tbz2.rmd160	2026-07-02 21:23	512
	rocq-9.2.0_2.darwin_22.x86_64.tbz2	2026-07-01 06:34	191M
	rocq-9.2.0_2.darwin_22.x86_64.tbz2.rmd160	2026-07-01 06:34	512
	rocq-9.2.0_2.darwin_23.arm64.tbz2	2026-07-01 17:55	196M
	rocq-9.2.0_2.darwin_23.arm64.tbz2.rmd160	2026-07-01 17:55	512
	rocq-9.2.0_2.darwin_23.x86_64.tbz2	2026-06-30 17:31	192M
	rocq-9.2.0_2.darwin_23.x86_64.tbz2.rmd160	2026-06-30 17:31	512
	rocq-9.2.0_2.darwin_24.arm64.tbz2	2026-06-30 23:30	196M
	rocq-9.2.0_2.darwin_24.arm64.tbz2.rmd160	2026-06-30 23:30	512
	rocq-9.2.0_2.darwin_24.x86_64.tbz2	2026-06-30 05:11	192M
	rocq-9.2.0_2.darwin_24.x86_64.tbz2.rmd160	2026-06-30 05:11	512
	rocq-9.2.0_2.darwin_25.arm64.tbz2	2026-06-30 19:30	196M
	rocq-9.2.0_2.darwin_25.arm64.tbz2.rmd160	2026-06-30 19:30	512