coq 8.18.0 -> 8.19.1 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:216:3:

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

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

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

          214|     let cp = recurseIntoAttrs coqPackages_8_18;
          215|     in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };
             |           ^
          216|   coq = coqPackages.coq;

       (stack trace truncated; use '--show-trace' to show the full trace)

       error: attribute '"8.19.1".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:60:4:

           59|    "8.19.0".sha256   = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";
           60|    "8.19.1".sha256   = "sha256-kmZ8Uk8jpzjOd67aAPp3C+vU2oNaBw9pr7+Uixcgg94=";
             |    ^
           61|   };
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:216:3:

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

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

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

          214|     let cp = recurseIntoAttrs coqPackages_8_18;
          215|     in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };
             |           ^
          216|   coq = coqPackages.coq;

       (stack trace truncated; use '--show-trace' to show the full trace)

       error: attribute '"8.19.1".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:60:4:

           59|    "8.19.0".sha256   = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";
           60|    "8.19.1".sha256   = "sha256-kmZ8Uk8jpzjOd67aAPp3C+vU2oNaBw9pr7+Uixcgg94=";
             |    ^
           61|   };
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:216:3:

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

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

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

          214|     let cp = recurseIntoAttrs coqPackages_8_18;
          215|     in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };
             |           ^
          216|   coq = coqPackages.coq;

       (stack trace truncated; use '--show-trace' to show the full trace)

       error: attribute '"8.19.1".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:60:4:

           59|    "8.19.0".sha256   = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";
           60|    "8.19.1".sha256   = "sha256-kmZ8Uk8jpzjOd67aAPp3C+vU2oNaBw9pr7+Uixcgg94=";
             |    ^
           61|   };