Index of /cvsroot/pkgsrc/math/lean4/

../
patches/                                           11-Aug-2026 12:55                   -
DESCR,v                                            24-Jul-2026 18:39                 483
Makefile,v                                         11-Aug-2026 12:55                6306
PLIST,v                                            11-Aug-2026 12:55              800754
distinfo,v                                         11-Aug-2026 12:55                5461