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/3mxh5d6r8jnklqh4i92cmfms3cf73y2s-packages.json.drv
building '/nix/store/3mxh5d6r8jnklqh4i92cmfms3cf73y2s-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/3m0jg7caf7fy3pb0xpyaw06x8kaqbzp5-nix-update-1.16.0/bin/.nix-update-wrapped", line 9, in <module>
    sys.exit(main())
             ~~~~^^
  File "/nix/store/3m0jg7caf7fy3pb0xpyaw06x8kaqbzp5-nix-update-1.16.0/lib/python3.14/site-packages/nix_update/__init__.py", line 482, in main
    package = update(options)
  File "/nix/store/3m0jg7caf7fy3pb0xpyaw06x8kaqbzp5-nix-update-1.16.0/lib/python3.14/site-packages/nix_update/update.py", line 223, in update
    update_src_hash(opts, package.filename, package.hash)
    ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/nix/store/3m0jg7caf7fy3pb0xpyaw06x8kaqbzp5-nix-update-1.16.0/lib/python3.14/site-packages/nix_update/dependency_hashes.py", line 103, in update_hash_with_prefetch
    target_hash = nix_prefetch(opts, attr_name)
  File "/nix/store/3m0jg7caf7fy3pb0xpyaw06x8kaqbzp5-nix-update-1.16.0/lib/python3.14/site-packages/nix_update/dependency_hashes.py", line 92, 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) ---
       > 100    281 100    281   0      0  13708      0                              0
       > 100    281 100    281   0      0  13671      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.
       >
       >   0      0   0      0   0      0      0      0                              0
       > 100    122 100    122   0      0  12033      0                              0
       > 100    122 100    122   0      0  11963      0                              0
       >
       >   0      0   0      0   0      0      0      0                              0
       > 100    281 100    281   0      0  15503      0                              0
       > 100    281 100    281   0      0  15453      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/5m65fc6axipfxzbv0z850livfi14axm3-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