Index of /macports/packages/lean

	Name	Last modified	Size	Description
	Parent Directory		-
	lean-3.51.1_0.darwin..>	2024-10-10 03:06	512
	lean-3.51.1_0.darwin..>	2024-10-10 03:06	5.5M
	lean-3.51.1_0.darwin..>	2025-03-15 23:57	512
	lean-3.51.1_0.darwin..>	2025-03-15 23:57	5.4M
	lean-3.51.1_0.darwin..>	2024-09-06 07:23	512
	lean-3.51.1_0.darwin..>	2024-09-06 07:23	5.5M
	lean-3.51.1_0.darwin..>	2024-09-05 23:06	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:06	5.3M
	lean-3.51.1_0.darwin..>	2024-09-06 20:45	512
	lean-3.51.1_0.darwin..>	2024-09-06 20:45	5.5M
	lean-3.51.1_0.darwin..>	2024-09-06 18:22	512
	lean-3.51.1_0.darwin..>	2024-09-06 18:22	5.3M
	lean-3.51.1_0.darwin..>	2024-09-05 23:23	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:23	5.9M
	lean-3.51.1_0.darwin..>	2024-09-06 22:06	512
	lean-3.51.1_0.darwin..>	2024-09-06 22:06	5.6M
	lean-3.51.1_0.darwin..>	2024-09-05 23:23	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:23	5.8M
	lean-3.51.1_0.darwin..>	2025-08-31 20:58	512
	lean-3.51.1_0.darwin..>	2025-08-31 20:58	5.5M
	lean-3.51.1_0.darwin..>	2024-09-05 23:19	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:19	5.9M
	lean-3.51.1_0.darwin..>	2024-09-05 23:23	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:23	5.8M
	lean-3.51.1_0.darwin..>	2024-09-05 23:29	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:29	5.5M
	lean-3.51.1_0.darwin..>	2024-09-05 23:27	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:27	5.5M
	lean-3.51.1_0.darwin..>	2024-09-05 23:26	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:26	5.5M
	lean-3.51.1_0.darwin..>	2024-09-05 23:25	512
	lean-3.51.1_0.darwin..>	2024-09-05 23:25	5.5M
	lean-3.51.1_0.darwin..>	2025-03-21 16:43	512
	lean-3.51.1_0.darwin..>	2025-03-21 16:43	5.4M
	lean-3.51.1_0.darwin..>	2025-03-21 16:43	512
	lean-3.51.1_0.darwin..>	2025-03-21 16:43	5.6M
	lean-3.51.1_0.darwin..>	2025-03-21 16:39	512
	lean-3.51.1_0.darwin..>	2025-03-21 16:39	6.0M
	lean-3.51.1_0.darwin..>	2025-03-21 16:41	512
	lean-3.51.1_0.darwin..>	2025-03-21 16:41	5.9M