Index of /lean

	Name	Last modified	Size
	Parent Directory		-
	lean-3.51.1_0.darwin_14.x86_64.tbz2	2024-09-06 00:25	5.5M
	lean-3.51.1_0.darwin_14.x86_64.tbz2.rmd160	2024-09-06 00:25	512
	lean-3.51.1_0.darwin_15.x86_64.tbz2	2024-09-06 00:26	5.5M
	lean-3.51.1_0.darwin_15.x86_64.tbz2.rmd160	2024-09-06 00:26	512
	lean-3.51.1_0.darwin_16.x86_64.tbz2	2024-09-06 00:27	5.5M
	lean-3.51.1_0.darwin_16.x86_64.tbz2.rmd160	2024-09-06 00:27	512
	lean-3.51.1_0.darwin_17.x86_64.tbz2	2024-09-06 00:29	5.5M
	lean-3.51.1_0.darwin_17.x86_64.tbz2.rmd160	2024-09-06 00:29	512
	lean-3.51.1_0.darwin_18.x86_64.tbz2	2024-09-06 00:23	5.8M
	lean-3.51.1_0.darwin_18.x86_64.tbz2.rmd160	2024-09-06 00:23	512
	lean-3.51.1_0.darwin_19.x86_64.tbz2	2024-09-06 00:19	5.9M
	lean-3.51.1_0.darwin_19.x86_64.tbz2.rmd160	2024-09-06 00:19	512
	lean-3.51.1_0.darwin_20.x86_64.tbz2	2024-09-06 00:23	5.8M
	lean-3.51.1_0.darwin_20.x86_64.tbz2.rmd160	2024-09-06 00:23	512
	lean-3.51.1_0.darwin_21.arm64.tbz2	2024-09-06 23:06	5.6M
	lean-3.51.1_0.darwin_21.arm64.tbz2.rmd160	2024-09-06 23:06	512
	lean-3.51.1_0.darwin_21.x86_64.tbz2	2024-09-06 00:23	5.9M
	lean-3.51.1_0.darwin_21.x86_64.tbz2.rmd160	2024-09-06 00:23	512
	lean-3.51.1_0.darwin_22.arm64.tbz2	2024-09-06 19:22	5.3M
	lean-3.51.1_0.darwin_22.arm64.tbz2.rmd160	2024-09-06 19:22	512
	lean-3.51.1_0.darwin_22.x86_64.tbz2	2024-09-06 21:45	5.5M
	lean-3.51.1_0.darwin_22.x86_64.tbz2.rmd160	2024-09-06 21:45	512
	lean-3.51.1_0.darwin_23.arm64.tbz2	2024-09-06 00:06	5.3M
	lean-3.51.1_0.darwin_23.arm64.tbz2.rmd160	2024-09-06 00:06	512
	lean-3.51.1_0.darwin_23.x86_64.tbz2	2024-09-06 08:23	5.5M
	lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160	2024-09-06 08:23	512