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/39f68nvyxl32yj47gqs447hlf4b9dal9-frama-c-32.0-Gallium.tar.gz.drv building '/nix/store/39f68nvyxl32yj47gqs447hlf4b9dal9-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/39f68nvyxl32yj47gqs447hlf4b9dal9-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/39f68nvyxl32yj47gqs447hlf4b9dal9-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/39f68nvyxl32yj47gqs447hlf4b9dal9-frama-c-32.0-Gallium.tar.gz.drv /nix/store/3c01zlm97h3lqv1jgcc3nscw3cxlc55v-setupHook.sh.drv /nix/store/i7yfn0nn6zj2lwmiwxs2vigwl0s3rry8-frama-c-32.0.drv these 63 paths will be fetched (349.15 MiB download, 1576.93 MiB unpacked): /nix/store/51hhp7whmrbps8qb760h0r32275l7wdz-cmdliner-1.3.0 /nix/store/mxpr4lvs1sqgw2z6hm27ch4dp1yrxs21-coq-9.0.1 /nix/store/vmhim5c4s4s8nssfn83f9pfq1b4hgrmz-csdp-6.1.1 /nix/store/v7nn1hs33rk5j0k53zx5cfajar57yv6g-dune-3.20.2 /nix/store/ryjdrm6vls5l8nqycicxjyiq2lfkjlhd-ocaml-4.14.2 /nix/store/czmd78ipcdyrz4xjr2xpzcwza4hw86lj-ocaml4.14.2-findlib-1.9.8 /nix/store/1xxp07gxipgdi3q4mp9kvxkg8353qvkb-ocaml4.14.2-zarith-1.14 /nix/store/jgmyraxv71fyhwwib2p7k2m07xrqavfh-ocaml5.3.0-astring-0.8.5 /nix/store/vl75hh0gbx8rnlbpz0gf8qamfzi1valm-ocaml5.3.0-base-0.17.2 /nix/store/fdknsaq52hcl5z20wqah0ssd09nbx3k2-ocaml5.3.0-biniou-1.2.2 /nix/store/05jsfax12b67iz8lkqh8937zkvrblvwa-ocaml5.3.0-bos-0.2.1 /nix/store/g449kr3xr2b59v7id1i97j4c893hhv8f-ocaml5.3.0-cairo2-0.6.5 /nix/store/q92gpiiajd64z6kxg5qlxl3y6ymfsf90-ocaml5.3.0-camlp-streams-5.0.1 /nix/store/jllkg6dbyicix3gr1d1kh23cf37x51ld-ocaml5.3.0-camlzip-1.11 /nix/store/hd74mxk2a555b3q1vhi84ywd2vd83zjd-ocaml5.3.0-csexp-1.5.2 /nix/store/hc00glqsczb44rwf6vg47hisvc0wc0jy-ocaml5.3.0-ctypes-0.24.0 /nix/store/3932vlhkfrcsyhda7r0hgc846gs9rb8w-ocaml5.3.0-dune-configurator-3.20.2 /nix/store/1pb6qkp4ibl705rc44s7zqzc0c8q2spf-ocaml5.3.0-dune-private-libs-3.20.2 /nix/store/lkyysda125p1vvafppxqyl8ds0xj6aab-ocaml5.3.0-dune-site-3.20.2 /nix/store/1bv4ahsafmcnhf4apnyj02xqsy4y4xa6-ocaml5.3.0-dyn-3.20.2 /nix/store/vq2vf859cpv7ynmr9kc8c92pi3vzyq2p-ocaml5.3.0-easy-format-1.3.4 /nix/store/y4xgs7x845yzwva629zar563rizk88xl-ocaml5.3.0-fmt-0.11.0 /nix/store/b57v9sz9gwqqwaz2vkl7ccrwrdp4rbp7-ocaml5.3.0-fpath-0.7.3 /nix/store/acxk4ds967k8v9sk7zfrlkp9x9d296r9-ocaml5.3.0-gen-1.1 /nix/store/hkdx68kdq824xp3q3ly0m3ygyaf8n8km-ocaml5.3.0-integers-0.7.0 /nix/store/dppcxfyi0ckf9j2ywkhmm4kwssvfarp1-ocaml5.3.0-js_of_ocaml-compiler-6.2.0 /nix/store/zd23a9zpnags3jbqj1865d21hz5xzzl5-ocaml5.3.0-lablgtk3-3.1.5 /nix/store/bf3vxqmrlfvljgs50nh724yp73mbs83k-ocaml5.3.0-lablgtk3-sourceview3-3.1.5 /nix/store/i7gs5c8xysfc5h42dgg7c2q10by666ic-ocaml5.3.0-logs-0.10.0 /nix/store/mcnr09ajnwlw7qajm32yask8hhhbc71p-ocaml5.3.0-lwt-5.9.2 /nix/store/54xlcr3xl30s3w9z368fk9gwlpl9w535-ocaml5.3.0-menhir-20250903 /nix/store/wfn8z7hskrvdij713vzm785nshzgdg07-ocaml5.3.0-menhirLib-20250903 /nix/store/vg1r6f6xyr1ccm08dbp8zg7ywsfvjy72-ocaml5.3.0-num-1.6 /nix/store/in05gxazw54jqq74hq5rgsb5wsgrjlcq-ocaml5.3.0-ocaml-compiler-libs-0.17.0 /nix/store/z5g51vi8q6dphqhrca6y048mcbh824q0-ocaml5.3.0-ocaml_intrinsics_kernel-0.17.0 /nix/store/nhg5d24mjd2zid08ckaivw20s2235irv-ocaml5.3.0-ocamlgraph-2.2.0 /nix/store/j10gsdf1s72rd2k9g12kdndqdd53vwyd-ocaml5.3.0-ocplib-endian-1.2 /nix/store/s816kd7fdkx17i60nywfgqalmrbl3d5a-ocaml5.3.0-ordering-3.20.2 /nix/store/4k7lc2cqv06zawa43d7bz43ipy3hmnvh-ocaml5.3.0-parsexp-0.17.0 /nix/store/vkz4jzslijxrd0h4shdxhz95xi19bcgs-ocaml5.3.0-ppx_derivers-1.2.1 /nix/store/l2s9aynfrrpci0nvv770f4dbvy8qf2v4-ocaml5.3.0-ppx_deriving-6.1.1 /nix/store/rab2rv1nalmndxkxzk97mr481f05dj2s-ocaml5.3.0-ppx_deriving_yaml-0.4.1 /nix/store/q2g4480d36fszanxgcx478saz8mqi4hk-ocaml5.3.0-ppx_deriving_yojson-3.10.0 /nix/store/5nfyyipfy2qm2s4n1gfygzm9liphy1v5-ocaml5.3.0-ppx_import-1.12.0 /nix/store/grjxlp3zp8vcgkjavcyf35zk14qyz0qp-ocaml5.3.0-ppx_sexp_conv-0.17.1 /nix/store/82m0m42qlaxf7kx2gw4pl5cia58mkcnr-ocaml5.3.0-ppxlib-0.36.2 /nix/store/q4wk310n2jxqsznh76439qyr06ib4dal-ocaml5.3.0-ppxlib_jane-0.17.4 /nix/store/qqw5fhbm0m7g08i3b0pcywb9c7cv6155-ocaml5.3.0-re-1.12.0 /nix/store/p9s8f50cip46yxf168f8lv23d0i5nhi5-ocaml5.3.0-result-1.5 /nix/store/m3s6m2ayyk7s9yywizpw79x9qhw693pn-ocaml5.3.0-rresult-0.7.0 /nix/store/f1jy6q8nsaqs77cx7pgdf013fy0k9m3s-ocaml5.3.0-sedlex-3.7 /nix/store/viyyai9bxc4c9gg1xgw16mi8f5syc9c5-ocaml5.3.0-sexplib-0.17.0 /nix/store/a687dj51pi6d19mfw4mh7zdk9532fcvr-ocaml5.3.0-sexplib0-0.17.0 /nix/store/hb5lqmbkisvbxgmjxidmr3mq4mj2q0k9-ocaml5.3.0-stdio-0.17.0 /nix/store/v7s4liwnsfgvammxs5cd9pmc60m96hq0-ocaml5.3.0-stdlib-shims-0.3.0 /nix/store/0dkr2ad8ky30bxfkwhn2jjy8283vm1ac-ocaml5.3.0-stdune-3.20.2 /nix/store/qywq7rdcvn1zywcx8699vmbn3rpss88g-ocaml5.3.0-unionFind-20250818 /nix/store/c96jfh7vd35ybndkq8s91yapydv94ys2-ocaml5.3.0-yaml-3.2.0 /nix/store/r7szkki9a2lrc27fdi049iwsg2dqxckk-ocaml5.3.0-yojson-3.0.0 /nix/store/v2wwjwn3jfndwwz8fj9z6dnx6mac0v0r-ocaml5.3.0-zarith-1.14 /nix/store/ppc6sc5ayihpchm9jv1ccl6vnlq7b9dy-rocq-9.0.1 /nix/store/ljjfqaawviiwyxxs13jn4b0ywbgzc6j1-why3-1.8.2 /nix/store/75f7z2di1p5idn2j4vppz3cj06bwhsc8-why3-1.8.2-dev copying path '/nix/store/v7nn1hs33rk5j0k53zx5cfajar57yv6g-dune-3.20.2' from 'https://cache.nixos.org'... copying path '/nix/store/jllkg6dbyicix3gr1d1kh23cf37x51ld-ocaml5.3.0-camlzip-1.11' from 'https://cache.nixos.org'... copying path '/nix/store/vq2vf859cpv7ynmr9kc8c92pi3vzyq2p-ocaml5.3.0-easy-format-1.3.4' from 'https://cache.nixos.org'... copying path '/nix/store/wfn8z7hskrvdij713vzm785nshzgdg07-ocaml5.3.0-menhirLib-20250903' from 'https://cache.nixos.org'... copying path '/nix/store/vg1r6f6xyr1ccm08dbp8zg7ywsfvjy72-ocaml5.3.0-num-1.6' from 'https://cache.nixos.org'... copying path '/nix/store/nhg5d24mjd2zid08ckaivw20s2235irv-ocaml5.3.0-ocamlgraph-2.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/qqw5fhbm0m7g08i3b0pcywb9c7cv6155-ocaml5.3.0-re-1.12.0' from 'https://cache.nixos.org'... copying path '/nix/store/p9s8f50cip46yxf168f8lv23d0i5nhi5-ocaml5.3.0-result-1.5' from 'https://cache.nixos.org'... copying path '/nix/store/v7s4liwnsfgvammxs5cd9pmc60m96hq0-ocaml5.3.0-stdlib-shims-0.3.0' from 'https://cache.nixos.org'... copying path '/nix/store/qywq7rdcvn1zywcx8699vmbn3rpss88g-ocaml5.3.0-unionFind-20250818' from 'https://cache.nixos.org'... copying path '/nix/store/a687dj51pi6d19mfw4mh7zdk9532fcvr-ocaml5.3.0-sexplib0-0.17.0' from 'https://cache.nixos.org'... copying path '/nix/store/v2wwjwn3jfndwwz8fj9z6dnx6mac0v0r-ocaml5.3.0-zarith-1.14' from 'https://cache.nixos.org'... copying path '/nix/store/r7szkki9a2lrc27fdi049iwsg2dqxckk-ocaml5.3.0-yojson-3.0.0' from 'https://cache.nixos.org'... copying path '/nix/store/ryjdrm6vls5l8nqycicxjyiq2lfkjlhd-ocaml-4.14.2' from 'https://cache.nixos.org'... copying path '/nix/store/g449kr3xr2b59v7id1i97j4c893hhv8f-ocaml5.3.0-cairo2-0.6.5' from 'https://cache.nixos.org'... copying path '/nix/store/q92gpiiajd64z6kxg5qlxl3y6ymfsf90-ocaml5.3.0-camlp-streams-5.0.1' from 'https://cache.nixos.org'... building '/nix/store/3c01zlm97h3lqv1jgcc3nscw3cxlc55v-setupHook.sh.drv'... building '/nix/store/39f68nvyxl32yj47gqs447hlf4b9dal9-frama-c-32.0-Gallium.tar.gz.drv'... structuredAttrs is enabled copying path '/nix/store/51hhp7whmrbps8qb760h0r32275l7wdz-cmdliner-1.3.0' from 'https://cache.nixos.org'... copying path '/nix/store/vmhim5c4s4s8nssfn83f9pfq1b4hgrmz-csdp-6.1.1' from 'https://cache.nixos.org'... copying path '/nix/store/acxk4ds967k8v9sk7zfrlkp9x9d296r9-ocaml5.3.0-gen-1.1' from 'https://cache.nixos.org'... copying path '/nix/store/jgmyraxv71fyhwwib2p7k2m07xrqavfh-ocaml5.3.0-astring-0.8.5' from 'https://cache.nixos.org'... copying path '/nix/store/hd74mxk2a555b3q1vhi84ywd2vd83zjd-ocaml5.3.0-csexp-1.5.2' from 'https://cache.nixos.org'... copying path '/nix/store/hkdx68kdq824xp3q3ly0m3ygyaf8n8km-ocaml5.3.0-integers-0.7.0' from 'https://cache.nixos.org'... copying path '/nix/store/in05gxazw54jqq74hq5rgsb5wsgrjlcq-ocaml5.3.0-ocaml-compiler-libs-0.17.0' from 'https://cache.nixos.org'... copying path '/nix/store/54xlcr3xl30s3w9z368fk9gwlpl9w535-ocaml5.3.0-menhir-20250903' from 'https://cache.nixos.org'... copying path '/nix/store/fdknsaq52hcl5z20wqah0ssd09nbx3k2-ocaml5.3.0-biniou-1.2.2' 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 copying path '/nix/store/z5g51vi8q6dphqhrca6y048mcbh824q0-ocaml5.3.0-ocaml_intrinsics_kernel-0.17.0' from 'https://cache.nixos.org'... copying path '/nix/store/3932vlhkfrcsyhda7r0hgc846gs9rb8w-ocaml5.3.0-dune-configurator-3.20.2' from 'https://cache.nixos.org'... copying path '/nix/store/j10gsdf1s72rd2k9g12kdndqdd53vwyd-ocaml5.3.0-ocplib-endian-1.2' 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/zd23a9zpnags3jbqj1865d21hz5xzzl5-ocaml5.3.0-lablgtk3-3.1.5' from 'https://cache.nixos.org'... copying path '/nix/store/s816kd7fdkx17i60nywfgqalmrbl3d5a-ocaml5.3.0-ordering-3.20.2' from 'https://cache.nixos.org'... copying path '/nix/store/vkz4jzslijxrd0h4shdxhz95xi19bcgs-ocaml5.3.0-ppx_derivers-1.2.1' from 'https://cache.nixos.org'... copying path '/nix/store/m3s6m2ayyk7s9yywizpw79x9qhw693pn-ocaml5.3.0-rresult-0.7.0' from 'https://cache.nixos.org'... copying path '/nix/store/ljjfqaawviiwyxxs13jn4b0ywbgzc6j1-why3-1.8.2' from 'https://cache.nixos.org'... copying path '/nix/store/y4xgs7x845yzwva629zar563rizk88xl-ocaml5.3.0-fmt-0.11.0' from 'https://cache.nixos.org'... copying path '/nix/store/b57v9sz9gwqqwaz2vkl7ccrwrdp4rbp7-ocaml5.3.0-fpath-0.7.3' from 'https://cache.nixos.org'... copying path '/nix/store/hc00glqsczb44rwf6vg47hisvc0wc0jy-ocaml5.3.0-ctypes-0.24.0' from 'https://cache.nixos.org'... copying path '/nix/store/vl75hh0gbx8rnlbpz0gf8qamfzi1valm-ocaml5.3.0-base-0.17.2' from 'https://cache.nixos.org'... copying path '/nix/store/1bv4ahsafmcnhf4apnyj02xqsy4y4xa6-ocaml5.3.0-dyn-3.20.2' from 'https://cache.nixos.org'... copying path '/nix/store/mcnr09ajnwlw7qajm32yask8hhhbc71p-ocaml5.3.0-lwt-5.9.2' from 'https://cache.nixos.org'... copying path '/nix/store/0dkr2ad8ky30bxfkwhn2jjy8283vm1ac-ocaml5.3.0-stdune-3.20.2' 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/1pb6qkp4ibl705rc44s7zqzc0c8q2spf-ocaml5.3.0-dune-private-libs-3.20.2' from 'https://cache.nixos.org'... copying path '/nix/store/lkyysda125p1vvafppxqyl8ds0xj6aab-ocaml5.3.0-dune-site-3.20.2' from 'https://cache.nixos.org'... copying path '/nix/store/4k7lc2cqv06zawa43d7bz43ipy3hmnvh-ocaml5.3.0-parsexp-0.17.0' from 'https://cache.nixos.org'... copying path '/nix/store/hb5lqmbkisvbxgmjxidmr3mq4mj2q0k9-ocaml5.3.0-stdio-0.17.0' from 'https://cache.nixos.org'... copying path '/nix/store/82m0m42qlaxf7kx2gw4pl5cia58mkcnr-ocaml5.3.0-ppxlib-0.36.2' from 'https://cache.nixos.org'... copying path '/nix/store/viyyai9bxc4c9gg1xgw16mi8f5syc9c5-ocaml5.3.0-sexplib-0.17.0' 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. copying path '/nix/store/l2s9aynfrrpci0nvv770f4dbvy8qf2v4-ocaml5.3.0-ppx_deriving-6.1.1' from 'https://cache.nixos.org'... copying path '/nix/store/5nfyyipfy2qm2s4n1gfygzm9liphy1v5-ocaml5.3.0-ppx_import-1.12.0' from 'https://cache.nixos.org'... copying path '/nix/store/q4wk310n2jxqsznh76439qyr06ib4dal-ocaml5.3.0-ppxlib_jane-0.17.4' from 'https://cache.nixos.org'... copying path '/nix/store/f1jy6q8nsaqs77cx7pgdf013fy0k9m3s-ocaml5.3.0-sedlex-3.7' from 'https://cache.nixos.org'... copying path '/nix/store/grjxlp3zp8vcgkjavcyf35zk14qyz0qp-ocaml5.3.0-ppx_sexp_conv-0.17.1' from 'https://cache.nixos.org'... copying path '/nix/store/bf3vxqmrlfvljgs50nh724yp73mbs83k-ocaml5.3.0-lablgtk3-sourceview3-3.1.5' from 'https://cache.nixos.org'... copying path '/nix/store/q2g4480d36fszanxgcx478saz8mqi4hk-ocaml5.3.0-ppx_deriving_yojson-3.10.0' from 'https://cache.nixos.org'... copying path '/nix/store/dppcxfyi0ckf9j2ywkhmm4kwssvfarp1-ocaml5.3.0-js_of_ocaml-compiler-6.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/75f7z2di1p5idn2j4vppz3cj06bwhsc8-why3-1.8.2-dev' from 'https://cache.nixos.org'... copying path '/nix/store/i7gs5c8xysfc5h42dgg7c2q10by666ic-ocaml5.3.0-logs-0.10.0' from 'https://cache.nixos.org'... copying path '/nix/store/05jsfax12b67iz8lkqh8937zkvrblvwa-ocaml5.3.0-bos-0.2.1' from 'https://cache.nixos.org'... copying path '/nix/store/c96jfh7vd35ybndkq8s91yapydv94ys2-ocaml5.3.0-yaml-3.2.0' from 'https://cache.nixos.org'... copying path '/nix/store/rab2rv1nalmndxkxzk97mr481f05dj2s-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 error: cannot download frama-c-32.0-Gallium.tar.gz from any mirror error: Cannot build '/nix/store/39f68nvyxl32yj47gqs447hlf4b9dal9-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/39f68nvyxl32yj47gqs447hlf4b9dal9-frama-c-32.0-Gallium.tar.gz.drv error: Cannot build '/nix/store/i7yfn0nn6zj2lwmiwxs2vigwl0s3rry8-frama-c-32.0.drv'. Reason: 1 dependency failed. Output paths: /nix/store/wr1wm1m57qlvac6j7clm98k5psg2bqcr-frama-c-32.0