these 2 derivations will be built:
  /nix/store/k8pw752krllqwcqj0sm7vavjr3fspiw4-aeneas-linux-aarch64.tar.gz.drv
  /nix/store/cisj7hcw7d73l8b81llljadils1iylcf-aeneas-toolchain-marker.drv
this path will be fetched (0.0 KiB download, 117.9 MiB unpacked):
  /nix/store/xcis2b37s9lrkf7gw0kj6w1z5f65jyf3-aeneas-linux-x86_64.tar.gz
building '/nix/store/k8pw752krllqwcqj0sm7vavjr3fspiw4-aeneas-linux-aarch64.tar.gz.drv'
aeneas-linux-aarch64.tar.gz> structuredAttrs is enabled
aeneas-linux-aarch64.tar.gz> 
aeneas-linux-aarch64.tar.gz> trying https://github.com/AeneasVerif/aeneas/releases/download/nightly-2026.07.31-3a8586f/aeneas-linux-aarch64.tar.gz
aeneas-linux-aarch64.tar.gz>   % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
aeneas-linux-aarch64.tar.gz>                                  Dload  Upload  Total   Spent   Left   Speed
aeneas-linux-aarch64.tar.gz> 
aeneas-linux-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-aarch64.tar.gz> 
aeneas-linux-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-aarch64.tar.gz>  31 119.3M  31 38.02M   0      0 29.62M      0   00:04   00:01   00:03 38.02M
aeneas-linux-aarch64.tar.gz>  61 119.3M  61 73.20M   0      0 31.77M      0   00:03   00:02   00:01 36.23M
aeneas-linux-aarch64.tar.gz>  91 119.3M  91 108.7M   0      0 32.77M      0   00:03   00:03         35.83M
aeneas-linux-aarch64.tar.gz> 100 119.3M 100 119.3M   0      0 33.91M      0   00:03   00:03         35.83M
aeneas-linux-aarch64.tar.gz> 100 119.3M 100 119.3M   0      0 33.91M      0   00:03   00:03         35.83M
aeneas-linux-aarch64.tar.gz> 100 119.3M 100 119.3M   0      0 33.91M      0   00:03   00:03         35.83M
building '/nix/store/cisj7hcw7d73l8b81llljadils1iylcf-aeneas-toolchain-marker.drv'

upload niks3: ok