gappa 1.4.0 -> 1.4.1 https://repology.org/project/gappa-prover/versions
attrpath: gappa
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/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv
these 5 paths will be fetched (0.50 MiB download, 1.67 MiB unpacked):
  /nix/store/4iqdy3igia98dk7qskapqlimbh6dc69j-curl-8.1.1-bin
  /nix/store/8qypc00390ffsdqhk0jswd8ia7nv48zb-curl-8.1.1
  /nix/store/cilib2izrjkxivhb2arxwq8v841pmynf-nghttp2-1.51.0-dev
  /nix/store/j04cw25ccfxf1i7dqx2a21k69n4miw4c-curl-8.1.1-dev
  /nix/store/jw33p9x3ibbx86fm2byy3kbjc2h0yh19-nghttp2-1.51.0-lib
copying path '/nix/store/jw33p9x3ibbx86fm2byy3kbjc2h0yh19-nghttp2-1.51.0-lib' from 'https://cache.nixos.org'...
copying path '/nix/store/8qypc00390ffsdqhk0jswd8ia7nv48zb-curl-8.1.1' from 'https://cache.nixos.org'...
copying path '/nix/store/cilib2izrjkxivhb2arxwq8v841pmynf-nghttp2-1.51.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/4iqdy3igia98dk7qskapqlimbh6dc69j-curl-8.1.1-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/j04cw25ccfxf1i7dqx2a21k69n4miw4c-curl-8.1.1-dev' from 'https://cache.nixos.org'...
building '/nix/store/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv'...

trying https://gforge.inria.fr/frs/download.php/file/38436/gappa-1.4.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0   162    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 403
error: cannot download gappa-1.4.1.tar.gz from any mirror
error: builder for '/nix/store/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://gforge.inria.fr/frs/download.php/file/38436/gappa-1.4.1.tar.gz
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0   162    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 403
       > error: cannot download gappa-1.4.1.tar.gz from any mirror
       For full logs, run 'nix log /nix/store/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv'.
stderr did not split as expected full stderr was: 
error: attribute 'originalSrc' in selection path 'gappa.originalSrc' not found
stderr did not split as expected full stderr was: 
these 2 derivations will be built:
  /nix/store/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv
  /nix/store/9h76cjlj1zlmdwkxfmhbza42gv4x61ca-gappa-1.4.1.drv
this path will be fetched (9.02 MiB download, 141.93 MiB unpacked):
  /nix/store/n8b3a2kj7x7yznhgffrv9g7pxqj4m20i-boost-1.79.0-dev
copying path '/nix/store/n8b3a2kj7x7yznhgffrv9g7pxqj4m20i-boost-1.79.0-dev' from 'https://cache.nixos.org'...
building '/nix/store/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv'...

trying https://gforge.inria.fr/frs/download.php/file/38436/gappa-1.4.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0   162    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 403
error: cannot download gappa-1.4.1.tar.gz from any mirror
error: builder for '/nix/store/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://gforge.inria.fr/frs/download.php/file/38436/gappa-1.4.1.tar.gz
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0   162    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 403
       > error: cannot download gappa-1.4.1.tar.gz from any mirror
       For full logs, run 'nix log /nix/store/d011d2d7kjshw2irwjkv4r4f61bkx4v9-gappa-1.4.1.tar.gz.drv'.
error: 1 dependencies of derivation '/nix/store/9h76cjlj1zlmdwkxfmhbza42gv4x61ca-gappa-1.4.1.drv' failed to build