2022-11-25T12:25:37 fstar 2022.01.15 -> 2022.06.08 https://repology.org/metapackage/fstar/versions
2022-11-25T12:25:39 attrpath: fstar
2022-11-25T12:25:39 Checking auto update branch...
2022-11-25T12:25:39 No auto update branch exists
2022-11-25T12:25:43 [version] 
2022-11-25T12:25:49 stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/pmc28ij7cwif96vgxkbh5sqixps40msn-source.drv
error: error: builder for '/nix/store/pmc28ij7cwif96vgxkbh5sqixps40msn-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/pmc28ij7cwif96vgxkbh5sqixps40msn-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/pmc28ij7cwif96vgxkbh5sqixps40msn-source.drv
  /nix/store/w91anfmfbn9rq5qi858s7amw3a8ik4gx-fstar-2022.06.08.drv
these paths will be fetched (0.65 MiB download, 4.30 MiB unpacked):
  /nix/store/af94gic1qnv60vrc69rjlq8qfrcgd3mh-ocaml4.14.0-stdint-0.7.2
error: builder for '/nix/store/pmc28ij7cwif96vgxkbh5sqixps40msn-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/pmc28ij7cwif96vgxkbh5sqixps40msn-source.drv'.
error: error: 1 dependencies of derivation '/nix/store/w91anfmfbn9rq5qi858s7amw3a8ik4gx-fstar-2022.06.08.drv' failed to build