Index of /winget-source/packages/Lean.Lean/

/winget-source/packages/Lean.Lean/

File Name  ↓ File Size  ↓ Date  ↓ 
--
-28 Aug 2026 11:05:22 +0000
-10 Aug 2026 11:05:17 +0000
-29 Jul 2026 03:05:30 +0000
-23 Jul 2026 03:05:29 +0000
-16 Jul 2026 03:05:49 +0000
-08 Jul 2026 03:05:36 +0000
-27 May 2026 03:05:30 +0000
-16 Apr 2026 03:05:47 +0000
-08 Apr 2026 20:28:37 +0000
-29 Mar 2026 19:05:28 +0000
-20 Feb 2026 03:06:11 +0000
-12 Feb 2026 11:05:19 +0000
-21 Jan 2026 12:01:38 +0000
-16 Jan 2026 12:01:49 +0000
-14 Jan 2026 20:10:16 +0000
-06 Jan 2026 03:05:26 +0000
-10 Dec 2025 03:05:27 +0000
-17 Nov 2025 03:05:19 +0000
-20 Oct 2025 04:01:16 +0000
-16 Oct 2025 03:05:16 +0000
-16 Sep 2025 03:05:19 +0000
-17 Aug 2025 11:05:24 +0000
-16 Aug 2025 04:19:09 +0000
-01 Jul 2025 19:05:19 +0000
-06 Jun 2025 03:05:17 +0000
-04 Jun 2025 03:05:17 +0000
-07 May 2025 03:05:15 +0000