CVS commit: pkgsrc/math/lean4

Module Name:	pkgsrc
Committed By:	wiz
Date:		Fri Jul 24 18:39:20 UTC 2026

Added Files:
	pkgsrc/math/lean4: DESCR Makefile PLIST distinfo
	pkgsrc/math/lean4/patches: patch-src_CMakeLists.txt
	    patch-src_Leanc.lean patch-src_lake_Lake_Build_Common.lean
	    patch-src_runtime_process.cpp patch-stage0_src_CMakeLists.txt
	    patch-stage0_src_runtime_process.cpp

Log Message:
math/lean4: import lean4-4.32.1

Lean is a proof assistant and a functional programming language.
It is based on the calculus of constructions with inductive types.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/lean4/DESCR pkgsrc/math/lean4/Makefile \
    pkgsrc/math/lean4/PLIST pkgsrc/math/lean4/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt \
    pkgsrc/math/lean4/patches/patch-src_Leanc.lean \
    pkgsrc/math/lean4/patches/patch-src_lake_Lake_Build_Common.lean \
    pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp \
    pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt \
    pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.