leo3-bin 1.2 -> 1.6 https://github.com/leoprover/Leo-III/releases
attrpath: leo3-bin
Checking auto update branch...
No auto update branch exists
[version] 
stderr did not split as expected full stderr was: 
this derivation will be built:
  /nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv
building '/nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv'...

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
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: 
error: attribute 'originalSrc' in selection path 'leo3-bin.originalSrc' not found
stderr did not split as expected full stderr was: 
these 2 derivations will be built:
  /nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv
  /nix/store/ck0sqlyhj5vww7g48h13zqml7hqhldb8-leo3-1.6.drv
these 10 paths will be fetched (388.52 MiB download, 585.74 MiB unpacked):
  /nix/store/0017vcss451fi4ixjvj5gjk8gib7pdlf-hook
  /nix/store/13fjlpqav3ks4iai7y2f1xf1wmlr0w90-ORBit2-2.14.19
  /nix/store/456ma5kr2xkayf9akwf6ka1yzdlq2f44-dbus-glib-0.112
  /nix/store/4chhzvpixarcfdmmqa77bkjrkv4fln0p-polkit-122
  /nix/store/8fpwajrrg4a6di6z831xk0hsykykbdmd-gnome-vfs-2.24.4
  /nix/store/d1ksyg7z50xlr4qp4a4g2hqbdr66aypl-libIDL-0.8.14
  /nix/store/lnqmv17pbjpyldjnk07kr0k1ngfx5gw4-openjdk-19.0.1+10
  /nix/store/mq90za78c3g7jynzrqq5zhqkhd1irz4a-gconf-3.2.6
  /nix/store/nzz3v1pzjf0g5c1zjngh4x2sh7vlyjzv-gamin-0.1.10
  /nix/store/z7qa7mbgxaz7558ndk32b99l6y2b0l84-duktape-2.7.0
copying path '/nix/store/0017vcss451fi4ixjvj5gjk8gib7pdlf-hook' from 'https://cache.nixos.org'...
copying path '/nix/store/nzz3v1pzjf0g5c1zjngh4x2sh7vlyjzv-gamin-0.1.10' from 'https://cache.nixos.org'...
copying path '/nix/store/456ma5kr2xkayf9akwf6ka1yzdlq2f44-dbus-glib-0.112' from 'https://cache.nixos.org'...
copying path '/nix/store/z7qa7mbgxaz7558ndk32b99l6y2b0l84-duktape-2.7.0' from 'https://cache.nixos.org'...
building '/nix/store/927qplg8sp7dg4iagnkv1mivx67kd90s-leo3.jar.drv'...
copying path '/nix/store/d1ksyg7z50xlr4qp4a4g2hqbdr66aypl-libIDL-0.8.14' from 'https://cache.nixos.org'...
copying path '/nix/store/13fjlpqav3ks4iai7y2f1xf1wmlr0w90-ORBit2-2.14.19' from 'https://cache.nixos.org'...
copying path '/nix/store/4chhzvpixarcfdmmqa77bkjrkv4fln0p-polkit-122' from 'https://cache.nixos.org'...
copying path '/nix/store/mq90za78c3g7jynzrqq5zhqkhd1irz4a-gconf-3.2.6' from 'https://cache.nixos.org'...
copying path '/nix/store/8fpwajrrg4a6di6z831xk0hsykykbdmd-gnome-vfs-2.24.4' from 'https://cache.nixos.org'...
copying path '/nix/store/lnqmv17pbjpyldjnk07kr0k1ngfx5gw4-openjdk-19.0.1+10' from 'https://cache.nixos.org'...

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
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: 1 dependencies of derivation '/nix/store/ck0sqlyhj5vww7g48h13zqml7hqhldb8-leo3-1.6.drv' failed to build