these 2 derivations will be built:
  /nix/store/2cxi70rv16991iw5hqvr93j4jzhgnwdb-aeneas-linux-x86_64.tar.gz.drv
  /nix/store/via44aqfvm2v5li89ryvi9fyv5y2vw5k-aeneas-toolchain-marker.drv
these 50 paths will be fetched (28.2 MiB download, 99.0 MiB unpacked):
  /nix/store/9074l1whzhvk68kj5va99ipj412rk5q2-acl-2.4.0
  /nix/store/p6cir20v12fjj5390b8xr9kdynm8bd9h-attr-2.6.0
  /nix/store/10dxp0qxqxxsyiljrh2kp0xqhz6arhcx-bash-5.3p15
  /nix/store/mpqgjnlmzy3c5hslbgyc3s7zfz3m32lg-bzip2-1.0.8
  /nix/store/gz6baw96bf48pxs93kc7rxmnr1ra7g4m-bzip2-1.0.8-bin
  /nix/store/2gfxiwls9hbgwdwcy43mprchwsq36mg6-coreutils-9.11
  /nix/store/8jkay38s61pp53p0yg5srgzym39mkx8b-curl-8.22.0
  /nix/store/pqi7yskv2kf3db0zangzschnk9p0cl0s-curl-8.22.0-bin
  /nix/store/y3sbnb3z49c7xaq66cj5z5wss2v000wq-curl-8.22.0-dev
  /nix/store/kp374jspbr455zr4scnigdxbm6rzw16w-curl-8.22.0-man
  /nix/store/jizwjwy80hby5cmqqwbxgaf2k4q7hjq2-diffutils-3.12
  /nix/store/52g3cz18lwhd3gv39dybdyc6n81c0bhg-ed-1.22.6
  /nix/store/i22iaxmpraqg3czwcraqpb844fwbh9zy-file-5.48
  /nix/store/ycrbcy9sg4knpnik6a01dk70l0m673x7-findutils-4.11.0
  /nix/store/63g104xwbzfpcq0h7c99w19m6j9ly3p1-gawk-5.4.1
  /nix/store/j7qx4s4mr17j1wqgvqdzj33lmrnzb387-gcc-16.2.0-lib
  /nix/store/q2mkz6ca1alqfqf750dygvakmq8kjrwz-gcc-16.2.0-libgcc
  /nix/store/h4wfwic161kxrr74jlzla5lsm28hgary-glibc-2.44-25
  /nix/store/chwiiz63ngbsgr2qi82c4g40vn756ky2-gmp-with-cxx-6.3.0
  /nix/store/rghdmnzq9f3swhb6dfg887p3vsric2sd-gnu-config-2024-01-01
  /nix/store/3668q0d9zhc5n9l2pnyvpd44kz9bjsjm-gnugrep-3.12
  /nix/store/p5frwjlmkgj2987iy9plr7nav9l72xz4-gnumake-4.4.1
  /nix/store/1ggxndc1gd5061j5hqprhnhx9p30yilv-gnused-4.10
  /nix/store/d1x966y2brfy9pwlrzwjmbnq9rpir7xb-gnutar-1.35
  /nix/store/yr6ar7lsk3yfas4d464z1ysaxwcq2gc5-gzip-1.14
  /nix/store/gqd8w84mhr0h24fnc2p4m3hkicsnxsfm-keyutils-1.6.3-lib
  /nix/store/wwb7jn045r4m5b19bkzqvzh98ign1mpw-krb5-1.22.2
  /nix/store/zr1r3f33xf3b7a4fl8fkq086id43bs10-krb5-1.22.2-dev
  /nix/store/i7jly6s7k24x595amdbcj99qa467y7b0-krb5-1.22.2-lib
  /nix/store/q0lbdx5yv93a3md74kjhm0v2kljjii89-libidn2-2.3.8
  /nix/store/wd94lbaly75rgfy3z4b77w2gnav0c43s-libssh2-1.11.1
  /nix/store/cfjzkvs5xcpwr1kbibacnsg5s3ixw3ka-libssh2-1.11.1-dev
  /nix/store/jp8ql2fnd61xhvb4vsfp0bqwrzf16qrp-libunistring-1.4.2
  /nix/store/pmsl7ri9wm5nm9xjiaygap5fw56ppihp-nghttp2-1.70.0
  /nix/store/wsv2443zc26ndqv4jbdvwx7jhk815rn9-nghttp2-1.70.0-dev
  /nix/store/081l6biywgsj0h3r8dfz9b6h4vms8vgg-nghttp2-1.70.0-lib
  /nix/store/3z3njajk7j5db6j2h80w44almpxqdb83-openssl-3.5.8
  /nix/store/0p03xqrvnyrxpp7n89rp7kkgfp2m0qil-openssl-3.5.8-bin
  /nix/store/1wk3avph708b7yldhbzdvjk59db8v41g-openssl-3.5.8-dev
  /nix/store/dsfqcffzgwhrnkq1v9g9s3p55czrxk8l-patch-2.8
  /nix/store/qcwnw71iksl68k7fipizi6wn0s1xms9v-patchelf-0.15.2
  /nix/store/7v8b5idfzwfl06hx6n0cvd5ikd5p0sbg-pcre2-10.48
  /nix/store/xai718x2gpf0kf73zwhhv50likh5c18l-stdenv-linux-no-cc
  /nix/store/6rlr2p16ravxnx5pplcdgqyxssbx5h5c-update-autotools-gnu-config-scripts-hook
  /nix/store/g60m3aky9f59wgy1gi0y06xwmbw19d6m-xgcc-16.2.0-libgcc
  /nix/store/vkwq2iap75p0srizppc3jl2j5b1lxpln-xz-5.8.4
  /nix/store/f10qh0sgpx38n3azj08dgbbnlxspv26n-xz-5.8.4-bin
  /nix/store/wgw25d181h0qks7qsfp1bh7c5nd3f0s7-zlib-1.3.2
  /nix/store/879xd5x23lfd4l93jz71yaz06wa15yc1-zlib-1.3.2-dev
  /nix/store/igzrdkid07pdyh30cswrjb7a9yln9mpp-zlib-1.3.2-static
