mcrl2 202206 -> 202206.1 https://repology.org/metapackage/mcrl2/versions
attrpath: mcrl2
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/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv
building '/nix/store/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv'...

trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 404
error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
error: builder for '/nix/store/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
       For full logs, run 'nix log /nix/store/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv'.
stderr did not split as expected full stderr was: 
error: attribute 'originalSrc' in selection path 'mcrl2.originalSrc' not found
stderr did not split as expected full stderr was: 
these 2 derivations will be built:
  /nix/store/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv
  /nix/store/1j01lp9mk4cqz9dj9jdb494zbh76yf10-mcrl2-202206.1.drv
these 2 paths will be fetched (9.03 MiB download, 141.94 MiB unpacked):
  /nix/store/k0hrcj80xpk187g4v61w0y58sp0zgakl-boost-1.79.0-dev
  /nix/store/wf5wdjcvpmcsdf0a1bgrxwgsyhvymgxk-glu-9.0.2-dev
copying path '/nix/store/k0hrcj80xpk187g4v61w0y58sp0zgakl-boost-1.79.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/wf5wdjcvpmcsdf0a1bgrxwgsyhvymgxk-glu-9.0.2-dev' from 'https://cache.nixos.org'...
building '/nix/store/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv'...

trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 404
error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
error: builder for '/nix/store/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
       For full logs, run 'nix log /nix/store/a1ib3zpnfaagqqnkdr2yvlrn4gvr8gpy-mcrl2-202206.1.1.tar.gz.drv'.
error: 1 dependencies of derivation '/nix/store/1j01lp9mk4cqz9dj9jdb494zbh76yf10-mcrl2-202206.1.drv' failed to build