Index of /cvsroot/pkgsrc/math/lean4/

../
patches/                                           25-Jul-2026 11:25                   -
DESCR,v                                            24-Jul-2026 18:39                 483
Makefile,v                                         25-Jul-2026 09:57                4232
PLIST,v                                            24-Jul-2026 18:39              652768
distinfo,v                                         25-Jul-2026 11:24                2737