coq 8.18.0 -> 8.19.0 https://github.com/coq/coq/releases
attrpath: coq
Checking auto update branch...
No auto update branch exists
[version] 
stderr did not split as expected full stderr was: 
error:
       … while evaluating the attribute 'coq'

         at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/top-level/coq-packages.nix:214:3:

          213|     in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };
          214|   coq = coqPackages.coq;
             |   ^
          215|

       … in the left operand of the update (//) operator

         at /var/cache/nixpkgs-update/worker/worktree/coq/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 '"8.19.0".sha256' already defined at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/applications/science/logic/coq/default.nix:58:4

       at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/applications/science/logic/coq/default.nix:59:4:

           58|    "8.19.0".sha256   = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA=";
           59|    "8.19.0".sha256   = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";
             |    ^
           60|   };
stderr did not split as expected full stderr was: 
error:
       … while evaluating the attribute 'coq'

         at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/top-level/coq-packages.nix:214:3:

          213|     in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };
          214|   coq = coqPackages.coq;
             |   ^
          215|

       … in the left operand of the update (//) operator

         at /var/cache/nixpkgs-update/worker/worktree/coq/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 '"8.19.0".sha256' already defined at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/applications/science/logic/coq/default.nix:58:4

       at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/applications/science/logic/coq/default.nix:59:4:

           58|    "8.19.0".sha256   = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA=";
           59|    "8.19.0".sha256   = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";
             |    ^
           60|   };
stderr did not split as expected full stderr was: 
error:
       … while evaluating the attribute 'coq'

         at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/top-level/coq-packages.nix:214:3:

          213|     in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };
          214|   coq = coqPackages.coq;
             |   ^
          215|

       … in the left operand of the update (//) operator

         at /var/cache/nixpkgs-update/worker/worktree/coq/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 '"8.19.0".sha256' already defined at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/applications/science/logic/coq/default.nix:58:4

       at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/applications/science/logic/coq/default.nix:59:4:

           58|    "8.19.0".sha256   = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA=";
           59|    "8.19.0".sha256   = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";
             |    ^
           60|   };