building '/nix/store/2cxi70rv16991iw5hqvr93j4jzhgnwdb-aeneas-linux-x86_64.tar.gz.drv'
aeneas-linux-x86_64.tar.gz> structuredAttrs is enabled
aeneas-linux-x86_64.tar.gz> 
aeneas-linux-x86_64.tar.gz> trying https://github.com/AeneasVerif/aeneas/releases/download/nightly-2026.07.31-3a8586f/aeneas-linux-x86_64.tar.gz
aeneas-linux-x86_64.tar.gz>   % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
aeneas-linux-x86_64.tar.gz>                                  Dload  Upload  Total   Spent   Left   Speed
aeneas-linux-x86_64.tar.gz> 
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz> 
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz>  25 117.9M  25 30.10M   0      0 24.18M      0   00:04   00:01   00:03 29.80M
aeneas-linux-x86_64.tar.gz>  47 117.9M  47 56.12M   0      0 24.85M      0   00:04   00:02   00:02 27.73M
aeneas-linux-x86_64.tar.gz>  76 117.9M  76 90.10M   0      0 26.94M      0   00:04   00:03   00:01 28.97M
aeneas-linux-x86_64.tar.gz>  93 117.9M  93 110.4M   0      0 25.42M      0   00:04   00:04         26.87M
aeneas-linux-x86_64.tar.gz> 100 117.9M 100 117.9M   0      0 25.29M      0   00:04   00:04         26.87M
aeneas-linux-x86_64.tar.gz> 100 117.9M 100 117.9M   0      0 25.29M      0   00:04   00:04         26.87M
aeneas-linux-x86_64.tar.gz> 100 117.9M 100 117.9M   0      0 25.29M      0   00:04   00:04         26.87M
building '/nix/store/via44aqfvm2v5li89ryvi9fyv5y2vw5k-aeneas-toolchain-marker.drv'

upload niks3: ok