Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: abella 2.0.8 -> 2.0.8.3 https://repology.org/project/abella/versions attrpath: abella 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/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.drv building '/nix/store/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.drv'... structuredAttrs is enabled trying http://abella-prover.org/distributions/abella-2.0.8.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 269 100 269 0 0 745 0 --:--:-- --:--:-- --:--:-- 745 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. 100 269 100 269 0 0 2793 0 --:--:-- --:--:-- --:--:-- 2802 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. 100 269 100 269 0 0 2793 0 --:--:-- --:--:-- --:--:-- 2802 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. 100 269 100 269 0 0 2786 0 --:--:-- --:--:-- --:--:-- 2802 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 error: cannot download abella-2.0.8.3.tar.gz from any mirror error: Cannot build '/nix/store/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/blh6kwkv7g7w3c7gbd5j7mx9hca4yq34-abella-2.0.8.3.tar.gz Last 22 log lines: > structuredAttrs is enabled > > trying http://abella-prover.org/distributions/abella-2.0.8.3.tar.gz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 100 269 100 269 0 0 745 0 --:--:-- --:--:-- --:--:-- 745 > 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. > 100 269 100 269 0 0 2793 0 --:--:-- --:--:-- --:--:-- 2802 > 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. > 100 269 100 269 0 0 2793 0 --:--:-- --:--:-- --:--:-- 2802 > 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. > 100 269 100 269 0 0 2786 0 --:--:-- --:--:-- --:--:-- 2802 > 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > curl: (22) The requested URL returned error: 404 > error: cannot download abella-2.0.8.3.tar.gz from any mirror For full logs, run: nix log /nix/store/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.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 'abella.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/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.drv /nix/store/v6y8mhdixwyqvx1phi3fkc8c3vrrl5ca-abella-2.0.8.3.drv these 6 paths will be fetched (101.93 MiB download, 427.50 MiB unpacked): /nix/store/g6v1b2mzhs1izqya5ydd59k8glrkgyfv-cmdliner-1.3.0 /nix/store/5bmf7pbz0w0kn3z02l9xa0m9lsip7lv5-ocaml-4.12.1 /nix/store/m4j4b2vfz67d91r8hr7dzps2fcff8l4l-ocaml4.12.1-findlib-1.9.8 /nix/store/xlkaw8xka1azn0cmmab112czj3w1y5b5-ocaml4.12.1-menhir-20250903 /nix/store/ak0s39by9l4mdkd67jy45896gjcpfm6b-ocaml4.12.1-menhirLib-20250903 /nix/store/43yg351r4fvv7g9jzf203vb56823inpr-ocaml4.12.1-yojson-3.0.0 copying path '/nix/store/5bmf7pbz0w0kn3z02l9xa0m9lsip7lv5-ocaml-4.12.1' from 'https://cache.nixos.org'... building '/nix/store/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.drv'... structuredAttrs is enabled trying http://abella-prover.org/distributions/abella-2.0.8.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 269 100 269 0 0 1389 0 --:--:-- --:--:-- --:--:-- 1386 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. 100 269 100 269 0 0 2782 0 --:--:-- --:--:-- --:--:-- 2802 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. 100 269 100 269 0 0 2771 0 --:--:-- --:--:-- --:--:-- 2773 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. 100 269 100 269 0 0 2786 0 --:--:-- --:--:-- --:--:-- 2802 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 error: cannot download abella-2.0.8.3.tar.gz from any mirror error: Cannot build '/nix/store/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.drv'. Reason: builder failed with exit code 1. Output paths: /nix/store/blh6kwkv7g7w3c7gbd5j7mx9hca4yq34-abella-2.0.8.3.tar.gz Last 22 log lines: > structuredAttrs is enabled > > trying http://abella-prover.org/distributions/abella-2.0.8.3.tar.gz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 100 269 100 269 0 0 1389 0 --:--:-- --:--:-- --:--:-- 1386 > 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. > 100 269 100 269 0 0 2782 0 --:--:-- --:--:-- --:--:-- 2802 > 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. > 100 269 100 269 0 0 2771 0 --:--:-- --:--:-- --:--:-- 2773 > 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. > 100 269 100 269 0 0 2786 0 --:--:-- --:--:-- --:--:-- 2802 > 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > curl: (22) The requested URL returned error: 404 > error: cannot download abella-2.0.8.3.tar.gz from any mirror For full logs, run: nix log /nix/store/zffz2l9zrcgqdc39pnb6vbsyj67k9gcv-abella-2.0.8.3.tar.gz.drv error: Cannot build '/nix/store/v6y8mhdixwyqvx1phi3fkc8c3vrrl5ca-abella-2.0.8.3.drv'. Reason: 1 dependency failed. Output paths: /nix/store/dxqyib1yvk7j3pqp3f7v4x6crbdsviyj-abella-2.0.8.3