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

../
patches/                                           28-Aug-2026 18:35                   -
DESCR,v                                            24-Jul-2026 18:39                 483
Makefile,v                                         28-Aug-2026 18:35                6980
PLIST,v                                            11-Aug-2026 12:55              800754
distinfo,v                                         28-Aug-2026 18:35                6577