leo3-bin 1.2 -> 1.7.0 https://github.com/leoprover/Leo-III/releases attrpath: leo3-bin 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/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv building '/nix/store/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv'... trying https://github.com/leoprover/Leo-III/releases/download/v1.7.0/leo3.jar % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 9 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 error: cannot download leo3.jar from any mirror error: builder for '/nix/store/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv' failed with exit code 1; last 7 log lines: > > trying https://github.com/leoprover/Leo-III/releases/download/v1.7.0/leo3.jar > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 9 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > curl: (22) The requested URL returned error: 404 > error: cannot download leo3.jar from any mirror For full logs, run 'nix log /nix/store/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv'. stderr did not split as expected full stderr was: error: attribute 'originalSrc' in selection path 'leo3-bin.originalSrc' not found stderr did not split as expected full stderr was: these 2 derivations will be built: /nix/store/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv /nix/store/7ak3igx3igc1mcx28f4fnnhgf84gvvwz-leo3-1.7.0.drv these 83 paths will be fetched (434.51 MiB download, 815.65 MiB unpacked): /nix/store/01ffckyh4rf782dn3l52dra3xsbdry6j-libXft-2.3.8 /nix/store/0c03l7sk477qxjjd0jancnfiv0y8hjb7-libnetfilter_conntrack-1.0.9 /nix/store/0iivz0p89zbgwdnxfyy341zn7h0bymv1-dejavu-fonts-minimal-2.37 /nix/store/12rfny94457mwv02hmy3qfs2h50ly45k-kbd-2.6.1 /nix/store/16vgvnwf5zypk1qnq8l7kl3nlkbsc07w-libX11-1.8.6 /nix/store/1ww4vgk8lhhrhv700jqkvrd7mpqf0ydh-libXinerama-1.1.5 /nix/store/2756xz22x81vzr8bg8ckwplcvgml0i90-libtiff-4.5.1 /nix/store/2l5r3b25837ad3fahqwdsmj5lqd7lh09-pango-1.50.14 /nix/store/2p1qnar0a1viip6xnhj745lzaczfix50-libfido2-1.13.0 /nix/store/2qm5hhpp1nliwmzfy6f3wm0bcqbhmrx6-cryptsetup-2.6.1 /nix/store/3ax6q94zjfshlb99c0s5xdk4nqrvji59-dconf-0.40.0-lib /nix/store/3h02r4lkzabs2lhcl0jm02lv7nddx5li-json-glib-1.6.6 /nix/store/3rhf7aljbjhlri9qgcxgklsw8zazxsi3-at-spi2-core-2.48.3 /nix/store/3sjadpzp73pdjszi7lsrylzvfv7p2408-giflib-5.2.1 /nix/store/48ik6fm41v4sy5hxc6sisdbbqh8f321k-libxkbcommon-1.5.0 /nix/store/4jpxnkgkp8niawbvcw36pal4yy8j1yf5-libXdamage-1.1.6 /nix/store/4knv2wy1yrl5zk356b43acmbqvpv7dz5-libpsl-0.21.2 /nix/store/4psnynr2gp8piqsmpdpas58v5vf7r2dr-libGL-1.6.0 /nix/store/5ckj2icmzfpm6kz12fjvw659mz7s3ql7-xkeyboard-config-2.39 /nix/store/5gg0q2xckc4sxs2ziyk1ymxhmnxm87i9-libpcap-1.10.4 /nix/store/5zyhvjaimfsa0vyjp2vajs16d8rk60cy-alsa-ucm-conf-1.2.9 /nix/store/61nvfhhm20lndn49cw483nwiv7cqphdw-pcsclite-1.9.5 /nix/store/6rv8gix3jyyj8i3h9cwvyxzkw9b1j85z-lcms2-2.15 /nix/store/74rc1lb11mjnv4wsxv1hdqs960kif9fl-gconf-3.2.6 /nix/store/89nxh2s4k7bpld15pwbfmx10g6d00nx7-libmicrohttpd-0.9.71 /nix/store/8sm6r7rvqq4kjg2lymjxr1grqibq2iwl-libapparmor-3.1.6 /nix/store/9i1hi7gxqqp48cgdg1qa22blch8bgmzz-libgcrypt-1.10.2 /nix/store/9x302sn3c7yrhpkifrdz2m4rdpwbnqmp-iptables-1.8.9 /nix/store/ag8sckp9mnfdpxq0yaqf6jks5w8zlz53-libbpf-1.2.2 /nix/store/bj51ga0wghvwcqkkyzkd0b26m26snss1-libXrender-0.9.11 /nix/store/bkd7lic3kza3r9f7c8wplzi2x5x68a1l-tpm2-tss-4.0.1 /nix/store/bxkjfzv01fldw1kb5laq2kqai8iwbzb3-glib-2.76.4 /nix/store/bzb5rvaxn4gd0zbjxlp4l9yyp08b0z7x-kmod-30-lib /nix/store/c6zclpi1jmjjr4fdfkbl9hprr8qc7ixk-json-c-0.16 /nix/store/cnac2fds3bxm37x616yrfhmlgdwx401n-ORBit2-2.14.19 /nix/store/cnnqnc28aqgnbjbnbki9580517i0za1i-curl-8.2.1 /nix/store/d1cbd6l2dhkrj5gq1a5gv74l6mfl99qw-polkit-122 /nix/store/dpg100y5w38ap2lg0icf63cj8kghyry2-libglvnd-1.6.0 /nix/store/dw7c8v6nmdwkr4lw6ja2w0shqcw1wvw5-gdk-pixbuf-2.42.10 /nix/store/fphvqydy2v2ywbpl559xmn9cbv7ihw27-systemd-minimal-253.6 /nix/store/fqda8lva57mlgcsnf9r4v8vqnq51h5rj-elfutils-0.189 /nix/store/gf3nzgxdgrk83bn7prpm3vjwaxpxwwys-libXfixes-6.0.1 /nix/store/hv0l5aa1nw7qypqwqj43vr2cgczn1653-libepoxy-1.5.10 /nix/store/i8nsmzqzw64p9zzi5s5jr3p2x6mq31s4-libsoup-2.74.3 /nix/store/iaxqd09n8ql7dpjw5amwdkf60fh2bzgw-libjpeg-turbo-2.1.5.1 /nix/store/izifq5zh6b1bnqp4118f5y472rn8vz2b-avahi-0.8 /nix/store/jsxswzdj19wkc7wsam1psblqxq4yraf6-fontconfig-2.14.2-lib /nix/store/kms0pj8x23xi10njj21kl40bpdkmlnxv-cairo-1.16.0 /nix/store/kyc25sd2y4c69m8c3wx5i9vhas4f2jc2-dbus-glib-0.112 /nix/store/lbi0pkyp43idxxj2pm5rv70mmyrdqsmc-tracker-3.5.3 /nix/store/lg4q7dn06j3yrprajix978q93dp7apiw-gnupg-2.4.1 /nix/store/lgchb17fbdy7dq7i39bhd605bjjlm39b-wayland-1.22.0 /nix/store/llwif7rw3hw8ajvkbvqigc8lg6agy51a-openjdk-19.0.2+7 /nix/store/mm252sph4mcfv5z1mls56rmwbpzyijcw-gtk+3-3.24.38 /nix/store/nk7ba7yv3s8s5bdscmsavvb9ghb5aw2z-pixman-0.42.2 /nix/store/npbypfqbspczrvwdcpkcm1mh3af3wvz9-libXcomposite-0.4.6 /nix/store/p366p6wvkh4dp8h5vzjsn5vm9kzhqjr1-gamin-0.1.10 /nix/store/p9p1a067dapy1ahzi0fyc05zmhi9h81x-lvm2-2.03.21-lib /nix/store/pcza8a9hlw3w6ha4im5ypavh1cyad4s4-libXtst-1.2.4 /nix/store/q1rwa6603sqfpgrnac1pwq58p29psx13-libxml2-2.11.4 /nix/store/q95l5p2ca3rka83f9hpvnnk1h0w48lp7-libsoup-3.4.2 /nix/store/qin0j09g3xqyd7gp3vpdcv3j5r4bk0dm-libkrb5-1.20.1 /nix/store/r4qkcsbxakxshadc803vmpk757hcq5y4-libXext-1.3.5 /nix/store/r9cjvrkahbx7rz2d7fp60h56r3vifcyh-gobject-introspection-1.76.1 /nix/store/rh7p405padh4mq00jlkch66j65idmni3-harfbuzz-7.3.0 /nix/store/s2w8n8x0sfsgfga5ywxwd86c4rpm0i0d-libxcb-1.15 /nix/store/sabybrrms75zv55a3nx2qsfyp9h5jbr3-systemd-253.6 /nix/store/sfpk1p4sknqnhlfdlv13kzpvhlwjia16-alsa-lib-1.2.9 /nix/store/sjz7hpp7fllyqhqy0v297kpkan3zqqy7-libargon2-20190702 /nix/store/szl6caz5pvsfdn5n6bvdhiyxx78rlwwg-fontconfig-2.14.2 /nix/store/viq00h2z8lxlpyg7w89y7lsazand1bz2-libXrandr-1.5.3 /nix/store/vzgyz71zc2f7l5ydk5kx8b1rkjv14yyj-tzdata-2023c /nix/store/wlxpsdzfvdanfzh704qmgyzb42qvy4fr-python3-3.10.12 /nix/store/wmx6341i9mqp5awz9n7vm03gr0f8yyil-libXcursor-1.2.1 /nix/store/wsh60dj6ijncll7ynzjb1ls0ggxbxbqg-gnome-vfs-2.24.4 /nix/store/x23rdqb1vvkv7qcmccawfi6symk1dsqp-graphite2-1.3.14 /nix/store/xm2565ghjnvwdbnnah7gf5idlpc17f7g-cups-2.4.6-lib /nix/store/y7rspswp9mydf1p38hdjnvyqa0ra4mrw-libIDL-0.8.14 /nix/store/ybyxzvlhxp38g20rdf0wlivn3s6qcyq2-kmod-30 /nix/store/ynvs70f4k2b1hqrfbi1ayhhj00gpx76p-libXi-1.8.1 /nix/store/z402hw5q56qkbhz2wc8vsqcah1fwy4a7-gsettings-desktop-schemas-44.0 /nix/store/zbr3fjpj8wwnvglnjgjfwfvhkpps21w4-dbus-1.14.8-lib /nix/store/zyyv7l8rjxmzjih9wjbrbc05miilqk5v-bash-interactive-5.2-p15 copying path '/nix/store/5zyhvjaimfsa0vyjp2vajs16d8rk60cy-alsa-ucm-conf-1.2.9' from 'https://cache.nixos.org'... copying path '/nix/store/0iivz0p89zbgwdnxfyy341zn7h0bymv1-dejavu-fonts-minimal-2.37' from 'https://cache.nixos.org'... copying path '/nix/store/3sjadpzp73pdjszi7lsrylzvfv7p2408-giflib-5.2.1' from 'https://cache.nixos.org'... copying path '/nix/store/bxkjfzv01fldw1kb5laq2kqai8iwbzb3-glib-2.76.4' from 'https://cache.nixos.org'... copying path '/nix/store/z402hw5q56qkbhz2wc8vsqcah1fwy4a7-gsettings-desktop-schemas-44.0' from 'https://cache.nixos.org'... copying path '/nix/store/6rv8gix3jyyj8i3h9cwvyxzkw9b1j85z-lcms2-2.15' from 'https://cache.nixos.org'... copying path '/nix/store/iaxqd09n8ql7dpjw5amwdkf60fh2bzgw-libjpeg-turbo-2.1.5.1' from 'https://cache.nixos.org'... copying path '/nix/store/vzgyz71zc2f7l5ydk5kx8b1rkjv14yyj-tzdata-2023c' from 'https://cache.nixos.org'... copying path '/nix/store/5ckj2icmzfpm6kz12fjvw659mz7s3ql7-xkeyboard-config-2.39' from 'https://cache.nixos.org'... copying path '/nix/store/s2w8n8x0sfsgfga5ywxwd86c4rpm0i0d-libxcb-1.15' from 'https://cache.nixos.org'... copying path '/nix/store/q1rwa6603sqfpgrnac1pwq58p29psx13-libxml2-2.11.4' from 'https://cache.nixos.org'... copying path '/nix/store/lgchb17fbdy7dq7i39bhd605bjjlm39b-wayland-1.22.0' from 'https://cache.nixos.org'... building '/nix/store/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv'... copying path '/nix/store/x23rdqb1vvkv7qcmccawfi6symk1dsqp-graphite2-1.3.14' from 'https://cache.nixos.org'... copying path '/nix/store/nk7ba7yv3s8s5bdscmsavvb9ghb5aw2z-pixman-0.42.2' from 'https://cache.nixos.org'... copying path '/nix/store/zyyv7l8rjxmzjih9wjbrbc05miilqk5v-bash-interactive-5.2-p15' from 'https://cache.nixos.org'... copying path '/nix/store/12rfny94457mwv02hmy3qfs2h50ly45k-kbd-2.6.1' from 'https://cache.nixos.org'... copying path '/nix/store/c6zclpi1jmjjr4fdfkbl9hprr8qc7ixk-json-c-0.16' from 'https://cache.nixos.org'... copying path '/nix/store/ybyxzvlhxp38g20rdf0wlivn3s6qcyq2-kmod-30' from 'https://cache.nixos.org'... copying path '/nix/store/szl6caz5pvsfdn5n6bvdhiyxx78rlwwg-fontconfig-2.14.2' from 'https://cache.nixos.org'... copying path '/nix/store/bzb5rvaxn4gd0zbjxlp4l9yyp08b0z7x-kmod-30-lib' from 'https://cache.nixos.org'... copying path '/nix/store/8sm6r7rvqq4kjg2lymjxr1grqibq2iwl-libapparmor-3.1.6' from 'https://cache.nixos.org'... copying path '/nix/store/sjz7hpp7fllyqhqy0v297kpkan3zqqy7-libargon2-20190702' from 'https://cache.nixos.org'... copying path '/nix/store/9i1hi7gxqqp48cgdg1qa22blch8bgmzz-libgcrypt-1.10.2' from 'https://cache.nixos.org'... copying path '/nix/store/qin0j09g3xqyd7gp3vpdcv3j5r4bk0dm-libkrb5-1.20.1' from 'https://cache.nixos.org'... copying path '/nix/store/89nxh2s4k7bpld15pwbfmx10g6d00nx7-libmicrohttpd-0.9.71' from 'https://cache.nixos.org'... copying path '/nix/store/0c03l7sk477qxjjd0jancnfiv0y8hjb7-libnetfilter_conntrack-1.0.9' from 'https://cache.nixos.org'... copying path '/nix/store/16vgvnwf5zypk1qnq8l7kl3nlkbsc07w-libX11-1.8.6' from 'https://cache.nixos.org'... copying path '/nix/store/5gg0q2xckc4sxs2ziyk1ymxhmnxm87i9-libpcap-1.10.4' from 'https://cache.nixos.org'... copying path '/nix/store/4knv2wy1yrl5zk356b43acmbqvpv7dz5-libpsl-0.21.2' from 'https://cache.nixos.org'... copying path '/nix/store/2756xz22x81vzr8bg8ckwplcvgml0i90-libtiff-4.5.1' from 'https://cache.nixos.org'... copying path '/nix/store/61nvfhhm20lndn49cw483nwiv7cqphdw-pcsclite-1.9.5' from 'https://cache.nixos.org'... copying path '/nix/store/lg4q7dn06j3yrprajix978q93dp7apiw-gnupg-2.4.1' from 'https://cache.nixos.org'... copying path '/nix/store/cnnqnc28aqgnbjbnbki9580517i0za1i-curl-8.2.1' from 'https://cache.nixos.org'... copying path '/nix/store/9x302sn3c7yrhpkifrdz2m4rdpwbnqmp-iptables-1.8.9' from 'https://cache.nixos.org'... copying path '/nix/store/fqda8lva57mlgcsnf9r4v8vqnq51h5rj-elfutils-0.189' from 'https://cache.nixos.org'... copying path '/nix/store/bkd7lic3kza3r9f7c8wplzi2x5x68a1l-tpm2-tss-4.0.1' from 'https://cache.nixos.org'... copying path '/nix/store/3ax6q94zjfshlb99c0s5xdk4nqrvji59-dconf-0.40.0-lib' from 'https://cache.nixos.org'... copying path '/nix/store/p366p6wvkh4dp8h5vzjsn5vm9kzhqjr1-gamin-0.1.10' from 'https://cache.nixos.org'... copying path '/nix/store/dw7c8v6nmdwkr4lw6ja2w0shqcw1wvw5-gdk-pixbuf-2.42.10' from 'https://cache.nixos.org'... copying path '/nix/store/rh7p405padh4mq00jlkch66j65idmni3-harfbuzz-7.3.0' from 'https://cache.nixos.org'... copying path '/nix/store/3h02r4lkzabs2lhcl0jm02lv7nddx5li-json-glib-1.6.6' from 'https://cache.nixos.org'... copying path '/nix/store/y7rspswp9mydf1p38hdjnvyqa0ra4mrw-libIDL-0.8.14' from 'https://cache.nixos.org'... copying path '/nix/store/i8nsmzqzw64p9zzi5s5jr3p2x6mq31s4-libsoup-2.74.3' from 'https://cache.nixos.org'... copying path '/nix/store/q95l5p2ca3rka83f9hpvnnk1h0w48lp7-libsoup-3.4.2' from 'https://cache.nixos.org'... copying path '/nix/store/ag8sckp9mnfdpxq0yaqf6jks5w8zlz53-libbpf-1.2.2' from 'https://cache.nixos.org'... copying path '/nix/store/cnac2fds3bxm37x616yrfhmlgdwx401n-ORBit2-2.14.19' from 'https://cache.nixos.org'... copying path '/nix/store/npbypfqbspczrvwdcpkcm1mh3af3wvz9-libXcomposite-0.4.6' from 'https://cache.nixos.org'... copying path '/nix/store/r4qkcsbxakxshadc803vmpk757hcq5y4-libXext-1.3.5' from 'https://cache.nixos.org'... copying path '/nix/store/gf3nzgxdgrk83bn7prpm3vjwaxpxwwys-libXfixes-6.0.1' from 'https://cache.nixos.org'... copying path '/nix/store/ynvs70f4k2b1hqrfbi1ayhhj00gpx76p-libXi-1.8.1' from 'https://cache.nixos.org'... trying https://github.com/leoprover/Leo-III/releases/download/v1.7.0/leo3.jar % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed copying path '/nix/store/sfpk1p4sknqnhlfdlv13kzpvhlwjia16-alsa-lib-1.2.9' from 'https://cache.nixos.org'... copying path '/nix/store/4jpxnkgkp8niawbvcw36pal4yy8j1yf5-libXdamage-1.1.6' from 'https://cache.nixos.org'... copying path '/nix/store/1ww4vgk8lhhrhv700jqkvrd7mpqf0ydh-libXinerama-1.1.5' from 'https://cache.nixos.org'... copying path '/nix/store/bj51ga0wghvwcqkkyzkd0b26m26snss1-libXrender-0.9.11' from 'https://cache.nixos.org'... copying path '/nix/store/pcza8a9hlw3w6ha4im5ypavh1cyad4s4-libXtst-1.2.4' from 'https://cache.nixos.org'... copying path '/nix/store/dpg100y5w38ap2lg0icf63cj8kghyry2-libglvnd-1.6.0' from 'https://cache.nixos.org'... copying path '/nix/store/jsxswzdj19wkc7wsam1psblqxq4yraf6-fontconfig-2.14.2-lib' from 'https://cache.nixos.org'... copying path '/nix/store/wmx6341i9mqp5awz9n7vm03gr0f8yyil-libXcursor-1.2.1' from 'https://cache.nixos.org'... copying path '/nix/store/viq00h2z8lxlpyg7w89y7lsazand1bz2-libXrandr-1.5.3' from 'https://cache.nixos.org'... copying path '/nix/store/01ffckyh4rf782dn3l52dra3xsbdry6j-libXft-2.3.8' from 'https://cache.nixos.org'... 0 9 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 error: cannot download leo3.jar from any mirror error: builder for '/nix/store/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv' failed with exit code 1; last 7 log lines: > > trying https://github.com/leoprover/Leo-III/releases/download/v1.7.0/leo3.jar > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 9 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > curl: (22) The requested URL returned error: 404 > error: cannot download leo3.jar from any mirror For full logs, run 'nix log /nix/store/bvv3clmw1ivvz0hrkl4zm2vf33sb5bkv-leo3.jar.drv'. error: 1 dependencies of derivation '/nix/store/7ak3igx3igc1mcx28f4fnnhgf84gvvwz-leo3-1.7.0.drv' failed to build