Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: framac 31.0 -> 32.1 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/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv building '/nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv'... structuredAttrs is enabled trying https://frama-c.com/download/frama-c-32.1-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.1-Gallium.tar.gz from any mirror error: Cannot build '/nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/14p95ks2l10szj7jaqvz0h47zqwhsq36-frama-c-32.1-Gallium.tar.gz Last 18 log lines: > structuredAttrs is enabled > > trying https://frama-c.com/download/frama-c-32.1-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.1-Gallium.tar.gz from any mirror For full logs, run: nix log /nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-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 2 derivations will be built: /nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv /nix/store/d5bv22wjjnbrsvgrb5nhw5nns3l39bb3-frama-c-32.1.drv these 2 paths will be fetched (1.02 MiB download, 5.12 MiB unpacked): /nix/store/jgiqfk1vkjya3vs23jvqh761b7km3swq-ocaml5.4.1-ppx_deriving_yaml-0.4.1 /nix/store/4v74gaibipbac0db4y9j4ii53284z1gz-ocaml5.4.1-yaml-3.2.0 copying path '/nix/store/4v74gaibipbac0db4y9j4ii53284z1gz-ocaml5.4.1-yaml-3.2.0' from 'https://cache.nixos.org'... building '/nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv'... structuredAttrs is enabled copying path '/nix/store/jgiqfk1vkjya3vs23jvqh761b7km3swq-ocaml5.4.1-ppx_deriving_yaml-0.4.1' from 'https://cache.nixos.org'... trying https://frama-c.com/download/frama-c-32.1-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.1-Gallium.tar.gz from any mirror error: Cannot build '/nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/14p95ks2l10szj7jaqvz0h47zqwhsq36-frama-c-32.1-Gallium.tar.gz Last 18 log lines: > structuredAttrs is enabled > > trying https://frama-c.com/download/frama-c-32.1-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.1-Gallium.tar.gz from any mirror For full logs, run: nix log /nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv error: Cannot build '/nix/store/d5bv22wjjnbrsvgrb5nhw5nns3l39bb3-frama-c-32.1.drv'. Reason: 1 dependency failed. Output paths: /nix/store/dc7slrzmpqbj4b4zib8z0piaymijw1m5-frama-c-32.1