these 2 derivations will be built:
  /nix/store/kcvl28aq2kwrc6xpxqrbm63l2cd96lkm-aeneas-macos-aarch64.tar.gz.drv
  /nix/store/94w53j8y1aiadgqjli6ia14p4qlafsb1-aeneas-toolchain-marker.drv
these 17 paths will be fetched (0.0 KiB download, 257.1 MiB unpacked):
  /nix/store/hrj4anmgciq7pzgxsd5dd2jdl83av221-aeneas-linux-aarch64.tar.gz
  /nix/store/xcis2b37s9lrkf7gw0kj6w1z5f65jyf3-aeneas-linux-x86_64.tar.gz
  /nix/store/p818ycwlk0hvs8f2niq701jhc9h2hq0y-curl-8.22.0
  /nix/store/8x021nxbxz26sak24ngwk3zvx40p6yg4-curl-8.22.0-bin
  /nix/store/mxsppj348yslmh2qx0mv6klymh9q9v3d-curl-8.22.0-dev
  /nix/store/aqlpr73g15c370nsshjb05dxav7rhbjl-curl-8.22.0-man
  /nix/store/k6fmf03py9rmxd56kjnpwx2gvhmd9ycl-krb5-1.22.2
  /nix/store/3g35j32k0hq244llbm7rp64xf64xswac-krb5-1.22.2-dev
  /nix/store/zcahp8a07ikm6jbsmp6b6n9kvbl2iqgf-krb5-1.22.2-lib
  /nix/store/nkilrx0m320p2p9g4aqzsbmzj72scp6d-libssh2-1.11.1
  /nix/store/dz3qh5appb7glr35p56bvj4k0xgzgkrb-libssh2-1.11.1-dev
  /nix/store/511b7w9vlpx6n0wfhamayip4g6g20x3f-nghttp2-1.70.0
  /nix/store/w79p9x5q3lfxwpav5c2sra104124cwd3-nghttp2-1.70.0-dev
  /nix/store/58949875l9zbnb8031s069zqai1s2ysx-nghttp2-1.70.0-lib
  /nix/store/q3d2405gjapmi8d90xyjwwp14s1cz7nk-openssl-3.5.9
  /nix/store/9gflnsrvhv58lwhkn5f8fxwb6v0wmff0-openssl-3.5.9-bin
  /nix/store/rh04ir7fv0gp5z1pyyxrl8cp8jh7g1az-openssl-3.5.9-dev
building '/nix/store/kcvl28aq2kwrc6xpxqrbm63l2cd96lkm-aeneas-macos-aarch64.tar.gz.drv'
aeneas-macos-aarch64.tar.gz> structuredAttrs is enabled
aeneas-macos-aarch64.tar.gz> 
aeneas-macos-aarch64.tar.gz> trying https://github.com/AeneasVerif/aeneas/releases/download/nightly-2026.07.31-3a8586f/aeneas-macos-aarch64.tar.gz
aeneas-macos-aarch64.tar.gz>   % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
aeneas-macos-aarch64.tar.gz>                                  Dload  Upload  Total   Spent   Left   Speed
aeneas-macos-aarch64.tar.gz> 
aeneas-macos-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-macos-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-macos-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-macos-aarch64.tar.gz> 
aeneas-macos-aarch64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-macos-aarch64.tar.gz>  17 117.9M  17 20.06M   0      0 15.68M      0   00:07   00:01   00:06 19.96M
aeneas-macos-aarch64.tar.gz>  25 117.9M  25 30.52M   0      0 13.25M      0   00:08   00:02   00:06 15.04M
aeneas-macos-aarch64.tar.gz>  50 117.9M  50 60.01M   0      0 17.73M      0   00:06   00:03   00:03 19.29M
aeneas-macos-aarch64.tar.gz>  59 117.9M  59 70.65M   0      0 16.10M      0   00:07   00:04   00:03 17.17M
aeneas-macos-aarch64.tar.gz>  84 117.9M  84 99.24M   0      0 18.42M      0   00:06   00:05   00:01 19.41M
aeneas-macos-aarch64.tar.gz> 100 117.9M 100 117.9M   0      0 19.85M      0   00:05   00:05         19.41M
aeneas-macos-aarch64.tar.gz> 100 117.9M 100 117.9M   0      0 19.85M      0   00:05   00:05         19.41M
aeneas-macos-aarch64.tar.gz> 100 117.9M 100 117.9M   0      0 19.85M      0   00:05   00:05         19.41M
building '/nix/store/94w53j8y1aiadgqjli6ia14p4qlafsb1-aeneas-toolchain-marker.drv'

upload niks3: ok