Folder Path

/macports/distfiles/lean/

0 directories 18 files 33 MiB total

	Name	Size	Modified
	Up
	lean-3.32.1.tar.gz	1.8 MiB	08/16/2021 04:38:46 AM +00:00
	lean-3.33.0.tar.gz	1.8 MiB	09/28/2021 11:38:27 PM +00:00
	lean-3.35.1.tar.gz	1.8 MiB	11/13/2021 07:33:44 PM +00:00
	lean-3.38.0.tar.gz	1.8 MiB	01/25/2022 02:35:09 PM +00:00
	lean-3.39.1.tar.gz	1.8 MiB	02/15/2022 02:19:32 PM +00:00
	lean-3.42.0.tar.gz	1.8 MiB	03/20/2022 01:04:52 PM +00:00
	lean-3.42.1.tar.gz	1.8 MiB	04/04/2022 02:41:53 PM +00:00
	lean-3.43.0.tar.gz	1.8 MiB	05/29/2022 07:14:45 AM +00:00
	lean-3.44.1.tar.gz	1.8 MiB	07/02/2022 02:32:59 PM +00:00
	lean-3.45.0.tar.gz	1.8 MiB	07/30/2022 12:46:36 PM +00:00
	lean-3.46.0.tar.gz	1.8 MiB	08/09/2022 02:46:52 PM +00:00
	lean-3.47.0.tar.gz	1.8 MiB	08/29/2022 03:03:17 AM +00:00
	lean-3.48.0.tar.gz	1.8 MiB	09/07/2022 04:04:14 AM +00:00
	lean-3.49.1.tar.gz	1.8 MiB	11/24/2022 12:59:33 PM +00:00
	lean-3.50.0.tar.gz	1.8 MiB	12/20/2022 01:32:23 AM +00:00
	lean-3.50.2.tar.gz	1.8 MiB	12/26/2022 11:36:00 AM +00:00
	lean-3.50.3.tar.gz	1.8 MiB	01/13/2023 06:31:23 AM +00:00
	lean-3.51.1.tar.gz	1.8 MiB	09/05/2024 10:04:37 PM +00:00