==> Building on electivire ==> Checking for remote environment... ==> Syncing package to remote host... 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 779 100% 760.74kB/s 0:00:00 779 100% 760.74kB/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,463 bytes received 199 bytes 7,324.00 bytes/sec total size is 5,441 speedup is 1.49 ==> Patching arch to riscv64... ==> Running pkgctl build --arch riscv64 on remote host... ==> WARNING: invalid architecture: riscv64 ==> Updating pacman database cache [?25l:: Synchronizing package databases... core downloading... extra downloading... multilib downloading... [?25h==> Building rocq -> repo: extra -> arch: riscv64 -> worker: felix-1 ==> Building rocq for [extra] (riscv64) 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. [?25l:: Synchronizing package databases... core downloading... extra downloading... :: Starting full system upgrade... there is nothing to do [?25h==> Building in chroot for [extra] (riscv64)... ==> Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [felix-1]...done ==> Making package: rocq 9.1.1-2 (Mon Sep 7 02:45:07 2026) ==> Retrieving sources...  -> Downloading rocq-9.1.1.tar.gz... % 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 0 100 5.47M 0 5.47M 0 0 3.59M 0 00:01 5.48M 100 6.09M 0 6.09M 0 0 3.71M 0 00:01 5.48M 100 6.09M 0 6.09M 0 0 3.71M 0 00:01 5.48M 100 6.09M 0 6.09M 0 0 3.71M 0 00:01 5.48M  -> Found rocqide.desktop ==> Validating source files with b2sums... rocq-9.1.1.tar.gz ... Passed rocqide.desktop ... Passed 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. ==> Making package: rocq 9.1.1-2 (Sun Sep 6 18:45:42 2026) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Installing missing dependencies... [?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.6-1 avahi-1:0.9rc5-1 bubblewrap-0.12.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.19-1 fribidi-1.0.16-2 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.4-1 gtkspell3-3.0.10-4 harfbuzz-14.4.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.2-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.4-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: 26.37 MiB Total Installed Size: 877.89 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... lablgtk3-3.1.5-2-riscv64 downloading... iso-codes-4.20.1-1-any downloading... adwaita-fonts-51.0-2-any downloading... adwaita-icon-theme-legacy-46.2-3-any downloading... xkeyboard-config-2.48-1-any downloading... gsettings-desktop-schemas-50.1-1-any downloading... ocaml-zarith-1.14-9-riscv64 downloading... ocaml-cairo-0.6.5-6-riscv64 downloading... adwaita-cursors-50.0-1-any downloading... xorgproto-2025.1-1-any downloading... adwaita-icon-theme-50.0-1-any downloading... xcb-proto-1.17.0-4-any downloading... hicolor-icon-theme-0.18-1-any downloading... gsettings-system-schemas-50.1-1-any downloading... default-cursors-3-1-any 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==> Retrieving sources...  -> Found rocq-9.1.1.tar.gz  -> Found rocqide.desktop ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources...  -> Extracting rocq-9.1.1.tar.gz with bsdtar ==> Starting build()... 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: A failure occurred in build().  Aborting... ==> ERROR: Build failed, check /var/lib/archbuild/extra-riscv64/felix-1/build receiving incremental file list rocq-9.1.1-2-riscv64-build.log sent 43 bytes received 375 bytes 278.67 bytes/sec total size is 358 speedup is 0.86