2022-12-14T12:18:42 fstar 2022.01.15 -> 2022.06.08 https://repology.org/metapackage/fstar/versions
2022-12-14T12:18:44 attrpath: fstar
2022-12-14T12:18:44 Checking auto update branch...
2022-12-14T12:18:44 No auto update branch exists
2022-12-14T12:18:47 [version] 
2022-12-14T12:18:54 stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/hz67r8xik66cj2lrlpdps053wzqnn39q-source.drv
error: error: builder for '/nix/store/hz67r8xik66cj2lrlpdps053wzqnn39q-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/hz67r8xik66cj2lrlpdps053wzqnn39q-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/hz67r8xik66cj2lrlpdps053wzqnn39q-source.drv
  /nix/store/b78zc3rs0y43d6702nqjqbb257a04ggn-fstar-2022.06.08.drv
these paths will be fetched (67.23 MiB download, 327.43 MiB unpacked):
  /nix/store/0lxkzfdazrl51hhvhf72r42r6f7ia31g-ocaml4.14.0-yojson-2.0.2
  /nix/store/1fvh63v5a76s04f1cks676qdc0fnx18l-ocaml4.14.0-findlib-1.9.6
  /nix/store/47xws6w8ra4kb4qf8g59rw5aqpass43n-ocaml4.14.0-fileutils-0.6.3
  /nix/store/4p76ib08fd6xdyj7j4vp6g0hyx9q4iw9-ocaml4.14.0-ppx_deriving_yojson-3.6.1
  /nix/store/5wfhhd0lanamg11dhc2ji6j1zmw43br8-z3-4.8.15
  /nix/store/68ih84b0nzq6bipyfab2wd7sw7803gcb-ocaml4.14.0-menhirLib-20220210
  /nix/store/690livi2icw85w5n8nywj92ij1y9j5bb-ocaml4.14.0-menhir-20220210
  /nix/store/7q54ij8fjx535kywpzibrhndyj1qjmwh-ocaml4.14.0-stdint-0.7.2
  /nix/store/8ddwrmld8af2myi94phxv115s4rzrwli-ocaml4.14.0-ppx_deriving-5.2.1
  /nix/store/9lmhk11wplbjr1sp161jqaf6qy0sh8h4-ocaml4.14.0-ocaml-compiler-libs-0.12.4
  /nix/store/9pvz6njz2c64jzmwwgck8izl5lg7dr2z-ocaml4.14.0-sexplib0-0.15.1
  /nix/store/9w5cx6as07ig90sn3bf9xw6b5flmf6ry-ocaml4.14.0-ppx_derivers-1.2.1
  /nix/store/cwzqgdy6m66k10gdjsx99sn4zrxr62x5-ocaml4.14.0-ocamlbuild-0.14.2
  /nix/store/dp72h7jhqxsabipplj7bjf1jjyxzajh7-ocaml4.14.0-batteries-3.5.1
  /nix/store/f48nm78d5qn47j1vp1340lhlp7mn4gbg-ocaml4.14.0-sedlex-2.5
  /nix/store/g4im727a34ax9ah636asnx69ysil74wk-ocaml4.14.0-ocaml-migrate-parsetree-2.4.0
  /nix/store/gs3qcihxgxzs0aw9c9n0yiflx36c60av-ocaml4.14.0-seq-0.1
  /nix/store/hy8cprgxsli44ylvjzqnmipd327z4iss-ocaml4.14.0-num-1.1
  /nix/store/ic6bi296x0picr0n1rbhvqn08p8yvpr0-ocaml4.14.0-zarith-1.12
  /nix/store/jsxfxhjwal9qybmxifzz7481c3v8s30j-ocaml4.14.0-stdio-0.15.0
  /nix/store/lypz21f0ah4z4735wddzhmdbcbrrw4qq-ocaml4.14.0-pprint-20220103
  /nix/store/n5c7p5rbnzlmi0zwyxcs2fq2bjg3gn0j-z3-4.8.15-dev
  /nix/store/q8lz64v0j58mpwpqrg4kmz21c1mwavch-ocaml4.14.0-gen-1.0
  /nix/store/s91pq8139jh9fxaxlcj0piahgzbylk6l-ocaml4.14.0-result-1.5
  /nix/store/sflb58nzah6rpxyk4n7s3q4ibykgvpdn-ocaml4.14.0-uchar-0.0.2
  /nix/store/sjb6awz664i7g108jngk6d3hrwbs231v-ocaml4.14.0-base-0.15.1
  /nix/store/vri139j7mxqnsxpkgk4f8hx7qg6p2mcb-ocaml4.14.0-ppxlib-0.24.0
  /nix/store/vvpls6wc9g2145k310myhdg85kn9m7fx-ocaml4.14.0-stdlib-shims-0.3.0
  /nix/store/w42kghl3ic4vls9rcp48qjw804nqhpd6-ocaml4.14.0-process-0.2.1
  /nix/store/xi4sdi5gxvck63c17j88x46qj9995rln-z3-4.8.15-lib
error: builder for '/nix/store/hz67r8xik66cj2lrlpdps053wzqnn39q-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/hz67r8xik66cj2lrlpdps053wzqnn39q-source.drv'.
error: error: 1 dependencies of derivation '/nix/store/b78zc3rs0y43d6702nqjqbb257a04ggn-fstar-2022.06.08.drv' failed to build