Nadja Yang 6987e3afbe leanPackages.lean4: 4.29.0 -> 4.29.1 ...

Strip ephemeral setup.json build artifacts from library outputs.
These are produced per-module during compilation and not included
in upstream cache distributions
(https://github.com/NixOS/nixpkgs/issues/510957).

Disable Hydra builds for mathlib since the output exceeds the NAR
size limit.

Pre-build static library for batteries so downstream executables
can link against it.

Refactor update.sh to pin each dependency to the rev from mathlib's
lake-manifest.json.

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

..

default.nix

leanPackages.lean4: 4.29.0 -> 4.29.1

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