Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: cerberus 0 -> 1
attrpath: cerberus
Checking auto update branch...
[version] 
[version] generic version rewriter does not support multiple hashes
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] Failed with exit code 1
this derivation will be built:
  /nix/store/qd24m6qcpk00g2v26hsdsqvdbbxnwx3g-packages.json.drv
building '/nix/store/qd24m6qcpk00g2v26hsdsqvdbbxnwx3g-packages.json.drv'...

Going to be running update for following packages:
 - ocaml5.4.1-cerberus-0-unstable-2025-12-15

Press Enter key to continue...
Running update for:
Enqueuing group of 1 packages
 - ocaml5.4.1-cerberus-0-unstable-2025-12-15: UPDATING ...
 - ocaml5.4.1-cerberus-0-unstable-2025-12-15: ERROR

--- SHOWING ERROR LOG FOR ocaml5.4.1-cerberus-0-unstable-2025-12-15 ----------------------

+ url=
+ branch=
+ hardcode_zero_version=
+ tag_format=
+ tag_prefix=
+ tag_converter=
+ shallow_clone=
+ : ''
+ ((  4 > 0  ))
+ flag=--url=
+ shift 1
+ case "$flag" in
+ url=
+ ((  3 > 0  ))
+ flag='--tag-format=*'
+ shift 1
+ case "$flag" in
+ tag_format='*'
+ ((  2 > 0  ))
+ flag=--branch=master
+ shift 1
+ case "$flag" in
+ branch=master
+ ((  1 > 0  ))
+ flag=--shallow-clone
+ shift 1
+ case "$flag" in
+ shallow_clone=1
+ ((  0 > 0  ))
+ [[ -z '' ]]
++ nix-instantiate --eval -E 'with import ./. {}; cerberus.src.gitRepoUrl'
++ tr -d '"'
+ url=https://github.com/rems-project/cerberus.git
++ mktemp -d
+ tmpdir=/tmp/nix-shell-2949122-3572695774/nix-shell-2949230-1207942174/tmp.04snPdhEvV
+ cloneArgs=()
+ [[ 1 == 1 ]]
+ cloneArgs+=(--depth=1)
+ [[ -n master ]]
+ cloneArgs+=(--branch="$branch")
+ git clone --depth=1 --branch=master https://github.com/rems-project/cerberus.git /tmp/nix-shell-2949122-3572695774/nix-shell-2949230-1207942174/tmp.04snPdhEvV
Cloning into '/tmp/nix-shell-2949122-3572695774/nix-shell-2949230-1207942174/tmp.04snPdhEvV'...
+ pushd /tmp/nix-shell-2949122-3572695774/nix-shell-2949230-1207942174/tmp.04snPdhEvV
/tmp/nix-shell-2949122-3572695774/nix-shell-2949230-1207942174/tmp.04snPdhEvV /var/cache/nixpkgs-update/worker/worktree/cerberus
++ git show -s --pretty=format:%cs
+ commit_date=2026-07-06
++ git show -s --pretty=format:%H
+ commit_sha=dccd7b4b4a3da44f206b34ea0c42c0b0ea668737
+ last_tag=
+ [[ -z '' ]]
+ [[ 1 == 1 ]]
+ depth=100
+ ((  depth < 10000  ))
++ getLatestVersion
++ git describe --tags --abbrev=0 --match '*'
++ true
+ last_tag=
+ [[ -n '' ]]
+ git fetch --depth=100 --tags
From https://github.com/rems-project/cerberus
 * [new tag]         cav19-submission -> cav19-submission
 * [new tag]         cn-pin           -> cn-pin
 * [new tag]         refinedc-pin     -> refinedc-pin
+ depth=200
+ ((  depth < 10000  ))
++ getLatestVersion
++ git describe --tags --abbrev=0 --match '*'
++ true
+ last_tag=
+ [[ -n '' ]]
+ git fetch --depth=200 --tags
+ depth=400
+ ((  depth < 10000  ))
++ getLatestVersion
++ git describe --tags --abbrev=0 --match '*'
+ last_tag=cn-pin
+ [[ -n cn-pin ]]
+ break
+ [[ -z cn-pin ]]
+ [[ -z cn-pin ]]
+ [[ -n '' ]]
+ [[ -n '' ]]
+ [[ ! cn-pin =~ ^[[:digit:]] ]]
+ echo 'Last tag '\''cn-pin'\'' does not start with a digit'
Last tag 'cn-pin' does not start with a digit
+ exit 1


--- SHOWING ERROR LOG FOR ocaml5.4.1-cerberus-0-unstable-2025-12-15 ----------------------
The update script for ocaml5.4.1-cerberus-0-unstable-2025-12-15 failed with exit code 1