2022-11-16T11:46:52 fstar 2022.01.15 -> 2022.06.08 https://repology.org/metapackage/fstar/versions
2022-11-16T11:46:55 attrpath: fstar
2022-11-16T11:46:55 Checking auto update branch...
2022-11-16T11:46:55 No auto update branch exists
2022-11-16T11:46:58 [version] 
2022-11-16T11:47:08 stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/hkrgrbjigq9h48cwn07hmxi1amj023xa-source.drv
error: error: builder for '/nix/store/hkrgrbjigq9h48cwn07hmxi1amj023xa-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/hkrgrbjigq9h48cwn07hmxi1amj023xa-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/49339sw78mnhka4z6vg81xn9xsjknax7-ocaml4.14.0-batteries-3.5.1.drv
  /nix/store/4bvp48kdsa259s8ygwyc7vbpqvfh0fvw-ocaml4.14.0-sedlex-2.5.drv
  /nix/store/hkrgrbjigq9h48cwn07hmxi1amj023xa-source.drv
  /nix/store/rg9lacha1gir794gcb22nsd8awlwwahw-ocaml4.14.0-stdint-0.7.2.drv
  /nix/store/18kv8fwc39d3ib5l3iy6yaslcl4k1jf8-fstar-2022.06.08.drv
these paths will be fetched (38.74 MiB download, 175.10 MiB unpacked):
  /nix/store/2l6gcwl85b97lmwklrjh504y20rhg00x-z3-4.8.15
  /nix/store/3zn5k67jls0sphmmg0qxmnijvgvz8gdg-stdint-0.7.2.tbz
  /nix/store/59dd9z8g9v7nv8sl3ar03fw6xqg4l229-ocaml4.14.0-ppx_deriving_yojson-3.6.1
  /nix/store/7qr2nqz4xs0blkvb64qh4wlcld6aagbv-z3-4.8.15-dev
  /nix/store/8c1f2g4g0jxk2hq0w54jfmc905x53vmm-ocaml4.14.0-ppxlib-0.24.0
  /nix/store/9n50bq6gvahbx0q3chnb1mi1z2522w96-ocaml4.14.0-pprint-20220103
  /nix/store/c55fkyvyq624f6smqdmg2p6h3yd18kgb-source
  /nix/store/cgwnvlcfq975lxp3i4gcx7hwz6y0k3ym-source
  /nix/store/ias8y42w8hd9hgqa91xs61xl6dbazfl9-ocaml4.14.0-ppx_deriving-5.2.1
  /nix/store/ipa0dycyhsm0gby7fwaj63877ab8ahgq-python2.7-setuptools-44.0.0
  /nix/store/nwchk6d7ll51pmbbcmxi29qz70g6xm88-dune-3.6.0
  /nix/store/qr3d2dzmvj8g6dn8hhjcxziklk7h002m-z3-4.8.15-lib
  /nix/store/wl00ii782dpg94wyga3igpxh8wn79w6a-ocaml4.14.0-process-0.2.1
error: builder for '/nix/store/hkrgrbjigq9h48cwn07hmxi1amj023xa-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/hkrgrbjigq9h48cwn07hmxi1amj023xa-source.drv'.
error: error: 1 dependencies of derivation '/nix/store/18kv8fwc39d3ib5l3iy6yaslcl4k1jf8-fstar-2022.06.08.drv' failed to build