Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.LibHyps 2.0.8 -> 4.0.0 https://github.com/Matafou/LibHyps/releases attrpath: coqPackages.LibHyps 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 this derivation will be built: /nix/store/my056fr5360mia1shsa48dc4lsy35d3m-source.drv building '/nix/store/my056fr5360mia1shsa48dc4lsy35d3m-source.drv'... structuredAttrs is enabled trying https://github.com/Matafou/LibHyps/archive/libhyps-4.0.0.zip % 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 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 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 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 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 error: cannot download source from any mirror error: Cannot build '/nix/store/my056fr5360mia1shsa48dc4lsy35d3m-source.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/bqfq4db6nwycmkdrql9igsbrayqsw3g2-source Last 22 log lines: > structuredAttrs is enabled > > trying https://github.com/Matafou/LibHyps/archive/libhyps-4.0.0.zip > % 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 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 > 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 > 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 > 0 0 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/my056fr5360mia1shsa48dc4lsy35d3m-source.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 'coqPackages.LibHyps.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 these 2 derivations will be built: /nix/store/my056fr5360mia1shsa48dc4lsy35d3m-source.drv /nix/store/7fibx3xrd48106v48r6hl5pf5271fr1q-coq9.0-LibHyps-4.0.0.drv these 6 paths will be fetched (244.91 MiB download, 1026.66 MiB unpacked): /nix/store/bv457wy1yrf78iwf6znbnyg0sgpn7jis-coq-9.0.1 /nix/store/zr8pi4f7bw1wihx8wm5gcdww91mcdkl9-ocaml-4.14.3 /nix/store/sn1m49xjajq4ayjcr7xc04bsqsx1yfk4-ocaml4.14.3-findlib-1.9.8 /nix/store/mm2syzyrdc15nq8rklw931c38hj6n5b2-ocaml4.14.3-zarith-1.14 /nix/store/jzl2hhc8da1sldas45gs0hppvlrkrnn7-rocq-9.0.1 /nix/store/vj24lvjq4jaag4v5ym8wg17s31rdfg89-rocq-core9.0-stdlib-9.0.0 copying path '/nix/store/vj24lvjq4jaag4v5ym8wg17s31rdfg89-rocq-core9.0-stdlib-9.0.0' from 'https://cache.nixos.org'... copying path '/nix/store/zr8pi4f7bw1wihx8wm5gcdww91mcdkl9-ocaml-4.14.3' from 'https://cache.nixos.org'... building '/nix/store/my056fr5360mia1shsa48dc4lsy35d3m-source.drv'... structuredAttrs is enabled trying https://github.com/Matafou/LibHyps/archive/libhyps-4.0.0.zip % 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 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 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 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. copying path '/nix/store/sn1m49xjajq4ayjcr7xc04bsqsx1yfk4-ocaml4.14.3-findlib-1.9.8' from 'https://cache.nixos.org'... copying path '/nix/store/mm2syzyrdc15nq8rklw931c38hj6n5b2-ocaml4.14.3-zarith-1.14' from 'https://cache.nixos.org'... copying path '/nix/store/jzl2hhc8da1sldas45gs0hppvlrkrnn7-rocq-9.0.1' from 'https://cache.nixos.org'... 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 curl: (22) The requested URL returned error: 404 error: cannot download source from any mirror error: Cannot build '/nix/store/my056fr5360mia1shsa48dc4lsy35d3m-source.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/bqfq4db6nwycmkdrql9igsbrayqsw3g2-source Last 22 log lines: > structuredAttrs is enabled > > trying https://github.com/Matafou/LibHyps/archive/libhyps-4.0.0.zip > % 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 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 > 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 > 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 > 0 0 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/my056fr5360mia1shsa48dc4lsy35d3m-source.drv error: Cannot build '/nix/store/7fibx3xrd48106v48r6hl5pf5271fr1q-coq9.0-LibHyps-4.0.0.drv'. Reason: 1 dependency failed. Output paths: /nix/store/yfna9wmg4ahlgw1crbf1zbwvr59x0l65-coq9.0-LibHyps-4.0.0