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/1y4j1pb9zrkqsxj1a24q4vvh3b6lpkkg-packages.json.drv
building '/nix/store/1y4j1pb9zrkqsxj1a24q4vvh3b6lpkkg-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/0r7fclxzqanipfa93m2chkpgzmfvgfrg-nix-update-1.15.1/bin/.nix-update-wrapped", line 9, in <module>
    sys.exit(main())
             ~~~~^^
  File "/nix/store/0r7fclxzqanipfa93m2chkpgzmfvgfrg-nix-update-1.15.1/lib/python3.13/site-packages/nix_update/__init__.py", line 475, in main
    package = update(options)
  File "/nix/store/0r7fclxzqanipfa93m2chkpgzmfvgfrg-nix-update-1.15.1/lib/python3.13/site-packages/nix_update/update.py", line 220, in update
    update_src_hash(opts, package.filename, package.hash)
    ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/nix/store/0r7fclxzqanipfa93m2chkpgzmfvgfrg-nix-update-1.15.1/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/0r7fclxzqanipfa93m2chkpgzmfvgfrg-nix-update-1.15.1/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) ---
       >   0      0   0      0   0      0      0      0                              0
       > curl: (22) The requested URL returned error: 404
       > Warning: Problem (retrying all errors). Retrying in 1 second. 3 retries left.
       > 100    122 100    122   0      0  15394      0                              0
       > 100    281 100    281   0      0  14908      0                              0
       >   0      0   0      0   0      0      0      0                              0
       > curl: (22) The requested URL returned error: 404
       > Warning: Problem (retrying all errors). Retrying in 2 seconds. 2 retries left.
       > 100    122 100    122   0      0  15357      0                              0
       > 100    281 100    281   0      0  16124      0                              0
       >   0      0   0      0   0      0      0      0                              0
       > curl: (22) The requested URL returned error: 404
       > Warning: Problem (retrying all errors). Retrying in 4 seconds. 1 retry left.
       > 100    122 100    122   0      0  13966      0                              0
       > 100    281 100    281   0      0  16623      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/85mfbng36s52pxgkfyj2bccyrm3192af-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