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: this derivation will be built: /nix/store/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv building '/nix/store/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv'... sourcing setup hook '/nix/store/yq6n8b0mnk0qxzbs3ajsjcp8ziwqylrl-patchelf-0.15.0/nix-support/setup-hook' sourcing setup hook '/nix/store/iks1pihvbilsh5sy8qvpd638k422w9i8-update-autotools-gnu-config-scripts-hook/nix-support/setup-hook' sourcing setup hook '/nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh' sourcing setup hook '/nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh' sourcing setup hook '/nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh' sourcing setup hook '/nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh' sourcing setup hook '/nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh' sourcing setup hook '/nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh' sourcing setup hook '/nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh' sourcing setup hook '/nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh' sourcing setup hook '/nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh' sourcing setup hook '/nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh' sourcing setup hook '/nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh' sourcing setup hook '/nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh' sourcing setup hook '/nix/store/gps9qrh99j7g02840wv5x78ykmz30byp-strip.sh' 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 201 0 0:00:01 0:00:01 --:--:-- 201 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 curl: (22) The requested URL returned error: 404 error: cannot download abella-2.0.8.3.tar.gz from any mirror error: builder for '/nix/store/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv' failed with exit code 1; last 23 log lines: > sourcing setup hook '/nix/store/yq6n8b0mnk0qxzbs3ajsjcp8ziwqylrl-patchelf-0.15.0/nix-support/setup-hook' > sourcing setup hook '/nix/store/iks1pihvbilsh5sy8qvpd638k422w9i8-update-autotools-gnu-config-scripts-hook/nix-support/setup-hook' > sourcing setup hook '/nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh' > sourcing setup hook '/nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh' > sourcing setup hook '/nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh' > sourcing setup hook '/nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh' > sourcing setup hook '/nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh' > sourcing setup hook '/nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh' > sourcing setup hook '/nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh' > sourcing setup hook '/nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh' > sourcing setup hook '/nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh' > sourcing setup hook '/nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh' > sourcing setup hook '/nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh' > sourcing setup hook '/nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh' > sourcing setup hook '/nix/store/gps9qrh99j7g02840wv5x78ykmz30byp-strip.sh' > > 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 201 0 0:00:01 0:00:01 --:--:-- 201 > 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 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/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv'. stderr did not split as expected full stderr was: error: attribute 'originalSrc' in selection path 'abella.originalSrc' not found stderr did not split as expected full stderr was: these 2 derivations will be built: /nix/store/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv /nix/store/ssjmbk5kj9zqr1138212jk5w8cinsizq-abella-2.0.8.3.drv these 7 paths will be fetched (103.82 MiB download, 432.15 MiB unpacked): /nix/store/m19m83lng7jh3myfsaxn5d4hsvzmdq84-cmdliner-1.3.0 /nix/store/4g9hrhsf07alq5jwq7251dqzshffnw2i-dune-3.16.0 /nix/store/kdymz0nwfm7bvvdbjqfmbkic54i18xil-ocaml-4.12.1 /nix/store/mgv1wdk4mi5w4zg8m2ybm3hkxcqpicdv-ocaml4.12.1-findlib-1.9.6 /nix/store/vl8w03a960crz9darsipbjlnvps106y8-ocaml4.12.1-menhir-20231231 /nix/store/900qsxkyq5xmahsqp2zkzi1bzw09ddjk-ocaml4.12.1-seq-0.1 /nix/store/knlxn6d3p6wl6nz0vcw9aichhmx7zm7n-ocaml4.12.1-yojson-2.2.2 copying path '/nix/store/900qsxkyq5xmahsqp2zkzi1bzw09ddjk-ocaml4.12.1-seq-0.1' from 'https://cache.nixos.org'... copying path '/nix/store/kdymz0nwfm7bvvdbjqfmbkic54i18xil-ocaml-4.12.1' from 'https://cache.nixos.org'... copying path '/nix/store/4g9hrhsf07alq5jwq7251dqzshffnw2i-dune-3.16.0' from 'https://cache.nixos.org'... copying path '/nix/store/vl8w03a960crz9darsipbjlnvps106y8-ocaml4.12.1-menhir-20231231' from 'https://cache.nixos.org'... building '/nix/store/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv'... sourcing setup hook '/nix/store/yq6n8b0mnk0qxzbs3ajsjcp8ziwqylrl-patchelf-0.15.0/nix-support/setup-hook' sourcing setup hook '/nix/store/iks1pihvbilsh5sy8qvpd638k422w9i8-update-autotools-gnu-config-scripts-hook/nix-support/setup-hook' sourcing setup hook '/nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh' sourcing setup hook '/nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh' sourcing setup hook '/nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh' sourcing setup hook '/nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh' sourcing setup hook '/nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh' sourcing setup hook '/nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh' sourcing setup hook '/nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh' sourcing setup hook '/nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh' sourcing setup hook '/nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh' sourcing setup hook '/nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh' sourcing setup hook '/nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh' sourcing setup hook '/nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh' sourcing setup hook '/nix/store/gps9qrh99j7g02840wv5x78ykmz30byp-strip.sh' 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 1324 0 --:--:-- --:--:-- --:--:-- 1325 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: builder for '/nix/store/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv' failed with exit code 1; last 23 log lines: > sourcing setup hook '/nix/store/yq6n8b0mnk0qxzbs3ajsjcp8ziwqylrl-patchelf-0.15.0/nix-support/setup-hook' > sourcing setup hook '/nix/store/iks1pihvbilsh5sy8qvpd638k422w9i8-update-autotools-gnu-config-scripts-hook/nix-support/setup-hook' > sourcing setup hook '/nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh' > sourcing setup hook '/nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh' > sourcing setup hook '/nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh' > sourcing setup hook '/nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh' > sourcing setup hook '/nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh' > sourcing setup hook '/nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh' > sourcing setup hook '/nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh' > sourcing setup hook '/nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh' > sourcing setup hook '/nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh' > sourcing setup hook '/nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh' > sourcing setup hook '/nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh' > sourcing setup hook '/nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh' > sourcing setup hook '/nix/store/gps9qrh99j7g02840wv5x78ykmz30byp-strip.sh' > > 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 1324 0 --:--:-- --:--:-- --:--:-- 1325 > 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/fw928aqwb7d2zq4ibsf02jk78cixr5r1-abella-2.0.8.3.tar.gz.drv'. error: 1 dependencies of derivation '/nix/store/ssjmbk5kj9zqr1138212jk5w8cinsizq-abella-2.0.8.3.drv' failed to build