2022-12-30T18:15:55 frama-c 25.0 -> 26.0 https://repology.org/metapackage/frama-c/versions 2022-12-30T18:15:57 attrpath: framac 2022-12-30T18:15:57 Checking auto update branch... 2022-12-30T18:15:57 No auto update branch exists 2022-12-30T18:16:01 [version] 2022-12-30T18:16:27 stderr did not split as expected full stderr was: warning: unknown setting 'experimental-features' these derivations will be built: /nix/store/10vs01np35rf5lk4cnn1sc7k8k64l1km-frama-c-26.0-Manganese.tar.gz.drv error: error: builder for '/nix/store/10vs01np35rf5lk4cnn1sc7k8k64l1km-frama-c-26.0-Manganese.tar.gz.drv' failed with exit code 1; last 7 log lines: > > trying https://frama-c.com/download/frama-c-26.0-Manganese.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 > error: cannot download frama-c-26.0-Manganese.tar.gz from any mirror For full logs, run 'nix log /nix/store/10vs01np35rf5lk4cnn1sc7k8k64l1km-frama-c-26.0-Manganese.tar.gz.drv'. stderr did not split as expected full stderr was: warning: unknown setting 'experimental-features' error: attribute 'originalSrc' in selection path 'framac.originalSrc' not found stderr did not split as expected full stderr was: warning: unknown setting 'experimental-features' these derivations will be built: /nix/store/10vs01np35rf5lk4cnn1sc7k8k64l1km-frama-c-26.0-Manganese.tar.gz.drv /nix/store/qn2df0wnwciz7mc7g2z1vb4y5d9sw0cw-setupHook.sh.drv /nix/store/ldci7zikk7rxn4qvrcxzhaqyv7sghlfc-frama-c-26.0.drv these paths will be fetched (222.62 MiB download, 973.16 MiB unpacked): /nix/store/1naax90msr16d202iq6gd8nq62li5dr2-ocaml4.14.0-mlgmpidl-1.2.15 /nix/store/498wn54lr8z948q82dsbb3p60qm3im8l-why3-1.5.1 /nix/store/7ygl1xvvmszs3w1xvklshh76qy1qrjlf-ocaml4.14.0-easy-format-1.3.3 /nix/store/c2lzdg1w79yyznqnlgx17gxa7dihnkic-ppl-1.2 /nix/store/cs8f32718xq3pgq9x00lz2lnzx237f5q-ltl2ba-1.3 /nix/store/dlb7zn5j4s65cdapqxbivab8vlh4vd9g-ocaml4.14.0-ppx_import-1.10.0 /nix/store/g95dh9mhz816izca6zhvi5z6gjscf4cb-mpfr-4.1.1-dev /nix/store/gq5irh1awgx67zp2kpinhfxpdi7md20h-ocaml4.14.0-camlzip-1.11 /nix/store/igq0rs00wdhj0hrjr16h82ffzw9h0ids-csdp-6.1.1 /nix/store/j9vk35y8biqfx0xr38hx2rnnhx0hjmbj-ocaml4.14.0-ocamlgraph-2.0.0 /nix/store/ncx95bwn1n4g2lsxnqxkzwmcr30hsf4z-ocaml4.14.0-lablgtk3-3.1.3 /nix/store/npwi1s5nbj0yybhihn9h28kc10vyzm7k-ocaml4.14.0-apron-0.9.13-dev /nix/store/npx12sxbymzkkrhjq07pivymaipyych6-ocaml4.14.0-apron-0.9.13 /nix/store/sqw1zflrx298dymxhvn9ci82d4a10c3m-ocaml4.14.0-cairo2-0.6.2 /nix/store/vwk66pr0qxfxm44jmy32rrqm7s14d8d7-ocaml4.14.0-apron-0.9.13-bin /nix/store/vxd2mmpv11mswqwjfvg4fj1y4vjn9l6y-ocaml4.14.0-ppx_deriving-5.2.1 /nix/store/whg5ssmfq5h4jpkb6z6i7jpdgzg7ijqc-ocaml4.14.0-lablgtk3-sourceview3-3.1.3 /nix/store/xhrf5cq7cil1p3q34j5q2300mqx69pwd-coq-8.16.1 /nix/store/xybs1hsakili7l9y36c7avlhl2gjag9d-ocaml4.14.0-biniou-1.2.1 error: builder for '/nix/store/10vs01np35rf5lk4cnn1sc7k8k64l1km-frama-c-26.0-Manganese.tar.gz.drv' failed with exit code 1; last 7 log lines: > > trying https://frama-c.com/download/frama-c-26.0-Manganese.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 > error: cannot download frama-c-26.0-Manganese.tar.gz from any mirror For full logs, run 'nix log /nix/store/10vs01np35rf5lk4cnn1sc7k8k64l1km-frama-c-26.0-Manganese.tar.gz.drv'. error: error: 1 dependencies of derivation '/nix/store/ldci7zikk7rxn4qvrcxzhaqyv7sghlfc-frama-c-26.0.drv' failed to build