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: 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|   };
(use '--show-trace' to show detailed location information)
stderr did not split as expected full stderr was: 
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|   };
(use '--show-trace' to show detailed location information)
stderr did not split as expected full stderr was: 
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|   };
(use '--show-trace' to show detailed location information)