Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.rocqnavi 0.5.0 -> 0.6.0 https://github.com/affeldt-aist/rocqnavi/releases
attrpath: coqPackages.rocqnavi
Checking auto update branch...
An auto update branch exists with message `coqPackages.rocqnavi: 0.5.0 -> 0.5.1`. New version is 0.6.0.
The auto update branch does not match or exceed the new version.
[version] 
stderr did not split as expected full stderr was: 
warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user
this derivation will be built:
  /nix/store/byibw69qjwfqvmgc1r6kfdzq1wwy2aqw-source.drv
error: the build users group 'nixbld' has no members
stderr did not split as expected full stderr was: 
error: attribute 'originalSrc' in selection path 'coqPackages.rocqnavi.originalSrc' not found
stderr did not split as expected full stderr was: 
warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user
these 2 derivations will be built:
  /nix/store/byibw69qjwfqvmgc1r6kfdzq1wwy2aqw-source.drv
  /nix/store/vbsrgrllh0m3wy1qh4drp5j24q53alc9-rocq9.1-rocqnavi-0.6.0.drv
this path will be fetched (156.2 KiB download, 508.7 KiB unpacked):
  /nix/store/lfm4hanzcqprizqly78cfzxf3qiksb5n-ocaml4.14.4-dune-glob-3.23.1
copying path '/nix/store/lfm4hanzcqprizqly78cfzxf3qiksb5n-ocaml4.14.4-dune-glob-3.23.1' from 'https://cache.nixos.org'...
error: the build users group 'nixbld' has no members