2022-11-08T17:03:42 fstar 2022.01.15 -> 2022.06.08 https://repology.org/metapackage/fstar/versions
2022-11-08T17:03:45 attrpath: fstar
2022-11-08T17:03:45 Checking auto update branch...
2022-11-08T17:03:45 No auto update branch exists
2022-11-08T17:03:49 [version] 
2022-11-08T17:04:19 stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv
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:00:11 --:--:--     0
       >   0    14    0     0    0     0      0      0 --:--:--  0:00:12 --:--:--     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/q6hd6f7ifq2294cdp79imp6m1c1hi0zy-fstar-2022.06.08.drv
these paths will be fetched (169.66 MiB download, 746.87 MiB unpacked):
  /nix/store/0zic3ylgc7p1f3r1hjfgqnng05sj7ppx-ocaml4.14.0-uchar-0.0.2
  /nix/store/2fpd8g1yybzwa1d54y6q99pbbxy01zy0-ocaml4.14.0-stdio-0.15.0
  /nix/store/2wf9apzl3b3kbqz4d6licvkqbp288nvi-ocaml4.14.0-menhirLib-20220210
  /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/5ypk1g0ndn1gvr40n18w2griph32i9pr-ocaml4.14.0-fileutils-0.6.3
  /nix/store/7ilcmc57qzpx6jc6lprdfdq0frgv90h6-ocaml4.14.0-ppxlib-0.24.0
  /nix/store/9cz9l69blg1177crl3y1y9fqrgwrc28i-python2.7-setuptools-44.0.0
  /nix/store/9qa53mvz0mwqcm0wnkv91pczrkvfnszw-ocaml4.14.0-findlib-1.9.6
  /nix/store/9wvsly188kc0vdxc4xf1l09lmpympp05-ocaml4.14.0-ocaml-compiler-libs-0.12.4
  /nix/store/cj10jvk39qhdijbl1niagqsnf2i18m2v-ocaml4.14.0-ocamlbuild-0.14.2
  /nix/store/d4sdqx126ak10mrgqkp1n5fhm7cp1r94-ocaml4.14.0-sexplib0-0.15.1
  /nix/store/dggzix1yj1p6a6q98ajxdh1vk4gyz585-ocaml-4.14.0
  /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/m0hmiqf0ax4zbcm2mqjnm6zf3c3vfasc-ocaml4.14.0-ppx_deriving-5.2.1
  /nix/store/mhs29zsmiq2cin6dnclhvnrp6gd8bkqp-ocaml4.14.0-sedlex-2.5
  /nix/store/mmr0rfn4kbvhrgal7c5pkz9n86m748ha-z3-4.8.15
  /nix/store/nwq11v511wcp15cp6d83lxipy228yyl1-ocaml4.14.0-stdint-0.7.2
  /nix/store/rj1p2avmfvdw5kjizcm2ap12xp7k4an3-ocaml4.14.0-base-0.15.1
  /nix/store/vybgsysq5qxwj102qzp8r8730aizhb7s-ocaml4.14.0-batteries-3.5.1
  /nix/store/wwn8ixl1wny3mn33wglzk6b3f4sfmc26-ocaml4.14.0-gen-0.5
  /nix/store/x74222h2r6lzmzzapz6lqjimk0r63r36-ocaml4.14.0-menhir-20220210
  /nix/store/yj0kffv13ik8ksdwsps27i2hvsldnmxa-ocaml4.14.0-ppx_deriving_yojson-3.6.1
  /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:00:04 --:--:--     0
       >   0    14    0     0    0     0      0      0 --:--:--  0:00:05 --:--:--     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/q6hd6f7ifq2294cdp79imp6m1c1hi0zy-fstar-2022.06.08.drv' failed to build