Index of /data/latest-per-pkg/lean4/

../
4.22.0/                                            03-Oct-2025 07:37                   -
4.23.0/                                            11-Nov-2025 03:27                   -
4.25.1/                                            28-Nov-2025 17:50                   -
4.25.2.20251201/                                   20-Feb-2026 08:27                   -
4.29.0.r2/                                         17-Mar-2026 22:05                   -