2022-11-03T02:03:48 fstar 2022.01.15 -> 2022.06.08 https://repology.org/metapackage/fstar/versions
2022-11-03T02:03:51 attrpath: fstar
2022-11-03T02:03:51 Checking auto update branch...
2022-11-03T02:03:51 No auto update branch exists
2022-11-03T02:03:55 [version] 
2022-11-03T02:04:16 stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv
waiting for lock on '/nix/store/bqfq4db6nwycmkdrql9igsbrayqsw3g2-source'...
error: error: builder for '/nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv' failed with exit code 1;
       last 8 log lines:
       >
       > trying https://github.com/FStarLang/FStar/archive/v2022.06.08.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
       >   0    14    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download source from any mirror
       For full logs, run 'nix log /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv'.
stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
error: attribute 'originalSrc' in selection path 'fstar.originalSrc' not found
stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv
  /nix/store/khx3yrpd7sr4l71dbykm9firlwq3vw9k-fstar-2022.06.08.drv
these paths will be fetched (161.42 MiB download, 718.38 MiB unpacked):
  /nix/store/0zic3ylgc7p1f3r1hjfgqnng05sj7ppx-ocaml4.14.0-uchar-0.0.2
  /nix/store/22kp5rc53f32qfnmy4r5qnkkivj8hicr-ocaml4.14.0-gen-0.5
  /nix/store/2wf9apzl3b3kbqz4d6licvkqbp288nvi-ocaml4.14.0-menhirLib-20220210
  /nix/store/470q7nih6anr82li1mnhwq952rjcm395-ocaml4.14.0-base-0.15.0
  /nix/store/4kaqpaz7p4bsyrvwicj14kh7qyk7wlk0-ocaml4.14.0-yojson-2.0.2
  /nix/store/4l1pgd63szfzhjq1v113wf7bh1nyrqxq-ocaml4.14.0-result-1.5
  /nix/store/5xi5f327kj7q56cgr29rwwdky7wknb5d-z3-4.8.15-dev
  /nix/store/6yid3d5h5h3zp8lmbgm6kwklq9p34x2h-ocaml4.14.0-ppx_deriving_yojson-3.6.1
  /nix/store/85gysg0v7ii64b9z3m82dd1swki26h6d-ocaml4.14.0-stdio-0.15.0
  /nix/store/9cz9l69blg1177crl3y1y9fqrgwrc28i-python2.7-setuptools-44.0.0
  /nix/store/9icm6m714q09fd5rxq9ckgydybvx17hm-ocaml4.14.0-ppx_deriving-5.2.1
  /nix/store/9qa53mvz0mwqcm0wnkv91pczrkvfnszw-ocaml4.14.0-findlib-1.9.6
  /nix/store/9ss2x5i95hny45xib9scw1i1kcjsqi14-ocaml4.14.0-ppxlib-0.24.0
  /nix/store/9wvsly188kc0vdxc4xf1l09lmpympp05-ocaml4.14.0-ocaml-compiler-libs-0.12.4
  /nix/store/c4164xkswarb63qc5dp0xm06sjgh701y-ocaml4.14.0-stdint-0.7.0
  /nix/store/cj10jvk39qhdijbl1niagqsnf2i18m2v-ocaml4.14.0-ocamlbuild-0.14.2
  /nix/store/cmblgqm34hfpwdngsmifb61zvjxdq611-ocaml4.14.0-batteries-3.5.1
  /nix/store/dggzix1yj1p6a6q98ajxdh1vk4gyz585-ocaml-4.14.0
  /nix/store/fqc8a6ysb8zadj3n82qjz7chpz981y70-ocaml4.14.0-fileutils-0.6.3
  /nix/store/fxqnma21g8z54c56ny6f1v3grnc80h0v-ocaml4.14.0-pprint-20220103
  /nix/store/g7cml1bxf9c763hzbv3nqf4g0wqh586f-ocaml4.14.0-zarith-1.12
  /nix/store/gr400gpd5pil07bk5vc2gjx8xczhj065-ocaml4.14.0-seq-0.1
  /nix/store/h726jfjkcv2pkc93sij5zl95kqn25gqh-ocaml4.14.0-process-0.2.1
  /nix/store/h9y0vq2ayz990pmnxjkpnjfgzrjggvq9-ocaml4.14.0-ppx_derivers-1.2.1
  /nix/store/i6hjf36hww229k8n5vgchdid1mlvdk03-ocaml4.14.0-ocaml-migrate-parsetree-2.4.0
  /nix/store/ixrqnqbrqajp0d5s6h81s0niis6y29i6-ocaml4.14.0-num-1.1
  /nix/store/k89wyfw4pb7fylyh8h010cw4vxpjpf5n-ocaml4.14.0-sedlex-2.5
  /nix/store/vw28yfw7qmibi1gg4rlga8k2sk7g6330-ocaml4.14.0-sexplib0-0.15.0
  /nix/store/x74222h2r6lzmzzapz6lqjimk0r63r36-ocaml4.14.0-menhir-20220210
  /nix/store/yyqcp0qf30zr6mmbdb7f67w9d6n15rsn-ocaml4.14.0-stdlib-shims-0.3.0
  /nix/store/z7f2ss2xmz6gmb90rpvj09nzds6inag7-z3-4.8.15-lib
error: builder for '/nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv' failed with exit code 1;
       last 8 log lines:
       >
       > trying https://github.com/FStarLang/FStar/archive/v2022.06.08.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
       >   0    14    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download source from any mirror
       For full logs, run 'nix log /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv'.
error: error: 1 dependencies of derivation '/nix/store/khx3yrpd7sr4l71dbykm9firlwq3vw9k-fstar-2022.06.08.drv' failed to build