Index of /macports/distfiles/lean/
| Name |
Size |
Date |
|
📁 ../
|
- |
- |
|
📄 lean-3.32.1.tar.gz
|
1873303 bytes
|
2021-08-16 07:38:46 |
|
📄 lean-3.33.0.tar.gz
|
1890687 bytes
|
2021-09-29 02:38:27 |
|
📄 lean-3.35.1.tar.gz
|
1872621 bytes
|
2021-11-13 22:33:44 |
|
📄 lean-3.38.0.tar.gz
|
1877471 bytes
|
2022-01-25 17:35:09 |
|
📄 lean-3.39.1.tar.gz
|
1878652 bytes
|
2022-02-15 17:19:32 |
|
📄 lean-3.42.0.tar.gz
|
1908320 bytes
|
2022-03-20 16:04:52 |
|
📄 lean-3.42.1.tar.gz
|
1908637 bytes
|
2022-04-04 17:41:53 |
|
📄 lean-3.43.0.tar.gz
|
1909352 bytes
|
2022-05-29 10:14:45 |
|
📄 lean-3.44.1.tar.gz
|
1911770 bytes
|
2022-07-02 17:32:59 |
|
📄 lean-3.45.0.tar.gz
|
1913685 bytes
|
2022-07-30 15:46:36 |
|
📄 lean-3.46.0.tar.gz
|
1913900 bytes
|
2022-08-09 17:46:52 |
|
📄 lean-3.47.0.tar.gz
|
1918213 bytes
|
2022-08-29 06:03:17 |
|
📄 lean-3.48.0.tar.gz
|
1918262 bytes
|
2022-09-07 07:04:14 |
|
📄 lean-3.49.1.tar.gz
|
1918411 bytes
|
2022-11-24 15:59:33 |
|
📄 lean-3.50.0.tar.gz
|
1918642 bytes
|
2022-12-20 04:32:23 |
|
📄 lean-3.50.2.tar.gz
|
1918644 bytes
|
2022-12-26 14:36:00 |
|
📄 lean-3.50.3.tar.gz
|
1918719 bytes
|
2023-01-13 09:31:23 |
|
📄 lean-3.51.1.tar.gz
|
1918894 bytes
|
2024-09-06 01:04:37 |