Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: cbmc-viewer 0 -> 1
attrpath: cbmc-viewer
Checking auto update branch...
[version] 
[version] skipping because derivation has updateScript
[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/gnrr238ws0g6axb8pa1dgpb36nii3v70-packages.json.drv
building '/nix/store/gnrr238ws0g6axb8pa1dgpb36nii3v70-packages.json.drv'...

Going to be running update for following packages:
 - cbmc-viewer-3.8

Press Enter key to continue...
Running update for:
Enqueuing group of 1 packages
 - cbmc-viewer-3.8: UPDATING ...
 - cbmc-viewer-3.8: ERROR

--- SHOWING ERROR LOG FOR cbmc-viewer-3.8 ----------------------

Traceback (most recent call last):
  File "/nix/store/891agg3561hn86sfyym932jq56ii2fra-nix-update-1.14.0/bin/.nix-update-wrapped", line 9, in <module>
    sys.exit(main())
             ~~~~^^
  File "/nix/store/891agg3561hn86sfyym932jq56ii2fra-nix-update-1.14.0/lib/python3.13/site-packages/nix_update/__init__.py", line 467, in main
    package = update(options)
  File "/nix/store/891agg3561hn86sfyym932jq56ii2fra-nix-update-1.14.0/lib/python3.13/site-packages/nix_update/update.py", line 218, in update
    update_src_hash(opts, package.filename, package.hash)
    ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/nix/store/891agg3561hn86sfyym932jq56ii2fra-nix-update-1.14.0/lib/python3.13/site-packages/nix_update/dependency_hashes.py", line 102, in update_hash_with_prefetch
    target_hash = nix_prefetch(opts, attr_name)
  File "/nix/store/891agg3561hn86sfyym932jq56ii2fra-nix-update-1.14.0/lib/python3.13/site-packages/nix_update/dependency_hashes.py", line 91, in nix_prefetch
    raise UpdateError(msg)
nix_update.errors.UpdateError: failed to retrieve hash when trying to update cbmc-viewer.src
--- nix stderr (last 20 lines) ---
       > curl: (22) The requested URL returned error: 404
       > Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left.
       > 100    122 100    122   0      0  14789      0                              0
       > 100    281 100    281   0      0  16650      0                              0
       >   0      0   0      0   0      0      0      0                              0
       > curl: (22) The requested URL returned error: 404
       > Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries
       > Warning: left.
       > 100    122 100    122   0      0  15587      0                              0
       > 100    281 100    281   0      0  17857      0                              0
       >   0      0   0      0   0      0      0      0                              0
       > curl: (22) The requested URL returned error: 404
       > Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left.
       > 100    122 100    122   0      0  15883      0                              0
       > 100    281 100    281   0      0  17959      0                              0
       >   0      0   0      0   0      0      0      0                              0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download cbmc-viewer-3.12.tar.gz from any mirror
       For full logs, run:
         nix log /nix/store/cn8fwpmanxgr4z5px56jj7w3fkmdq04v-cbmc-viewer-3.12.tar.gz.drv


--- SHOWING ERROR LOG FOR cbmc-viewer-3.8 ----------------------
The update script for cbmc-viewer-3.8 failed with exit code 1