Nadja Yang b606786817 leanPackages: 4.29.1 -> 4.30.0 ...

Add leangz (leantar) as a new build and runtime dependency.

https://github.com/leanprover/lean4/releases/tag/v4.30.0
https://github.com/leanprover-community/mathlib4/blob/v4.30.0/lake-manifest.json

2026-06-04 16:48:52 -04:00

..

default.nix

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00