2022-11-28T11:05:23 frama-c 25.0 -> 26.0 https://repology.org/metapackage/frama-c/versions 2022-11-28T11:05:25 attrpath: framac 2022-11-28T11:05:26 Checking auto update branch... 2022-11-28T11:05:26 No auto update branch exists 2022-11-28T11:05:29 [version] 2022-11-28T11:05:47 stderr did not split as expected full stderr was: warning: unknown setting 'experimental-features' these derivations will be built: /nix/store/rycnzdad7c9m7cp6gyj9lidmmi2a0gnw-frama-c-26.0-Manganese.tar.gz.drv error: error: builder for '/nix/store/rycnzdad7c9m7cp6gyj9lidmmi2a0gnw-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/rycnzdad7c9m7cp6gyj9lidmmi2a0gnw-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/i5knsnmix3zvb06pr5nr02kmg76ia95z-setupHook.sh.drv /nix/store/rycnzdad7c9m7cp6gyj9lidmmi2a0gnw-frama-c-26.0-Manganese.tar.gz.drv /nix/store/pl30d3rwyq926hnqmc3ffvpx6aa8ccfv-frama-c-26.0.drv these paths will be fetched (347.21 MiB download, 1537.89 MiB unpacked): /nix/store/11hr9cgcxvz2kikg0vy1jdbzvc9cndhj-ocaml4.14.0-ocamlgraph-2.0.0 /nix/store/1cpdvszfsl2adfcicd9kyb7zg39d4n7c-ocaml4.14.0-stdlib-shims-0.3.0 /nix/store/2zbdkj5dvjf16c8bcjh3bwqqqpd288vz-ocaml4.14.0-num-1.1 /nix/store/3wmp9xxw9cjkc61r8l2745jkw9j3bkhz-ocaml4.14.0-lablgtk3-sourceview3-3.1.3 /nix/store/46ddzcm4j0vrwn9ifpcfn1ik5g3zcrcd-ocaml4.14.0-apron-0.9.13-dev /nix/store/5k5c1lk8yyldbfqc5904gj0cf3m76zkr-ocaml4.14.0-easy-format-1.3.3 /nix/store/71s1nax0h7y7dcz202x9lwddxx73dcbv-ocaml4.14.0-ppx_deriving-5.2.1 /nix/store/8gmf7ajbqnw5rcvbdmf5w3sr1hpzifz9-ocaml4.14.0-re-1.10.4 /nix/store/8nnnp6avsz5gx5pd6bdp067kiw2dbqz5-ocaml4.14.0-apron-0.9.13 /nix/store/8vij81zwv0jxigmv7l1aa8avwxn490wh-csdp-6.1.1 /nix/store/9xmlzl0qzzallsm44w7pw4d6rzndaiv8-ocaml4.14.0-sexplib-0.15.1 /nix/store/b3n4a1xbczlnvgxwqh1wwnff6rqyjdc3-camlzip-1.10 /nix/store/b53f0332zyzqsdp275807h07wvn5yb2b-ocaml-4.14.0 /nix/store/bfkx5sznlncsgi2nl9is8zmdzr3aygn8-ocaml4.14.0-ppx_import-1.10.0 /nix/store/bqzkj4hgq11kwl2lp0zf898jd8m72gjr-ocaml4.14.0-seq-0.1 /nix/store/flnaz79w7hjq2qa7ndr47lyxwgr9zxk7-ltl2ba-1.3 /nix/store/frlxhfybfmbwmv558v0sp3kfy90n2bnw-ocaml4.14.0-ppx_sexp_conv-0.15.1 /nix/store/h2r0x03p04yfcxxzadzlxc9pv3kdf174-ocaml4.14.0-findlib-1.9.6 /nix/store/hqyii7siw3bs4h9pcz1zpq40bx11mz4y-ocaml4.14.0-parsexp-0.15.0 /nix/store/hznrcg6gcv9wmg1fnb8a3ad3zr9p0414-ocaml4.14.0-sexplib0-0.15.1 /nix/store/idxr2s98b640xvlbhwnfizvskrr0699q-ocaml4.14.0-mlgmpidl-1.2.15 /nix/store/j03q97wi96vipnyaspyswzl00pa823cf-ocaml4.14.0-result-1.5 /nix/store/j5hsylc6k3f9k96xs6q24kddwghvi1cv-ocaml4.14.0-yojson-2.0.2 /nix/store/kia50nzsm9zcl6j2dix8hwys0j8rmwg5-ocaml4.14.0-bigarray-compat-1.1.0 /nix/store/kv8020k82gafc6dl1lmsmy76n4b6xhhw-ocaml4.14.0-stdio-0.15.0 /nix/store/lbfv2llz70zrq5fj52dvmy96r4x4p90n-ocaml4.14.0-ocaml-compiler-libs-0.12.4 /nix/store/m8dlkpazpc9bai4826kj5j5hjnhn7ss9-why3-1.5.1 /nix/store/msffywnp24kxialr53b4l5lgshinx9gb-ocaml4.14.0-menhirLib-20220210 /nix/store/mxr8zibg93bgs0y2inj0dqqg07cw4cjx-ocaml4.14.0-lablgtk3-3.1.3 /nix/store/pdcqgi59sabwmm4lj9fhp9v8fgldhb3n-ocaml4.14.0-apron-0.9.13-bin /nix/store/pdkac8bf9brwpf8f8d894zlvnyj1d066-ocaml4.14.0-biniou-1.2.1 /nix/store/r6ybvrl3x4vkx5mjqpjzv8b44ih4i2df-ocaml4.14.0-ppx_derivers-1.2.1 /nix/store/rz2pjhdaz8sjwfv9b7p53p19q0py5mc7-ocaml4.14.0-zarith-1.12 /nix/store/s67r03jsmnkpfl9r3shbhvhcdgvrvbmx-ocaml4.14.0-ppxlib-0.28.0 /nix/store/v3a74s1ffws1gyvr9dq8k7rh7pwrvy6f-ocaml4.14.0-cairo2-0.6.2 /nix/store/w70g52rbpxq44igzd877mml77ps61hq4-ocaml4.14.0-ocaml-migrate-parsetree-2.4.0 /nix/store/y3v6x6gsx194ndq4k5dzlx3chd9279f0-coq-8.16.0 /nix/store/zc9zagqs2vcyp8zbsfpjmrz99k0z78ka-ocaml4.14.0-base-0.15.1 error: builder for '/nix/store/rycnzdad7c9m7cp6gyj9lidmmi2a0gnw-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/rycnzdad7c9m7cp6gyj9lidmmi2a0gnw-frama-c-26.0-Manganese.tar.gz.drv'. error: error: 1 dependencies of derivation '/nix/store/pl30d3rwyq926hnqmc3ffvpx6aa8ccfv-frama-c-26.0.drv' failed to build