==>(B Building on scovillain(B ==>(B Checking for remote environment...(B ==>(B Syncing package to remote host...(B sending incremental file list created directory packages/rocq-stdlib ./ .SRCINFO 617 100% 0.00kB/s 0:00:00 617 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=7/9) .nvchecker.toml 123 100% 120.12kB/s 0:00:00 123 100% 120.12kB/s 0:00:00 (xfr#2, to-chk=6/9) LICENSE 646 100% 630.86kB/s 0:00:00 646 100% 630.86kB/s 0:00:00 (xfr#3, to-chk=5/9) PKGBUILD 849 100% 829.10kB/s 0:00:00 849 100% 829.10kB/s 0:00:00 (xfr#4, to-chk=4/9) REUSE.toml 375 100% 366.21kB/s 0:00:00 375 100% 366.21kB/s 0:00:00 (xfr#5, to-chk=3/9) rocq-stdlib-9.1.0-2.log 748 100% 730.47kB/s 0:00:00 748 100% 730.47kB/s 0:00:00 (xfr#6, to-chk=2/9) LICENSES/ LICENSES/0BSD.txt -> ../LICENSE sent 2,430 bytes received 187 bytes 1,744.67 bytes/sec total size is 2,829 speedup is 1.08 ==>(B Running pkgctl build --arch riscv64 on remote host...(B ==> WARNING:(B invalid architecture: riscv64(B ==>(B Updating pacman database cache(B [?25l:: Synchronizing package databases... core downloading... extra downloading... multilib downloading... [?25h==>(B Building rocq-stdlib(B  ->(B repo: extra(B  ->(B arch: riscv64(B  ->(B worker: felix-2(B ==>(B Building rocq-stdlib for [extra] (riscv64)(B ]3008;start=c4515952526e4840b3e6d074ec292001;user=felix;hostname=scovillain.felixc.at;machineid=5bc7e45048834d3a82e1c93a2f026cc1;bootid=7ff9207efb484e4ea9372c004b9ad28e;pid=404713;comm=sudo;targetuser=root;type=session\Note: in a future version of systemd-nspawn the default set of permitted socket address families will be restricted to AF_INET, AF_INET6 and AF_UNIX. Use --restrict-address-families= to configure the set of permitted socket address families, or set RestrictAddressFamilies= in a .nspawn file. ]3008;start=47538e259c6d4621a8f2255f78a949e4;user=root;hostname=scovillain.felixc.at;machineid=5bc7e45048834d3a82e1c93a2f026cc1;bootid=7ff9207efb484e4ea9372c004b9ad28e;pid=404761;comm=systemd-nspawn;container=arch-nspawn-404761;type=container\]11;?\]2;🔵 Container arch-nspawn-404761 on scovillain.felixc.at\[?25l:: Synchronizing package databases... core downloading... extra downloading... :: Starting full system upgrade... there is nothing to do [?25h[!p]104\[?7h]3008;end=47538e259c6d4621a8f2255f78a949e4\==>(B Building in chroot for [extra] (riscv64)...(B ==>(B Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [felix-2]...(Bdone(B ]3008;start=96e19132827942088cdc7a245bfed473;user=root;hostname=scovillain.felixc.at;machineid=5bc7e45048834d3a82e1c93a2f026cc1;bootid=7ff9207efb484e4ea9372c004b9ad28e;pid=405161;comm=sudo;targetuser=felix;type=session\==>(B Making package: rocq-stdlib 9.1.0-2 (Mon Sep 28 10:24:18 2026)(B ==>(B Retrieving sources...(B  ->(B Downloading rocq-stdlib-9.1.0.tar.gz...(B % 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00:01 0 100 232.0k 0 232.0k 0 0 85994 0 00:02 229.7k 100 1.77M 0 1.77M 0 0 559.1k 0 00:03 229.7k 100 1.77M 0 1.77M 0 0 559.0k 0 00:03 229.7k 100 1.77M 0 1.77M 0 0 558.9k 0 00:03 229.7k ==>(B Validating source files with b2sums...(B rocq-stdlib-9.1.0.tar.gz ... Passed ]3008;end=96e19132827942088cdc7a245bfed473\Note: in a future version of systemd-nspawn the default set of permitted socket address families will be restricted to AF_INET, AF_INET6 and AF_UNIX. Use --restrict-address-families= to configure the set of permitted socket address families, or set RestrictAddressFamilies= in a .nspawn file. ]3008;start=39eb1f83814845d8bbc305cff2fa8138;user=root;hostname=scovillain.felixc.at;machineid=5bc7e45048834d3a82e1c93a2f026cc1;bootid=7ff9207efb484e4ea9372c004b9ad28e;pid=406166;comm=systemd-nspawn;container=makechrootpkg-rocq-stdlib.build.404734;type=container\]11;?\]2;🔵 Container makechrootpkg-rocq-stdlib.build.404734 on scovillain.felixc.at\]3008;start=fbd2973d471546039792f440c280de95;user=root;hostname=makechrootpkg-rocq-stdlib.build.404734;machineid=f7ddc4a20a754cfcac5123f2ba16e0f3;bootid=02e097a5b7ae4a3b90f99aeb9cb5b163;pid=14;comm=sudo;targetuser=builduser;type=session\==>(B Making package: rocq-stdlib 9.1.0-2 (Mon Sep 28 10:24:55 2026)(B ==>(B Checking runtime dependencies...(B ==>(B Installing missing dependencies...(B ]3008;start=3db7bb15d1c44ace85f84c9b9accc9ca;user=builduser;hostname=makechrootpkg-rocq-stdlib.build.404734;machineid=f7ddc4a20a754cfcac5123f2ba16e0f3;bootid=02e097a5b7ae4a3b90f99aeb9cb5b163;pid=884;comm=sudo;targetuser=root;type=session\[?25lresolving dependencies... looking for conflicting packages... Package (4) New Version Net Change Download Size extra/ocaml 5.5.0-1 207.93 MiB extra/ocaml-compiler-libs 5.5.0-1 111.19 MiB extra/ocaml-findlib 1.9.8-7 6.14 MiB extra/rocq 9.1.1-2 458.22 MiB 160.24 MiB Total Download Size: 160.24 MiB Total Installed Size: 783.48 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... rocq-9.1.1-2-riscv64 downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing ocaml... Optional dependencies for ocaml ncurses: advanced ncurses features [installed] tk: advanced tk features installing ocaml-compiler-libs... installing ocaml-findlib... installing rocq... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... [?25h]3008;end=3db7bb15d1c44ace85f84c9b9accc9ca\==>(B Checking buildtime dependencies...(B ==>(B Installing missing dependencies...(B ]3008;start=7f019c2cd9d64a24ab246a7f113c0680;user=builduser;hostname=makechrootpkg-rocq-stdlib.build.404734;machineid=f7ddc4a20a754cfcac5123f2ba16e0f3;bootid=02e097a5b7ae4a3b90f99aeb9cb5b163;pid=939;comm=sudo;targetuser=root;type=session\[?25lresolving dependencies... looking for conflicting packages... Package (27) New Version Net Change Download Size extra/cairo 1.18.6-1 1.59 MiB extra/fontconfig 2:2.18.3-2 1.28 MiB extra/freetype2 2.14.3-1 1.61 MiB extra/fribidi 1.0.17-1 0.25 MiB extra/graphite 1:1.3.15-1 0.18 MiB extra/harfbuzz 14.5.0-1 4.81 MiB extra/libdatrie 0.2.14-1 0.48 MiB extra/libpng 1.6.58-2 0.54 MiB extra/libthai 0.1.30-1 1.24 MiB extra/libx11 1.8.13-1 9.75 MiB extra/libxau 1.0.12-1 0.02 MiB extra/libxcb 1.17.0-1 3.69 MiB extra/libxdmcp 1.1.5-2 0.13 MiB extra/libxext 1.3.7-1 0.30 MiB extra/libxft 2.3.9-1 0.12 MiB extra/libxrender 0.9.12-1 0.09 MiB core/lzo 2.10-5 0.34 MiB extra/ocaml-csexp 1.5.2-10 0.31 MiB 0.15 MiB extra/ocaml-pp 2.0.0-6 0.37 MiB 0.14 MiB extra/ocaml-re 1.14.0-3 5.70 MiB 2.04 MiB extra/ocaml-result 1.5-17 0.04 MiB 0.02 MiB extra/pixman 0.46.4-1 0.48 MiB extra/xcb-proto 1.17.0-4 1.03 MiB extra/xorgproto 2025.1-1 1.47 MiB extra/dune 3.24.2-1 48.82 MiB 15.19 MiB extra/ocaml-zarith 1.14-9 1.39 MiB 0.49 MiB extra/pango 1:1.58.2-1 2.37 MiB Total Download Size: 18.03 MiB Total Installed Size: 88.39 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... dune-3.24.2-1-riscv64 downloading... ocaml-re-1.14.0-3-riscv64 downloading... ocaml-zarith-1.14-9-riscv64 downloading... ocaml-csexp-1.5.2-10-riscv64 downloading... ocaml-pp-2.0.0-6-riscv64 downloading... ocaml-result-1.5-17-riscv64 downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing ocaml-result... installing ocaml-csexp... installing ocaml-pp... installing ocaml-re... installing dune... installing ocaml-zarith... installing libpng... installing freetype2... Optional dependencies for freetype2 harfbuzz: Improved autohinting [pending] installing fontconfig... Creating fontconfig configuration... Rebuilding fontconfig cache... installing xcb-proto... installing xorgproto... installing libxdmcp... installing libxau... installing libxcb... installing libx11... installing libxext... installing libxrender... installing lzo... installing pixman... installing cairo... installing fribidi... installing graphite... Optional dependencies for graphite graphite-docs: Documentation installing harfbuzz... Optional dependencies for harfbuzz harfbuzz-utils: utilities installing libdatrie... installing libthai... installing libxft... installing pango... :: Running post-transaction hooks... (1/3) Arming ConditionNeedsUpdate... (2/3) Updating fontconfig configuration... (3/3) Updating fontconfig cache... [?25h]3008;end=7f019c2cd9d64a24ab246a7f113c0680\==>(B Retrieving sources...(B  ->(B Found rocq-stdlib-9.1.0.tar.gz(B ==> WARNING:(B Skipping all source file integrity checks.(B ==>(B Extracting sources...(B  ->(B Extracting rocq-stdlib-9.1.0.tar.gz with bsdtar(B ==>(B Starting build()...(B File "dune-project", line 7, characters 0-15: 7 | (using coq 0.8) ^^^^^^^^^^^^^^^ Error: Extension coq was deleted in the 3.24 version of the dune language Hint: The Coq Build Language has been replaced by the Rocq Build Language. Use (using rocq ) instead. ==> ERROR:(B A failure occurred in build().(B  Aborting...(B ]3008;end=fbd2973d471546039792f440c280de95\[!p]104\[?7h]3008;end=39eb1f83814845d8bbc305cff2fa8138\==> ERROR:(B Build failed, check /var/lib/archbuild/extra-riscv64/felix-2/build(B [?12l[?25h[?12l[?25h]3008;end=c4515952526e4840b3e6d074ec292001\[?12l[?25hreceiving incremental file list rocq-stdlib-9.1.0-2-riscv64-build.log sent 43 bytes received 384 bytes 170.80 bytes/sec total size is 364 speedup is 0.85