Index of /pub/NetBSD-CVS/pkgsrc/math/lean4/

../
patches/                                           17-Oct-2026 21:06                   -
DESCR,v                                            21-Sep-2026 18:25                 530
Makefile,v                                         17-Oct-2026 21:06                8920
PLIST,v                                            17-Oct-2026 21:06              841537
distinfo,v                                         17-Oct-2026 21:06                9231