CVS commit: pkgsrc/math/lean4

Module Name:	pkgsrc
Committed By:	wiz
Date:		Tue Aug 11 12:55:48 UTC 2026

Modified Files:
	pkgsrc/math/lean4: Makefile PLIST distinfo
	pkgsrc/math/lean4/patches: patch-src_lake_Lake_Build_Common.lean

Log Message:
lean4: update to 4.33.0.

Lean 4.33.0 concentrates on responsiveness and consolidation: the
editor keeps more of your work while you type, try? can propose
proofs on its own, lia and grind tactics are improved, and Float
stops being an opaque type. Continuing the transparency work of
v4.31.0, it also enables backward.isDefEq.respectTransparency.types
by default — the change most likely to need attention when porting.


To generate a diff of this commit:
cvs rdiff -u -r1.7 -r1.8 pkgsrc/math/lean4/Makefile
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/lean4/PLIST
cvs rdiff -u -r1.5 -r1.6 pkgsrc/math/lean4/distinfo
cvs rdiff -u -r1.1 -r1.2 \
    pkgsrc/math/lean4/patches/patch-src_lake_Lake_Build_Common.lean

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