Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: framac 31.0 -> 32.0 https://repology.org/project/frama-c/versions attrpath: framac Checking auto update branch... No auto update branch exists [version] stderr did not split as expected full stderr was: warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user this derivation will be built: /nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv building '/nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv'... structuredAttrs is enabled trying https://frama-c.com/download/frama-c-32.0-Gallium.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries Warning: left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 error: cannot download frama-c-32.0-Gallium.tar.gz from any mirror error: Cannot build '/nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/kyi7j1b3dipnd6lfy31m1n2s8h87h0fv-frama-c-32.0-Gallium.tar.gz Last 18 log lines: > structuredAttrs is enabled > > trying https://frama-c.com/download/frama-c-32.0-Gallium.tar.gz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries > Warning: left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > error: cannot download frama-c-32.0-Gallium.tar.gz from any mirror For full logs, run: nix log /nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv stderr did not split as expected full stderr was: warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user error: attribute 'originalSrc' in selection path 'framac.originalSrc' not found stderr did not split as expected full stderr was: warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user these 3 derivations will be built: /nix/store/5fzg3lf1d748zmj17chpl9psp5g36p7y-setupHook.sh.drv /nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv /nix/store/nj3bmxkjaymc2b6ckjhw8f80jvgadpwj-frama-c-32.0.drv these 13 paths will be fetched (156.57 MiB download, 698.19 MiB unpacked): /nix/store/bv457wy1yrf78iwf6znbnyg0sgpn7jis-coq-9.0.1 /nix/store/wcg3b47f79j4gxyc3icbwi9692yajsdz-csdp-6.1.1 /nix/store/chg5j5frdgyini3nsm0p28afkazgrh6s-ocaml5.4.0-cairo2-0.6.5 /nix/store/zm3maa40g7210wlmzb8wnnccr8hh1brf-ocaml5.4.0-camlzip-1.11 /nix/store/4m3g1y9swi35ixy226inlz122jbcfk2i-ocaml5.4.0-lablgtk3-3.1.5 /nix/store/rnrbbbgv60j8qp5gfv45b1ksw6lb0hkj-ocaml5.4.0-lablgtk3-sourceview3-3.1.5 /nix/store/ywrl52w9wrysp4gsra3kpslv39b3q6fc-ocaml5.4.0-ppx_deriving_yaml-0.4.1 /nix/store/iza73570jzqaq002hx6wmd19s34a1pl5-ocaml5.4.0-ppx_import-1.12.0 /nix/store/vc86dnyyl6zraj3q60nscfq27h5s6l5l-ocaml5.4.0-unionFind-20250818 /nix/store/ybf21f5aqmy8din2z7pvgc5x2izylkw2-ocaml5.4.0-yaml-3.2.0 /nix/store/jzl2hhc8da1sldas45gs0hppvlrkrnn7-rocq-9.0.1 /nix/store/frpvg395fhxzk2msp3hidzq82ag490gx-why3-1.8.2 /nix/store/kzrb0p0wsw4fnbblzk5711ss6z3jw842-why3-1.8.2-dev copying path '/nix/store/zm3maa40g7210wlmzb8wnnccr8hh1brf-ocaml5.4.0-camlzip-1.11' from 'https://cache.nixos.org'... copying path '/nix/store/iza73570jzqaq002hx6wmd19s34a1pl5-ocaml5.4.0-ppx_import-1.12.0' from 'https://cache.nixos.org'... copying path '/nix/store/vc86dnyyl6zraj3q60nscfq27h5s6l5l-ocaml5.4.0-unionFind-20250818' from 'https://cache.nixos.org'... copying path '/nix/store/chg5j5frdgyini3nsm0p28afkazgrh6s-ocaml5.4.0-cairo2-0.6.5' from 'https://cache.nixos.org'... copying path '/nix/store/ybf21f5aqmy8din2z7pvgc5x2izylkw2-ocaml5.4.0-yaml-3.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/frpvg395fhxzk2msp3hidzq82ag490gx-why3-1.8.2' from 'https://cache.nixos.org'... copying path '/nix/store/wcg3b47f79j4gxyc3icbwi9692yajsdz-csdp-6.1.1' from 'https://cache.nixos.org'... building '/nix/store/5fzg3lf1d748zmj17chpl9psp5g36p7y-setupHook.sh.drv'... building '/nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv'... structuredAttrs is enabled trying https://frama-c.com/download/frama-c-32.0-Gallium.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed copying path '/nix/store/jzl2hhc8da1sldas45gs0hppvlrkrnn7-rocq-9.0.1' from 'https://cache.nixos.org'... copying path '/nix/store/ywrl52w9wrysp4gsra3kpslv39b3q6fc-ocaml5.4.0-ppx_deriving_yaml-0.4.1' from 'https://cache.nixos.org'... copying path '/nix/store/4m3g1y9swi35ixy226inlz122jbcfk2i-ocaml5.4.0-lablgtk3-3.1.5' from 'https://cache.nixos.org'... 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. copying path '/nix/store/kzrb0p0wsw4fnbblzk5711ss6z3jw842-why3-1.8.2-dev' from 'https://cache.nixos.org'... 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries Warning: left. copying path '/nix/store/rnrbbbgv60j8qp5gfv45b1ksw6lb0hkj-ocaml5.4.0-lablgtk3-sourceview3-3.1.5' from 'https://cache.nixos.org'... 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 error: cannot download frama-c-32.0-Gallium.tar.gz from any mirror error: Cannot build '/nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/kyi7j1b3dipnd6lfy31m1n2s8h87h0fv-frama-c-32.0-Gallium.tar.gz Last 18 log lines: > structuredAttrs is enabled > > trying https://frama-c.com/download/frama-c-32.0-Gallium.tar.gz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries > Warning: left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > error: cannot download frama-c-32.0-Gallium.tar.gz from any mirror For full logs, run: nix log /nix/store/5wjg2rnzx2msvpjfhdg92w264ym8dxs1-frama-c-32.0-Gallium.tar.gz.drv error: Cannot build '/nix/store/nj3bmxkjaymc2b6ckjhw8f80jvgadpwj-frama-c-32.0.drv'. Reason: 1 dependency failed. Output paths: /nix/store/6hqki8v2k703vi1brzzd9y54kvfl8n9x-frama-c-32.0