CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/10/12 15:10:45
Modified files:
math/lean : Makefile
Log message:
lean: drop maintainer
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Volker Schlecht
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Edd Barrett
- CVS: cvs.openbsd.org: ports Edd Barrett
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Johannes Thyssen Tishman
- CVS: cvs.openbsd.org: ports Kirill Bychkov
- CVS: cvs.openbsd.org: ports Theo Buehler
- CVS: cvs.openbsd.org: ports Joel Sing
- CVS: cvs.openbsd.org: ports Theo Buehler
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Joel Sing
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Sebastian Reitenbach
- CVS: cvs.openbsd.org: ports Kirill A . Korinsky
- CVS: cvs.openbsd.org: ports Jonathan Gray
- CVS: cvs.openbsd.org: ports Bjorn Ketelaars
