Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: eprover 3.2 -> 3.2.5 https://repology.org/project/eprover/versions attrpath: eprover Checking auto update branch... No auto update branch exists [version] stderr did not split as expected full stderr was: warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user warning: unable to download 'https://temp-cache.nix-community.org/nndwfwgj3ipjzp86cxnp6ag4kdw84c3c.narinfo': Timeout was reached (28) Connection timed out after 5001 milliseconds; retrying in 261 ms (attempt 1/5) warning: unable to download 'https://temp-cache.nix-community.org/nndwfwgj3ipjzp86cxnp6ag4kdw84c3c.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds; retrying in 558 ms (attempt 2/5) warning: unable to download 'https://temp-cache.nix-community.org/nndwfwgj3ipjzp86cxnp6ag4kdw84c3c.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds; retrying in 1353 ms (attempt 3/5) warning: unable to download 'https://temp-cache.nix-community.org/nndwfwgj3ipjzp86cxnp6ag4kdw84c3c.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds; retrying in 2754 ms (attempt 4/5) disabling binary cache 'https://temp-cache.nix-community.org' for 60 seconds error: unable to download 'https://temp-cache.nix-community.org/nndwfwgj3ipjzp86cxnp6ag4kdw84c3c.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds this derivation will be built: /nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv building '/nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv'... structuredAttrs is enabled trying https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.2.5/E.tgz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries Warning: left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 error: cannot download E.tgz from any mirror error: Cannot build '/nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/nndwfwgj3ipjzp86cxnp6ag4kdw84c3c-E.tgz Last 18 log lines: > structuredAttrs is enabled > > trying https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.2.5/E.tgz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries > Warning: left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > error: cannot download E.tgz from any mirror For full logs, run: nix log /nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv stderr did not split as expected full stderr was: warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user error: attribute 'originalSrc' in selection path 'eprover.originalSrc' not found stderr did not split as expected full stderr was: warning: ignoring the client-specified setting 'sandbox', because it is a restricted setting and you are not a trusted user warning: unable to download 'https://temp-cache.nix-community.org/c8jsn1bw1bzslp6j247rvkai8ccxnhhp.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds; retrying in 325 ms (attempt 1/5) warning: unable to download 'https://temp-cache.nix-community.org/c8jsn1bw1bzslp6j247rvkai8ccxnhhp.narinfo': Timeout was reached (28) Connection timed out after 5001 milliseconds; retrying in 628 ms (attempt 2/5) warning: unable to download 'https://temp-cache.nix-community.org/c8jsn1bw1bzslp6j247rvkai8ccxnhhp.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds; retrying in 1287 ms (attempt 3/5) warning: unable to download 'https://temp-cache.nix-community.org/c8jsn1bw1bzslp6j247rvkai8ccxnhhp.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds; retrying in 2582 ms (attempt 4/5) disabling binary cache 'https://temp-cache.nix-community.org' for 60 seconds error: unable to download 'https://temp-cache.nix-community.org/c8jsn1bw1bzslp6j247rvkai8ccxnhhp.narinfo': Timeout was reached (28) Connection timed out after 5000 milliseconds these 2 derivations will be built: /nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv /nix/store/9fma0czgms4j9hj8mppz16rh7ll6iffv-eprover-3.2.5.drv building '/nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv'... structuredAttrs is enabled trying https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.2.5/E.tgz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries Warning: left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 error: cannot download E.tgz from any mirror error: Cannot build '/nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/nndwfwgj3ipjzp86cxnp6ag4kdw84c3c-E.tgz Last 18 log lines: > structuredAttrs is enabled > > trying https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.2.5/E.tgz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 1 second. 3 retries left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 2 seconds. 2 retries > Warning: left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > Warning: Problem (retrying all errors). Will retry in 4 seconds. 1 retry left. > 0 0 0 0 0 0 0 0 0 > curl: (22) The requested URL returned error: 404 > error: cannot download E.tgz from any mirror For full logs, run: nix log /nix/store/d9avnswdxwl9pwa12hzdnm8h3viha6ha-E.tgz.drv error: Cannot build '/nix/store/9fma0czgms4j9hj8mppz16rh7ll6iffv-eprover-3.2.5.drv'. Reason: 1 dependency failed. Output paths: /nix/store/c8jsn1bw1bzslp6j247rvkai8ccxnhhp-eprover-3.2.5 error: Build failed due to failed dependency