nixos/nixpkgs.git/pkgs/development/lean-modules/lean4, branch master Nix Packages collection lean4: remove cadical copy 2026-04-24T08:39:20+00:00 Archit Gupta archit@accelbread.com 2026-04-24T01:16:22+00:00 ed10debb3c8ad78e687521bb802383e21cd74472 By default, lean4's cmake copies the cadical binary from PATH to its build output directory. Disabling this behavior does not keep Lean from using cadical. 
By default, lean4's cmake copies the cadical binary from PATH to its
build output directory. Disabling this behavior does not keep Lean from
using cadical.
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility 2026-04-01T15:13:44+00:00 Nadja Yang nadja@njy.dev 2026-03-28T17:53:22+00:00 3c2a3b804d85fde7c4c00a2cdc2da85bd75743e5 Give leanPackages its own lean4, independent of pkgs.lean4. Binary- patch the toolchain so the language server discovers the wrapped lake despite lake serve deriving LAKE from IO.appPath unconditionally. Supplant Lake's config trace validation for /nix/store/ dependencies, deferring cache coherence to Nix. Migrate Nix-managed dependency injection from package-overrides.json to lake --packages. Patch Cli to pre-build static library for downstream executables. Add recurseIntoAttrs for Hydra. Upstream accepted FetchContent for mimalloc vendoring: https://github.com/leanprover/lean4/commit/a145b9c11a0fe38fd4c921024a7376c99cc34bd2 
Give leanPackages its own lean4, independent of pkgs.lean4. Binary-
patch the toolchain so the language server discovers the wrapped lake
despite lake serve deriving LAKE from IO.appPath unconditionally.
Supplant Lake's config trace validation for /nix/store/ dependencies,
deferring cache coherence to Nix.

Migrate Nix-managed dependency injection from package-overrides.json
to lake --packages. Patch Cli to pre-build static library for
downstream executables. Add recurseIntoAttrs for Hydra.

Upstream accepted FetchContent for mimalloc vendoring:
https://github.com/leanprover/lean4/commit/a145b9c11a0fe38fd4c921024a7376c99cc34bd2