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/1f4zmcbfhbpddrr850azv4dni90zjh6c-frama-c-32.0-Gallium.tar.gz.drv building '/nix/store/1f4zmcbfhbpddrr850azv4dni90zjh6c-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 00:01 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/1f4zmcbfhbpddrr850azv4dni90zjh6c-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 00:01 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/1f4zmcbfhbpddrr850azv4dni90zjh6c-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/1f4zmcbfhbpddrr850azv4dni90zjh6c-frama-c-32.0-Gallium.tar.gz.drv /nix/store/5fzg3lf1d748zmj17chpl9psp5g36p7y-setupHook.sh.drv /nix/store/vy0a8smvqsx3cg9z0pv2b5pzg2d42add-frama-c-32.0.drv these 11 paths will be fetched (35.00 MiB download, 180.54 MiB unpacked): /nix/store/79f6y3w4fvqpzjijnmd93rqskdkvb6bv-ocaml5.4.0-biniou-1.2.2 /nix/store/chg5j5frdgyini3nsm0p28afkazgrh6s-ocaml5.4.0-cairo2-0.6.5 /nix/store/abd5qzc5hy4mv2mj2357bpmga6a6jkay-ocaml5.4.0-easy-format-1.3.4 /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/frpvg395fhxzk2msp3hidzq82ag490gx-why3-1.8.2 /nix/store/kzrb0p0wsw4fnbblzk5711ss6z3jw842-why3-1.8.2-dev copying path '/nix/store/abd5qzc5hy4mv2mj2357bpmga6a6jkay-ocaml5.4.0-easy-format-1.3.4' 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'... building '/nix/store/5fzg3lf1d748zmj17chpl9psp5g36p7y-setupHook.sh.drv'... building '/nix/store/1f4zmcbfhbpddrr850azv4dni90zjh6c-frama-c-32.0-Gallium.tar.gz.drv'... structuredAttrs is enabled trying https://frama-c.com/download/frama-c-32.0-Gallium.tar.gz copying path '/nix/store/79f6y3w4fvqpzjijnmd93rqskdkvb6bv-ocaml5.4.0-biniou-1.2.2' from 'https://cache.nixos.org'... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed copying path '/nix/store/4m3g1y9swi35ixy226inlz122jbcfk2i-ocaml5.4.0-lablgtk3-3.1.5' from 'https://cache.nixos.org'... copying path '/nix/store/ywrl52w9wrysp4gsra3kpslv39b3q6fc-ocaml5.4.0-ppx_deriving_yaml-0.4.1' 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/1f4zmcbfhbpddrr850azv4dni90zjh6c-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/1f4zmcbfhbpddrr850azv4dni90zjh6c-frama-c-32.0-Gallium.tar.gz.drv error: Cannot build '/nix/store/vy0a8smvqsx3cg9z0pv2b5pzg2d42add-frama-c-32.0.drv'. Reason: 1 dependency failed. Output paths: /nix/store/6hqki8v2k703vi1brzzd9y54kvfl8n9x-frama-c-32.0