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/apbc6vc41pxsgavy4cg0khv0xxyv61z9-frama-c-32.0-Gallium.tar.gz.drv building '/nix/store/apbc6vc41pxsgavy4cg0khv0xxyv61z9-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/apbc6vc41pxsgavy4cg0khv0xxyv61z9-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/apbc6vc41pxsgavy4cg0khv0xxyv61z9-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/apbc6vc41pxsgavy4cg0khv0xxyv61z9-frama-c-32.0-Gallium.tar.gz.drv /nix/store/agkx4wy7pasy7dhzziwkyvpc4iy8iq33-frama-c-32.0.drv these 18 paths will be fetched (160.06 MiB download, 713.40 MiB unpacked): /nix/store/m7zsg4xkgd9i6hsivqvw250syxj0yj63-coq-9.0.1 /nix/store/wcg3b47f79j4gxyc3icbwi9692yajsdz-csdp-6.1.1 /nix/store/79f6y3w4fvqpzjijnmd93rqskdkvb6bv-ocaml5.4.0-biniou-1.2.2 /nix/store/chg5j5frdgyini3nsm0p28afkazgrh6s-ocaml5.4.0-cairo2-0.6.5 /nix/store/zm3maa40g7210wlmzb8wnnccr8hh1brf-ocaml5.4.0-camlzip-1.11 /nix/store/frs608qrq7cp7zi1d8fpfyfqvylfqisi-ocaml5.4.0-ctypes-0.24.0 /nix/store/74ws14gl0f3rvnicwywhc8980fm9akx0-ocaml5.4.0-dune-configurator-3.20.2 /nix/store/abd5qzc5hy4mv2mj2357bpmga6a6jkay-ocaml5.4.0-easy-format-1.3.4 /nix/store/5n6dpj9ka9wcq5azrnkagd8gk4mrz8fl-ocaml5.4.0-integers-0.7.0 /nix/store/4m3g1y9swi35ixy226inlz122jbcfk2i-ocaml5.4.0-lablgtk3-3.1.5 /nix/store/rnrbbbgv60j8qp5gfv45b1ksw6lb0hkj-ocaml5.4.0-lablgtk3-sourceview3-3.1.5 /nix/store/kkc7wsppmg638hrmnn9r6pjwwpqwl5b3-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/n65i0i90js0b93n2qbn9wxkf22qxy65m-ocaml5.4.0-yaml-3.2.0 /nix/store/y1z3l6l2y1h4gqnl05lw2a4vlkp0ncjm-rocq-9.0.1 /nix/store/abhllxv66y8rkwwf9sxyvag584frdf54-why3-1.8.2 /nix/store/l21g54f9khv3y6m0wc623whh3wzzcb5q-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/74ws14gl0f3rvnicwywhc8980fm9akx0-ocaml5.4.0-dune-configurator-3.20.2' from 'https://cache.nixos.org'... 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/abhllxv66y8rkwwf9sxyvag584frdf54-why3-1.8.2' from 'https://cache.nixos.org'... copying path '/nix/store/wcg3b47f79j4gxyc3icbwi9692yajsdz-csdp-6.1.1' from 'https://cache.nixos.org'... copying path '/nix/store/5n6dpj9ka9wcq5azrnkagd8gk4mrz8fl-ocaml5.4.0-integers-0.7.0' from 'https://cache.nixos.org'... building '/nix/store/5fzg3lf1d748zmj17chpl9psp5g36p7y-setupHook.sh.drv'... building '/nix/store/apbc6vc41pxsgavy4cg0khv0xxyv61z9-frama-c-32.0-Gallium.tar.gz.drv'... structuredAttrs is enabled copying path '/nix/store/79f6y3w4fvqpzjijnmd93rqskdkvb6bv-ocaml5.4.0-biniou-1.2.2' from 'https://cache.nixos.org'... copying path '/nix/store/y1z3l6l2y1h4gqnl05lw2a4vlkp0ncjm-rocq-9.0.1' from 'https://cache.nixos.org'... copying path '/nix/store/frs608qrq7cp7zi1d8fpfyfqvylfqisi-ocaml5.4.0-ctypes-0.24.0' from 'https://cache.nixos.org'... copying path '/nix/store/4m3g1y9swi35ixy226inlz122jbcfk2i-ocaml5.4.0-lablgtk3-3.1.5' from 'https://cache.nixos.org'... 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. copying path '/nix/store/n65i0i90js0b93n2qbn9wxkf22qxy65m-ocaml5.4.0-yaml-3.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/kkc7wsppmg638hrmnn9r6pjwwpqwl5b3-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 2 seconds. 2 retries Warning: left. copying path '/nix/store/rnrbbbgv60j8qp5gfv45b1ksw6lb0hkj-ocaml5.4.0-lablgtk3-sourceview3-3.1.5' from 'https://cache.nixos.org'... copying path '/nix/store/l21g54f9khv3y6m0wc623whh3wzzcb5q-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 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/apbc6vc41pxsgavy4cg0khv0xxyv61z9-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/apbc6vc41pxsgavy4cg0khv0xxyv61z9-frama-c-32.0-Gallium.tar.gz.drv error: Cannot build '/nix/store/agkx4wy7pasy7dhzziwkyvpc4iy8iq33-frama-c-32.0.drv'. Reason: 1 dependency failed. Output paths: /nix/store/fx9cgdszr9zllxpsfxmfifrplzgyq280-frama-c-32.0