==>(B Building on carkol(B ==>(B Checking for remote environment...(B ==>(B Syncing package to remote host...(B sending incremental file list created directory packages/rocq ./ .SRCINFO 1,446 100% 0.00kB/s 0:00:00 1,446 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=8/10) .nvchecker.toml 114 100% 111.33kB/s 0:00:00 114 100% 111.33kB/s 0:00:00 (xfr#2, to-chk=7/10) LICENSE 646 100% 630.86kB/s 0:00:00 646 100% 630.86kB/s 0:00:00 (xfr#3, to-chk=6/10) PKGBUILD 2,477 100% 2.36MB/s 0:00:00 2,477 100% 2.36MB/s 0:00:00 (xfr#4, to-chk=5/10) REUSE.toml 375 100% 366.21kB/s 0:00:00 375 100% 366.21kB/s 0:00:00 (xfr#5, to-chk=4/10) rocq-9.1.1-2.log 741 100% 723.63kB/s 0:00:00 741 100% 723.63kB/s 0:00:00 (xfr#6, to-chk=3/10) rocqide.desktop 176 100% 171.88kB/s 0:00:00 176 100% 171.88kB/s 0:00:00 (xfr#7, to-chk=2/10) LICENSES/ LICENSES/0BSD.txt -> ../LICENSE sent 3,473 bytes received 199 bytes 2,448.00 bytes/sec total size is 5,449 speedup is 1.48 ==>(B Patching arch to riscv64...(B ==>(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(B  ->(B repo: extra(B  ->(B arch: riscv64(B  ->(B worker: felix-0(B ==>(B Building rocq for [extra] (riscv64)(B ]3008;start=5f0fe4523fc340648b6c0239c0854a03;user=felix;hostname=carkol.felixc.at;machineid=ae53a9b327274c6791bafe32c738efc1;bootid=89fafcfb648f4e2eb980c3b4c5807f16;pid=659289;pidfdid=663590;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=86dc916d7f8a4618bfc650adfeb1a609;user=root;hostname=carkol.felixc.at;machineid=ae53a9b327274c6791bafe32c738efc1;bootid=89fafcfb648f4e2eb980c3b4c5807f16;pid=659335;pidfdid=663607;comm=systemd-nspawn;container=arch-nspawn-659335;type=container\]11;?\]2;🔵 Container arch-nspawn-659335 on carkol.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=86dc916d7f8a4618bfc650adfeb1a609\==>(B Building in chroot for [extra] (riscv64)...(B ==>(B Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [felix-0]...(Bdone(B ]3008;start=b7e586e201114673ac10a5e53c59f06e;user=root;hostname=carkol.felixc.at;machineid=ae53a9b327274c6791bafe32c738efc1;bootid=89fafcfb648f4e2eb980c3b4c5807f16;pid=659632;pidfdid=658733;comm=sudo;targetuser=felix;type=session\==>(B Making package: rocq 9.1.1-2 (Mon Sep 28 08:39:12 2026)(B ==>(B Retrieving sources...(B  ->(B Downloading rocq-9.1.1.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 218.9k 0 218.9k 0 0 86893 0 00:02 218.8k 100 2.39M 0 2.39M 0 0 685.4k 0 00:03 1.19M 100 5.75M 0 5.75M 0 0 1.25M 0 00:04 1.91M 100 6.09M 0 6.09M 0 0 1.30M 0 00:04 1.91M 100 6.09M 0 6.09M 0 0 1.30M 0 00:04 1.91M 100 6.09M 0 6.09M 0 0 1.30M 0 00:04 1.91M  ->(B Found rocqide.desktop(B ==>(B Validating source files with b2sums...(B rocq-9.1.1.tar.gz ... Passed rocqide.desktop ... Passed ]3008;end=b7e586e201114673ac10a5e53c59f06e\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=cfc355080379448fb4a1821fef48bf59;user=root;hostname=carkol.felixc.at;machineid=ae53a9b327274c6791bafe32c738efc1;bootid=89fafcfb648f4e2eb980c3b4c5807f16;pid=662496;pidfdid=659334;comm=systemd-nspawn;container=arch-nspawn-662496;type=container\]11;?\]2;🔵 Container arch-nspawn-662496 on carkol.felixc.at\]3008;start=8c8899f6e36548e7a77606d4d666c9ff;user=root;hostname=arch-nspawn-662496;machineid=f3356eac551e4adfb563ec51f4b80e87;bootid=7f1ef5a187e6490297ea0058f2c06a95;pid=14;pidfdid=664561;comm=sudo;targetuser=builduser;type=session\==>(B Making package: rocq 9.1.1-2 (Mon Sep 28 08:40:26 2026)(B ==>(B Checking runtime dependencies...(B ==>(B Checking buildtime dependencies...(B ==>(B Installing missing dependencies...(B ]3008;start=55d7bab4a0994325ac4b52b5383ff2c7;user=builduser;hostname=arch-nspawn-662496;machineid=f3356eac551e4adfb563ec51f4b80e87;bootid=7f1ef5a187e6490297ea0058f2c06a95;pid=2777;pidfdid=668909;comm=sudo;targetuser=root;type=session\[?25lresolving dependencies... looking for conflicting packages... warning: insufficient columns available for table display Packages (102) adwaita-cursors-50.0-1 adwaita-fonts-51.0-2 adwaita-icon-theme-50.0-1 adwaita-icon-theme-legacy-46.2-3 at-spi2-core-2.60.7-1 avahi-1:0.9rc5-1 bubblewrap-0.13.0-1 dav1d-1.5.4-1 dconf-0.49.0-1 default-cursors-3-1 desktop-file-utils-0.28-1 duktape-2.7.0-7 enchant-2.8.21-1 fribidi-1.0.17-1 giflib-6.1.3-2 glib-networking-1:2.80.1-1 glycin-2.1.5-2 gperftools-2.18.1-1 graphite-1:1.3.15-1 gsettings-desktop-schemas-50.1-1 gsettings-system-schemas-50.1-1 gtest-1.18.0-1 gtk-update-icon-cache-1:4.22.5-1 gtkspell3-3.0.10-4 harfbuzz-14.5.0-1 hicolor-icon-theme-0.18-1 highway-1.4.0-1 iso-codes-4.20.1-1 jbigkit-2.1-8 json-glib-1.10.8-1 lcms2-2.19.1-1 libcloudproviders-0.4.1-1 libcolord-1.4.8-1 libcups-2:2.4.19-1 libdaemon-0.14-6 libdatrie-0.2.14-1 libdeflate-1.26-1 libdrm-2.4.134-1 libedit-20260512_3.1-1 libepoxy-1.5.10-3 libglvnd-1.7.0-3 libjpeg-turbo-3.2.0-2 libjxl-0.12.0-1 libpciaccess-0.19-1 libpng-1.6.58-2 libproxy-0.5.12-1 librsvg-2:2.62.3-1 libsoup3-3.6.6-2 libstemmer-3.1.1-1 libthai-0.1.30-1 libtiff-4.7.2-1 libunwind-1.8.3-1 libwebp-1.6.0-2 libx11-1.8.13-1 libxau-1.0.12-1 libxcb-1.17.0-1 libxcomposite-0.4.7-1 libxcursor-1.2.3-1 libxdamage-1.1.7-1 libxdmcp-1.1.5-2 libxext-1.3.7-1 libxfixes-6.0.2-1 libxft-2.3.9-1 libxi-1.8.3-1 libxinerama-1.1.6-1 libxkbcommon-1.13.2-1 libxrandr-1.5.5-1 libxrender-0.9.12-1 libxshmfence-1.3.3-1 libxtst-1.2.5-1 libxxf86vm-1.1.7-1 llvm-libs-22.1.8-2 lm_sensors-1:3.6.2-1 lzo-2.10-5 mesa-1:26.2.3-1 ocaml-cairo-0.6.5-6 ocaml-compiler-libs-5.5.0-1 ocaml-csexp-1.5.2-10 ocaml-pp-2.0.0-6 ocaml-re-1.14.0-3 ocaml-result-1.5-17 pixman-0.46.4-1 shared-mime-info-2.5.1-2 spirv-tools-1:1.4.357.0-1 tinysparql-3.11.1-1 wayland-1.26.0-1 xcb-proto-1.17.0-4 xkeyboard-config-2.48-1 xorg-xprop-1.2.8-1 xorgproto-2025.1-1 cairo-1.18.6-1 dune-3.24.2-1 fontconfig-2:2.18.3-2 freetype2-2.14.3-1 gdk-pixbuf2-2.44.7-1 gtk3-1:3.24.52-1 gtksourceview3-1:3.24.11+r30+gd880929f-1 lablgtk3-3.1.5-2 ocaml-5.5.0-1 ocaml-findlib-1.9.8-7 ocaml-zarith-1.14-9 pango-1:1.58.2-1 Total Download Size: 35.28 MiB Total Installed Size: 878.17 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... dune-3.24.2-1-riscv64 downloading... lablgtk3-3.1.5-2-riscv64 downloading... ocaml-re-1.14.0-3-riscv64 downloading... ocaml-findlib-1.9.8-7-riscv64 downloading... cairo-1.18.6-1-riscv64 downloading... gtksourceview3-1:3.24.11+r30+gd880929f-1-riscv64 downloading... ocaml-cairo-0.6.5-6-riscv64 downloading... ocaml-csexp-1.5.2-10-riscv64 downloading... ocaml-pp-2.0.0-6-riscv64 downloading... fribidi-1.0.17-1-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 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 ocaml... Optional dependencies for ocaml ncurses: advanced ncurses features [installed] tk: advanced tk features installing ocaml-compiler-libs... installing ocaml-findlib... installing ocaml-result... installing ocaml-csexp... installing ocaml-pp... installing ocaml-re... installing dune... installing bubblewrap... installing libjpeg-turbo... installing jbigkit... installing libdeflate... installing libwebp... Optional dependencies for libwebp libwebp-utils: WebP conversion and inspection tools installing libtiff... Optional dependencies for libtiff freeglut: for using tiffgt installing lcms2... installing giflib... installing libunwind... installing gperftools... installing gtest... Optional dependencies for gtest python: gmock generator [installed] installing highway... installing libjxl... Optional dependencies for libjxl java-runtime: for JNI bindings installing dav1d... Optional dependencies for dav1d dav1d-doc: HTML documentation installing graphite... Optional dependencies for graphite graphite-docs: Documentation installing harfbuzz... Optional dependencies for harfbuzz harfbuzz-utils: utilities installing fribidi... installing libdatrie... installing libthai... installing libxft... installing pango... installing librsvg... installing glycin... Optional dependencies for glycin libheif: Load .avif, .heic and .heif installing shared-mime-info... installing gdk-pixbuf2... Optional dependencies for gdk-pixbuf2 libheif: Load .avif, .heic and .heif libopenraw: Load .arw, .cr2, .crw, .dng, .erf, .mrw, .nef, .orf, .pef and .raf libwmf: Load .apm and .wmf installing adwaita-fonts... installing hicolor-icon-theme... installing adwaita-icon-theme-legacy... installing adwaita-cursors... installing adwaita-icon-theme... installing dconf... installing gsettings-system-schemas... installing gsettings-desktop-schemas... installing libxfixes... installing libxi... installing libxtst... installing xorg-xprop... installing at-spi2-core... installing desktop-file-utils... installing iso-codes... installing libcloudproviders... installing libcolord... installing libdaemon... installing avahi... Optional dependencies for avahi gtk3: avahi-discover, avahi-discover-standalone, bshell, bssh, bvnc [pending] libevent: libevent bindings [installed] nss-mdns: NSS support for mDNS python-dbus: avahi-bookmarks, avahi-discover python-gobject: avahi-bookmarks, avahi-discover python-twisted: avahi-bookmarks installing libcups... installing libpciaccess... installing libdrm... Optional dependencies for libdrm cairo: needed for modetest tool [installed] installing libxshmfence... installing libxxf86vm... installing libedit... installing llvm-libs... installing lm_sensors... Optional dependencies for lm_sensors rrdtool: for logging with sensord perl: for sensor detection and configuration convert [installed] installing spirv-tools... installing default-cursors... Optional dependencies for default-cursors adwaita-cursors: default cursor theme [installed] installing wayland... installing mesa... Optional dependencies for mesa opengl-man-pages: for the OpenGL API man pages installing libglvnd... installing libepoxy... installing libxcomposite... installing libxcursor... installing libxdamage... installing libxinerama... installing xkeyboard-config... installing libxkbcommon... Optional dependencies for libxkbcommon libxkbcommon-x11: xkbcli interactive-x11 wayland: xkbcli interactive-wayland [installed] installing libxrandr... installing json-glib... installing duktape... installing libproxy... installing glib-networking... installing libsoup3... Optional dependencies for libsoup3 samba: Windows Domain SSO installing libstemmer... installing tinysparql... installing gtk-update-icon-cache... installing gtk3... Optional dependencies for gtk3 evince: Default print preview command installing gtksourceview3... installing enchant... Optional dependencies for enchant aspell: for aspell based spell checking support hspell: for hspell based spell checking support hunspell: for hunspell based spell checking support libvoikko: for libvoikko based spell checking support nuspell: for nuspell based spell checking support installing gtkspell3... installing ocaml-cairo... installing lablgtk3... Optional dependencies for lablgtk3 ocaml: for using the tools [installed] installing ocaml-zarith... :: Running post-transaction hooks... ( 1/13) Creating system user accounts... Creating group 'avahi' with GID 968. Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 968 and GID 968. ( 2/13) Reloading system manager configuration... Skipped: Current root is not booted. ( 3/13) Reloading user manager configuration... Skipped: Current root is not booted. ( 4/13) Updating the MIME type database... ( 5/13) Arming ConditionNeedsUpdate... ( 6/13) Updating fontconfig configuration... ( 7/13) Reloading system bus configuration... Skipped: Current root is not booted. ( 8/13) Updating fontconfig cache... ( 9/13) Updating GIO module cache... (10/13) Compiling GSettings XML schema files... (11/13) Probing GTK3 input method modules... (12/13) Updating icon theme caches... (13/13) Updating the desktop file MIME type cache... [?25h]3008;end=55d7bab4a0994325ac4b52b5383ff2c7\==>(B Retrieving sources...(B  ->(B Found rocq-9.1.1.tar.gz(B  ->(B Found rocqide.desktop(B ==> WARNING:(B Skipping all source file integrity checks.(B ==>(B Extracting sources...(B  ->(B Extracting rocq-9.1.1.tar.gz with bsdtar(B ==>(B Starting build()...(B File "dune-project", line 8, characters 0-15: 8 | (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=8c8899f6e36548e7a77606d4d666c9ff\[!p]104\[?7h]3008;end=cfc355080379448fb4a1821fef48bf59\==> ERROR:(B Build failed, check /var/lib/archbuild/extra-riscv64/felix-0/build(B [?12l[?25h[?12l[?25h]3008;end=5f0fe4523fc340648b6c0239c0854a03\[?12l[?25hreceiving incremental file list rocq-9.1.1-2-riscv64-build.log sent 43 bytes received 377 bytes 280.00 bytes/sec total size is 364 speedup is 0.87