Index of /ports-full/math/lean4/

../
files/                                             23-Oct-2026 18:19                   -
Makefile                                           23-Oct-2026 18:19                5689
distinfo                                           23-Oct-2026 18:19                 534
pkg-descr                                          23-Oct-2026 18:19                 429
pkg-plist                                          23-Oct-2026 18:19              821179