2022-12-18T22:42:18 leo3-bin 1.2 -> 1.6 https://github.com/leoprover/Leo-III/releases
2022-12-18T22:42:20 attrpath: leo3-bin
2022-12-18T22:42:20 Checking auto update branch...
2022-12-18T22:42:20 No auto update branch exists
2022-12-18T22:42:24 [version] 
2022-12-18T22:42:27 stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv
error: error: builder for '/nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://github.com/leoprover/Leo-III/releases/download/v1.6/leo3.jar
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0     9    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download leo3.jar from any mirror
       For full logs, run 'nix log /nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv'.
stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
error: attribute 'originalSrc' in selection path 'leo3-bin.originalSrc' not found
stderr did not split as expected full stderr was: 
warning: unknown setting 'experimental-features'
these derivations will be built:
  /nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv
  /nix/store/ck0sqlyhj5vww7g48h13zqml7hqhldb8-leo3-1.6.drv
error: builder for '/nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://github.com/leoprover/Leo-III/releases/download/v1.6/leo3.jar
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0     9    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download leo3.jar from any mirror
       For full logs, run 'nix log /nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv'.
error: error: 1 dependencies of derivation '/nix/store/ck0sqlyhj5vww7g48h13zqml7hqhldb8-leo3-1.6.drv' failed to build