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

../
patches/                                           21-Sep-2026 18:26                   -
DESCR,v                                            21-Sep-2026 18:25                 530
Makefile,v                                         26-Sep-2026 11:04                8087
PLIST,v                                            26-Sep-2026 11:04              813853
distinfo,v                                         26-Sep-2026 11:04                7954