leanPackages.mathlib: set pname and version at correct location

2026-08-26 02:05:02 +00:00 · 2026-08-10 11:04:09 +02:00
parent 0a756486cc
commit 5fa317d4a2
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/lean-modules/mathlib/default.nix
+++ b/pkgs/development/lean-modules/mathlib/default.nix
@@ -72,11 +72,11 @@ in
 runCommand mathlib__archive.name
  {
    nativeBuildInputs = [ leangz-raw ];
+    inherit (mathlib__archive) pname version;
    passthru = {
      inherit mathlib__archive;
      inherit (mathlib__archive)
        src
-        version
        lakePackageName
        lean4
        allLeanDeps