Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.coqprime 8.20 -> 8.20.1 https://github.com/thery/coqprime/releases
attrpath: coqPackages.coqprime
Checking auto update branch...
No auto update branch exists
Received ExitFailure 128 when running
Raw command: git show remotes/upstream/master:pkgs/development/coq-modules/coqprime/default.nix
Standard output:

fatal: path 'pkgs/development/coq-modules/coqprime/default.nix' exists on disk, but not in 'remotes/upstream/master'
Standard error:

fatal: path 'pkgs/development/coq-modules/coqprime/default.nix' exists on disk, but not in 'remotes/upstream/master'