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 'src'

         at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/build-support/coq/meta-fetch/default.nix:58:7:

           57|       inherit version;
           58|       src = fetcher (location // { inherit rev; } //
             |       ^
           59|         (optionalAttrs has-owner { owner = head splitted; }));

       … while calling the 'fetchTarball' builtin

         at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/build-support/coq/meta-fetch/default.nix:20:81:

           19|         ] (throw "meta-fetch: no fetcher found for domain ${domain} on ${rev}");
           20|         fetch = x: if args?sha256 then fetchzip (x // { inherit sha256; }) else fetchTarball x;
             |                                                                                 ^
           21|     in fetch { inherit url ; };

       error: unable to download 'https://github.com/coq/coq/archive/8.18.tar.gz': HTTP error 404

       response body:

       404: Not Found
stderr did not split as expected full stderr was: 
error: attribute 'originalSrc' in selection path 'coq.originalSrc' not found
stderr did not split as expected full stderr was: 
error:
       … while calling the 'derivationStrict' builtin

         at /builtin/derivation.nix:9:12: (source not available)

       … while evaluating derivation 'coq-dev'
         whose name attribute is located at /var/cache/nixpkgs-update/worker/worktree/coq/pkgs/stdenv/generic/make-derivation.nix:354:7

       … while evaluating attribute 'src' of derivation 'coq-dev'

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

           91|   pname = "coq";
           92|   inherit (fetched) version src;
             |                    ^
           93|

       error: unable to download 'https://github.com/coq/coq/archive/8.18.tar.gz': HTTP error 404

       response body:

       404: Not Found