mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-06-26 12:06:08 +00:00
b606786817
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