coqPackages.mathcomp-finmap 1.5.2 -> 2.1.0 https://github.com/math-comp/finmap/releases attrpath: coqPackages.mathcomp-finmap Checking auto update branch... No auto update branch exists [version] stderr did not split as expected full stderr was: error: … while evaluating the attribute 'coqPackages' at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/top-level/coq-packages.nix:211:3: 210| coqPackages_8_19 = mkCoqPackages coq_8_19 // { __attrsFailEvaluation = true; }; 211| coqPackages = | ^ 212| let cp = recurseIntoAttrs coqPackages_8_18; … in the left operand of the update (//) operator at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/top-level/coq-packages.nix:213:11: 212| let cp = recurseIntoAttrs coqPackages_8_18; 213| in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; }; | ^ 214| coq = coqPackages.coq; (stack trace truncated; use '--show-trace' to show the full trace) error: attribute '"2.1.0".sha256' already defined at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/development/coq-modules/mathcomp-finmap/default.nix:22:5 at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/development/coq-modules/mathcomp-finmap/default.nix:24:5: 23| "2.0.0".sha256 = "sha256-0Wr1ZUYVuZH74vawO4EZlZ+K3kq+s1xEz/BfzyKj+wk="; 24| "2.1.0".sha256 = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA="; | ^ 25| "1.5.1".sha256 = "0ryfml4pf1dfya16d8ma80favasmrygvspvb923n06kfw9v986j7"; stderr did not split as expected full stderr was: error: … while evaluating the attribute 'coqPackages' at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/top-level/coq-packages.nix:211:3: 210| coqPackages_8_19 = mkCoqPackages coq_8_19 // { __attrsFailEvaluation = true; }; 211| coqPackages = | ^ 212| let cp = recurseIntoAttrs coqPackages_8_18; … in the left operand of the update (//) operator at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/top-level/coq-packages.nix:213:11: 212| let cp = recurseIntoAttrs coqPackages_8_18; 213| in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; }; | ^ 214| coq = coqPackages.coq; (stack trace truncated; use '--show-trace' to show the full trace) error: attribute '"2.1.0".sha256' already defined at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/development/coq-modules/mathcomp-finmap/default.nix:22:5 at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/development/coq-modules/mathcomp-finmap/default.nix:24:5: 23| "2.0.0".sha256 = "sha256-0Wr1ZUYVuZH74vawO4EZlZ+K3kq+s1xEz/BfzyKj+wk="; 24| "2.1.0".sha256 = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA="; | ^ 25| "1.5.1".sha256 = "0ryfml4pf1dfya16d8ma80favasmrygvspvb923n06kfw9v986j7"; stderr did not split as expected full stderr was: error: … while evaluating the attribute 'coqPackages' at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/top-level/coq-packages.nix:211:3: 210| coqPackages_8_19 = mkCoqPackages coq_8_19 // { __attrsFailEvaluation = true; }; 211| coqPackages = | ^ 212| let cp = recurseIntoAttrs coqPackages_8_18; … in the left operand of the update (//) operator at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/top-level/coq-packages.nix:213:11: 212| let cp = recurseIntoAttrs coqPackages_8_18; 213| in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; }; | ^ 214| coq = coqPackages.coq; (stack trace truncated; use '--show-trace' to show the full trace) error: attribute '"2.1.0".sha256' already defined at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/development/coq-modules/mathcomp-finmap/default.nix:22:5 at /var/cache/nixpkgs-update/worker/worktree/coqPackages.mathcomp-finmap/pkgs/development/coq-modules/mathcomp-finmap/default.nix:24:5: 23| "2.0.0".sha256 = "sha256-0Wr1ZUYVuZH74vawO4EZlZ+K3kq+s1xEz/BfzyKj+wk="; 24| "2.1.0".sha256 = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA="; | ^ 25| "1.5.1".sha256 = "0ryfml4pf1dfya16d8ma80favasmrygvspvb923n06kfw9v986j7";