CVS: cvs.openbsd.org: ports

[Theo Buehler]

CVSROOT:        /cvs
Module name:    ports
Changes by:     t...@cvs.openbsd.org    2022/03/21 14:56:25

Modified files:
        math/lean      : Makefile distinfo 
        math/lean/pkg  : PLIST 

Log message:
Update to lean 3.42.0