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/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-frama-c-32.0-Gallium.tar.gz.drv building '/nix/store/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-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/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-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/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-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/cw507mjfp7hl950h1f7gbgsvpl9w46hp-setupHook.sh.drv /nix/store/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-frama-c-32.0-Gallium.tar.gz.drv /nix/store/ijpbqi54ki0vc22yqqmiz66n51fa853m-frama-c-32.0.drv these 11 paths will be fetched (140.03 MiB download, 614.53 MiB unpacked): /nix/store/b5nfvdhf96v4gwmab6fs5cblgq11xgpx-coq-9.0.1 /nix/store/4dz6a0v0dkdgypa5c0589bcj4b6k9nzy-csdp-6.1.1 /nix/store/vp191i2jscqk3k7fyk1v3lzmihig37kf-ocaml4.14.2-zarith-1.14 /nix/store/bvjxx4jjzxxnnnbdjay601935dsdkf4c-ocaml5.3.0-cairo2-0.6.5 /nix/store/vfcm8zxj3lwh413pbiqvbrp6cals75a5-ocaml5.3.0-lablgtk3-3.1.5 /nix/store/d91j8hfigalfszca38cgga8ydkxaar05-ocaml5.3.0-lablgtk3-sourceview3-3.1.5 /nix/store/sy6277xjw1i5n50lqrzzsyvyz2yhpfnw-ocaml5.3.0-ppx_deriving_yaml-0.4.1 /nix/store/y8znz2n5rf45d2vw0l249dncl6yqya4i-ocaml5.3.0-ppx_import-1.12.0 /nix/store/fw8wm1j73rd8rh6day0p7922q8wq9zx8-ocaml5.3.0-unionFind-20250818 /nix/store/2mmbxqjbixnmilggn30xdgk48yibj85f-ocaml5.3.0-yaml-3.2.0 /nix/store/kr4f1v04q6frjwim2wa41w215ghbgmaj-rocq-9.0.1 copying path '/nix/store/y8znz2n5rf45d2vw0l249dncl6yqya4i-ocaml5.3.0-ppx_import-1.12.0' from 'https://cache.nixos.org'... copying path '/nix/store/fw8wm1j73rd8rh6day0p7922q8wq9zx8-ocaml5.3.0-unionFind-20250818' from 'https://cache.nixos.org'... copying path '/nix/store/vp191i2jscqk3k7fyk1v3lzmihig37kf-ocaml4.14.2-zarith-1.14' from 'https://cache.nixos.org'... copying path '/nix/store/bvjxx4jjzxxnnnbdjay601935dsdkf4c-ocaml5.3.0-cairo2-0.6.5' from 'https://cache.nixos.org'... copying path '/nix/store/2mmbxqjbixnmilggn30xdgk48yibj85f-ocaml5.3.0-yaml-3.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/4dz6a0v0dkdgypa5c0589bcj4b6k9nzy-csdp-6.1.1' from 'https://cache.nixos.org'... building '/nix/store/cw507mjfp7hl950h1f7gbgsvpl9w46hp-setupHook.sh.drv'... building '/nix/store/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-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/kr4f1v04q6frjwim2wa41w215ghbgmaj-rocq-9.0.1' from 'https://cache.nixos.org'... copying path '/nix/store/vfcm8zxj3lwh413pbiqvbrp6cals75a5-ocaml5.3.0-lablgtk3-3.1.5' from 'https://cache.nixos.org'... copying path '/nix/store/sy6277xjw1i5n50lqrzzsyvyz2yhpfnw-ocaml5.3.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. 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/d91j8hfigalfszca38cgga8ydkxaar05-ocaml5.3.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/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-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/j2c7mp5ggz7f9mhsxqhf71f9fvmx32jn-frama-c-32.0-Gallium.tar.gz.drv error: Cannot build '/nix/store/ijpbqi54ki0vc22yqqmiz66n51fa853m-frama-c-32.0.drv'. Reason: 1 dependency failed. Output paths: /nix/store/9lf0czl89bjnmh4sn9hwr084fz04p5wc-frama-c-32.0