2022-11-10T20:50:29 fstar 2022.01.15 -> 2022.06.08 https://repology.org/metapackage/fstar/versions
2022-11-10T20:50:31 attrpath: fstar
2022-11-10T20:50:31 Checking auto update branch...
2022-11-10T20:50:31 No auto update branch exists
2022-11-10T20:50:35 [version] 
2022-11-10T20:50:43 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/hkrgrbjigq9h48cwn07hmxi1amj023xa-source.drv
  /nix/store/60rywbldng951svs1ynyzahkcn8rijrb-fstar-2022.06.08.drv
these paths will be fetched (75.49 MiB download, 375.59 MiB unpacked):
  /nix/store/1cpdvszfsl2adfcicd9kyb7zg39d4n7c-ocaml4.14.0-stdlib-shims-0.3.0
  /nix/store/2l6gcwl85b97lmwklrjh504y20rhg00x-z3-4.8.15
  /nix/store/2zbdkj5dvjf16c8bcjh3bwqqqpd288vz-ocaml4.14.0-num-1.1
  /nix/store/628frq5s6p2qnf22ssbj3np4crp86dfv-ocaml4.14.0-ocamlbuild-0.14.2
  /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/bqzkj4hgq11kwl2lp0zf898jd8m72gjr-ocaml4.14.0-seq-0.1
  /nix/store/bvm075lnnkzkhhlzynqq19a8aj547i8m-ocaml4.14.0-fileutils-0.6.3
  /nix/store/c220y9sajjbc8kx6iyf67xvfxrf6yiph-ocaml4.14.0-uchar-0.0.2
  /nix/store/gmlh5flmdicq0cmp0ak11j1hg0z8b5yf-ocaml4.14.0-sedlex-2.5
  /nix/store/h2r0x03p04yfcxxzadzlxc9pv3kdf174-ocaml4.14.0-findlib-1.9.6
  /nix/store/h6gdk8i9civ672y732nw8hdhw2z0b3vq-ocaml4.14.0-stdint-0.7.2
  /nix/store/hznrcg6gcv9wmg1fnb8a3ad3zr9p0414-ocaml4.14.0-sexplib0-0.15.1
  /nix/store/ias8y42w8hd9hgqa91xs61xl6dbazfl9-ocaml4.14.0-ppx_deriving-5.2.1
  /nix/store/ipa0dycyhsm0gby7fwaj63877ab8ahgq-python2.7-setuptools-44.0.0
  /nix/store/j03q97wi96vipnyaspyswzl00pa823cf-ocaml4.14.0-result-1.5
  /nix/store/j5hsylc6k3f9k96xs6q24kddwghvi1cv-ocaml4.14.0-yojson-2.0.2
  /nix/store/kv8020k82gafc6dl1lmsmy76n4b6xhhw-ocaml4.14.0-stdio-0.15.0
  /nix/store/lbfv2llz70zrq5fj52dvmy96r4x4p90n-ocaml4.14.0-ocaml-compiler-libs-0.12.4
  /nix/store/msffywnp24kxialr53b4l5lgshinx9gb-ocaml4.14.0-menhirLib-20220210
  /nix/store/pbxiafh0aj3z2gs9ln96clxqfqjrf9c5-python-2.7.18
  /nix/store/qr3d2dzmvj8g6dn8hhjcxziklk7h002m-z3-4.8.15-lib
  /nix/store/qv7mjf239paph7ajv8mng9l9aljkrjh9-ocaml4.14.0-batteries-3.5.1
  /nix/store/r6ybvrl3x4vkx5mjqpjzv8b44ih4i2df-ocaml4.14.0-ppx_derivers-1.2.1
  /nix/store/rz2pjhdaz8sjwfv9b7p53p19q0py5mc7-ocaml4.14.0-zarith-1.12
  /nix/store/shbifh2bnpl06ixj7d1w0ccm9jb583yd-ocaml4.14.0-menhir-20220210
  /nix/store/w70g52rbpxq44igzd877mml77ps61hq4-ocaml4.14.0-ocaml-migrate-parsetree-2.4.0
  /nix/store/wl00ii782dpg94wyga3igpxh8wn79w6a-ocaml4.14.0-process-0.2.1
  /nix/store/wq4pglcdax7s186wfgw8pdp9hpfkfw8w-ocaml4.14.0-ppx_deriving_yojson-3.6.1
  /nix/store/ywgi02ir03b1m0sqkg7nixqa737mdfzk-ocaml4.14.0-gen-0.5
  /nix/store/zc9zagqs2vcyp8zbsfpjmrz99k0z78ka-ocaml4.14.0-base-0.15.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/60rywbldng951svs1ynyzahkcn8rijrb-fstar-2022.06.08.drv' failed to build