alt-ergo 2.4.3 -> 2.5.0 https://github.com/OCamlPro/alt-ergo/releases
attrpath: alt-ergo
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/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv
building '/nix/store/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv'...

trying https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.5.0.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:00:01 --:--:--     0
  0    14    0     0    0     0      0      0 --:--:--  0:00:01 --:--:--     0
curl: (22) The requested URL returned error: 404
error: cannot download source from any mirror
error: builder for '/nix/store/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv' failed with exit code 1;
       last 8 log lines:
       >
       > trying https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.5.0.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:00:01 --:--:--     0
       >   0    14    0     0    0     0      0      0 --:--:--  0:00:01 --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download source from any mirror
       For full logs, run 'nix log /nix/store/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv'.
stderr did not split as expected full stderr was: 
error: attribute 'originalSrc' in selection path 'alt-ergo.originalSrc' not found
stderr did not split as expected full stderr was: 
these 7 derivations will be built:
  /nix/store/l2iiz8vqvc1gm28z283a9rxr6xpvlb3y-source.drv
  /nix/store/9290x3rpgp5bviqvpm56cw21h8z8q81d-ocaml4.14.1-psmt2-frontend-0.4.0.drv
  /nix/store/9pxpf03qiyh0w3igkydnmz0njrkd2swy-ocaml4.14.1-ocplib-simplex-0.4.drv
  /nix/store/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv
  /nix/store/cp1kq3z483pqshynk43ziw47mz4j5b94-ocaml4.14.1-alt-ergo-lib-2.5.0.drv
  /nix/store/7h0wc1cpdns9qybl5rz6zwf8749a8d6d-ocaml4.14.1-alt-ergo-parsers-2.5.0.drv
  /nix/store/3p453kxr92v5yrak61ld3nx36xif8lqs-ocaml4.14.1-alt-ergo-2.5.0.drv
these 6 paths will be fetched (4.86 MiB download, 20.60 MiB unpacked):
  /nix/store/09q63qp8v7wglbrahy90rw1x6mblvhch-source
  /nix/store/6kakskmwxd2kjvsdaw6crmvrpi55g20a-ocaml4.14.1-csexp-1.5.2
  /nix/store/imcww44548mjlmgidxkik0zdp2mbb9lm-ocaml4.14.1-dune-configurator-3.10.0
  /nix/store/nv6pgnkripfg18071612vpr54ipv9swh-dune-3.10.0
  /nix/store/vy4ljl5iynl8nxpnd5hvkl1iibwzhz0b-ocaml4.14.1-camlzip-1.11
  /nix/store/z2pcq72lfdf75xz97xl01xzvm5a2c1rc-ocaml4.14.1-dune-build-info-3.10.0
copying path '/nix/store/nv6pgnkripfg18071612vpr54ipv9swh-dune-3.10.0' from 'https://cache.nixos.org'...
building '/nix/store/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv'...
copying path '/nix/store/vy4ljl5iynl8nxpnd5hvkl1iibwzhz0b-ocaml4.14.1-camlzip-1.11' from 'https://cache.nixos.org'...
copying path '/nix/store/z2pcq72lfdf75xz97xl01xzvm5a2c1rc-ocaml4.14.1-dune-build-info-3.10.0' from 'https://cache.nixos.org'...
copying path '/nix/store/6kakskmwxd2kjvsdaw6crmvrpi55g20a-ocaml4.14.1-csexp-1.5.2' from 'https://cache.nixos.org'...
copying path '/nix/store/09q63qp8v7wglbrahy90rw1x6mblvhch-source' from 'https://nix-community.cachix.org'...
building '/nix/store/l2iiz8vqvc1gm28z283a9rxr6xpvlb3y-source.drv'...

trying https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.5.0.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
error: builder for '/nix/store/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv' failed with exit code 1;
       last 8 log lines:
       >
       > trying https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.5.0.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/w6wa1bylrmjg0v12nq6s55qclvqac107-source.drv'.
error: 1 dependencies of derivation '/nix/store/3p453kxr92v5yrak61ld3nx36xif8lqs-ocaml4.14.1-alt-ergo-2.5.0.drv' failed to build