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 3 derivations will be built: /nix/store/3qh6s8978sz2wj2wzi7dlfziqyplgh94-setupHook.sh.drv /nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv /nix/store/cl6mzgxbwf0ngr2gd6f1r60carbsgvaf-frama-c-32.1.drv these 17 paths will be fetched (162.75 MiB download, 727.49 MiB unpacked): /nix/store/25bw31klc2ggw81vyij648rx4jx0wd7h-coq-9.0.1 /nix/store/h4r63x38xd1smmsr0bzjqc909m91k0vl-csdp-6.1.1 /nix/store/4zyk27q3x3zzjpbf3p992snicqvvyvgj-ocaml4.14.3-zarith-1.14 /nix/store/sbg30j6nnvn2lsc12zlhlj0cq6p81wnp-ocaml5.4.1-biniou-1.2.2 /nix/store/f642rqw078fvabzw0l445kf9ksppvw60-ocaml5.4.1-cairo2-0.6.5 /nix/store/z6m9jh5s6pnhm5ns02khn1h4200ipg8w-ocaml5.4.1-camlzip-1.11 /nix/store/pc1kmgsz4mniqc7rvqik6qvy7knbhrrs-ocaml5.4.1-easy-format-1.3.4 /nix/store/a5659vgcn0d6pvdzj2cqf1azznakllm9-ocaml5.4.1-lablgtk3-3.1.5 /nix/store/zsbdbvsr12j554k8qz4jxp5fsc2zj5n1-ocaml5.4.1-lablgtk3-sourceview3-3.1.5 /nix/store/vdz1gdzbq1k0j5jxngbq7aywm1c5mhzb-ocaml5.4.1-ocamlgraph-2.2.0 /nix/store/13n4x6v48zg7wvy43msa24frzw083dvq-ocaml5.4.1-ppx_deriving_yaml-0.4.1 /nix/store/lzg2kqksd2mw814cn3qwv5w24bwfn0cv-ocaml5.4.1-ppx_import-1.12.0 /nix/store/piwmfga5bqnp6fxr6s1dj9xschqavvms-ocaml5.4.1-unionFind-20250818 /nix/store/83v93a35qckljbay4lg0y2qn821bczms-ocaml5.4.1-yaml-3.2.0 /nix/store/s22pg56xbf9riwa6i1r0xizv8nkvrzsk-rocq-9.0.1 /nix/store/9zwisj5vfnx6wdfhmip6n3xbhw9iv76q-why3-1.8.2 /nix/store/wkpwqay9h7vdz17sgj649mskn3fxxvry-why3-1.8.2-dev copying path '/nix/store/pc1kmgsz4mniqc7rvqik6qvy7knbhrrs-ocaml5.4.1-easy-format-1.3.4' from 'https://cache.nixos.org'... copying path '/nix/store/z6m9jh5s6pnhm5ns02khn1h4200ipg8w-ocaml5.4.1-camlzip-1.11' from 'https://cache.nixos.org'... copying path '/nix/store/vdz1gdzbq1k0j5jxngbq7aywm1c5mhzb-ocaml5.4.1-ocamlgraph-2.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/piwmfga5bqnp6fxr6s1dj9xschqavvms-ocaml5.4.1-unionFind-20250818' from 'https://cache.nixos.org'... copying path '/nix/store/lzg2kqksd2mw814cn3qwv5w24bwfn0cv-ocaml5.4.1-ppx_import-1.12.0' from 'https://cache.nixos.org'... copying path '/nix/store/4zyk27q3x3zzjpbf3p992snicqvvyvgj-ocaml4.14.3-zarith-1.14' from 'https://cache.nixos.org'... copying path '/nix/store/f642rqw078fvabzw0l445kf9ksppvw60-ocaml5.4.1-cairo2-0.6.5' from 'https://cache.nixos.org'... copying path '/nix/store/83v93a35qckljbay4lg0y2qn821bczms-ocaml5.4.1-yaml-3.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/9zwisj5vfnx6wdfhmip6n3xbhw9iv76q-why3-1.8.2' from 'https://cache.nixos.org'... copying path '/nix/store/h4r63x38xd1smmsr0bzjqc909m91k0vl-csdp-6.1.1' from 'https://cache.nixos.org'... building '/nix/store/3qh6s8978sz2wj2wzi7dlfziqyplgh94-setupHook.sh.drv'... building '/nix/store/6akibpwizlvvg853ljic6qjqbic6slpq-frama-c-32.1-Gallium.tar.gz.drv'... structuredAttrs is enabled copying path '/nix/store/sbg30j6nnvn2lsc12zlhlj0cq6p81wnp-ocaml5.4.1-biniou-1.2.2' from 'https://cache.nixos.org'... copying path '/nix/store/s22pg56xbf9riwa6i1r0xizv8nkvrzsk-rocq-9.0.1' from 'https://cache.nixos.org'... copying path '/nix/store/a5659vgcn0d6pvdzj2cqf1azznakllm9-ocaml5.4.1-lablgtk3-3.1.5' 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 copying path '/nix/store/13n4x6v48zg7wvy43msa24frzw083dvq-ocaml5.4.1-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/wkpwqay9h7vdz17sgj649mskn3fxxvry-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/zsbdbvsr12j554k8qz4jxp5fsc2zj5n1-ocaml5.4.1-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.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/cl6mzgxbwf0ngr2gd6f1r60carbsgvaf-frama-c-32.1.drv'. Reason: 1 dependency failed. Output paths: /nix/store/zsxm5y9wglnax1dkjh8idjw1j2zc5l94-frama-c-32.1