Index of /misc/lean-ctx/

../
files/                                             23-Oct-2026 18:19                   -
Makefile                                           23-Oct-2026 18:19               14140
distinfo                                           23-Oct-2026 18:19               95935
pkg-descr                                          23-Oct-2026 18:19                 827
pkg-message                                        23-Oct-2026 18:19                1068