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

../
freebsd_13_5_x64-HEAD-ALL.log                      27-Jan-2026 05:49                   0
freebsd_14_3_x64-HEAD-ALL.log                      21-Jan-2026 14:01             2176694
freebsd_15_0_x64-HEAD-ALL.log                      20-Feb-2026 09:33             2177001