==> Building on P ==> Checking for remote environment... ==> Syncing package to remote host... sending incremental file list created directory packages/coq ./ PKGBUILD 4,338 100% 0.00kB/s 0:00:00 4,338 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=0/2) sent 1,886 bytes received 73 bytes 1,306.00 bytes/sec total size is 4,338 speedup is 2.21 ==> Patching arch to riscv64... ==> Running extra-riscv64-build -- -d /home/felix/packages/riscv64-pkg-cache:/var/cache/pacman/pkg -l felix26 on remote host... [?25l:: Synchronizing package databases... core downloading... extra downloading... community 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] -> [felix26]...done ==> Making package: coq 8.15.0-1 (Fri Feb 18 23:11:50 2022) ==> Retrieving sources...  -> Downloading coq-8.15.0.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 100 126 100 126 0 0 551 0 --:--:-- --:--:-- --:--:-- 552 100 2480k 0 2480k 0 0 3046k 0 --:--:-- --:--:-- --:--:-- 3046k 100 7046k 0 7046k 0 0 4201k 0 --:--:-- 0:00:01 --:--:-- 5290k ==> Validating source files with sha512sums... coq-8.15.0.tar.gz ... Passed ==> Making package: coq 8.15.0-1 (Fri 18 Feb 2022 11:12:47 PM CET) ==> Checking runtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... warning: dependency cycle detected: warning: harfbuzz will be installed before its freetype2 dependency warning: dependency cycle detected: warning: libglvnd will be installed before its mesa dependency Package (99) New Version Net Change Download Size extra/adobe-source-code-pro-fonts 2.038ro+1.058it+1.018var-1 1.86 MiB extra/adwaita-icon-theme 41.0-1 22.41 MiB core/argon2 20190702-4 0.08 MiB extra/at-spi2-atk 2.38.0-1 0.17 MiB extra/at-spi2-core 2.42.0-1 2.17 MiB extra/atk 2.36.0-1 3.54 MiB extra/avahi 0.8+22+gfd482a7-3 1.70 MiB extra/cairo 1.17.4-5 1.35 MiB extra/cantarell-fonts 1:0.303.1-1 0.19 MiB core/cryptsetup 2.4.3-2 2.24 MiB core/dbus 1.12.20-1 0.72 MiB extra/dconf 0.40.0-1 0.42 MiB extra/desktop-file-utils 0.26-1 0.17 MiB core/device-mapper 2.03.15-1 0.74 MiB extra/fontconfig 2:2.13.96-1 0.97 MiB extra/freetype2 2.11.1-1 1.44 MiB extra/fribidi 1.0.11-1 0.20 MiB extra/gdk-pixbuf2 2.42.6-2 2.91 MiB extra/glib-networking 1:2.70.1-1 0.55 MiB extra/graphite 1:1.3.14-1 0.16 MiB extra/gsettings-desktop-schemas 41.0-1 4.60 MiB extra/gtk-update-icon-cache 1:4.4.1-1 0.03 MiB extra/harfbuzz 3.4.0-1 5.18 MiB extra/hicolor-icon-theme 0.17-2 0.05 MiB core/hwdata 0.356-1 1.98 MiB core/iptables 1:1.8.7-1 1.62 MiB extra/iso-codes 4.9.0-1 18.17 MiB core/json-c 0.15-3 0.15 MiB extra/json-glib 1.6.6-1 0.91 MiB core/kbd 2.4.0-2 2.77 MiB core/kmod 29-1 0.21 MiB extra/lcms2 2.13.1-1 0.58 MiB extra/libcloudproviders 0.3.1-2 0.46 MiB extra/libcolord 1.4.6-1 1.20 MiB extra/libcups 1:2.4.1-1 0.74 MiB extra/libdaemon 0.14-5 0.05 MiB extra/libdatrie 0.2.13-1 0.05 MiB extra/libdrm 2.4.109-1 0.77 MiB core/libedit 20210910_3.1-1 0.23 MiB extra/libepoxy 1.5.9-1 3.17 MiB extra/libglvnd 1.4.0-1 3.69 MiB extra/libjpeg-turbo 2.1.2-1 1.37 MiB core/libmnl 1.0.4-3 0.05 MiB core/libnetfilter_conntrack 1.0.8-1 0.12 MiB core/libnfnetlink 1.0.1-4 0.03 MiB core/libnftnl 1.2.1-1 0.22 MiB core/libnl 3.5.0-3 1.65 MiB extra/libomxil-bellagio 0.9.3-3 0.53 MiB core/libpcap 1.10.1-1 0.53 MiB extra/libpciaccess 0.16-2 0.05 MiB extra/libpng 1.6.37-3 0.46 MiB extra/libproxy 0.4.17-6 0.23 MiB extra/librsvg 2:2.52.5-1 12.99 MiB extra/libsoup 2.74.2-2 4.85 MiB extra/libsoup3 3.0.4-2 3.53 MiB extra/libstemmer 2.2.0-1 0.78 MiB extra/libthai 0.1.29-1 0.64 MiB extra/libtiff 4.3.0-1 2.54 MiB extra/libunwind 1.6.2-1 0.21 MiB core/libusb 1.0.25-2 0.18 MiB extra/libx11 1.7.3.1-1 10.00 MiB extra/libxau 1.0.9-3 0.02 MiB extra/libxcb 1.14-1 36.12 MiB extra/libxcomposite 0.4.5-3 0.02 MiB extra/libxcursor 1.2.0-2 0.05 MiB extra/libxdamage 1.1.5-3 0.01 MiB extra/libxdmcp 1.1.3-3 0.29 MiB extra/libxext 1.3.4-3 0.58 MiB extra/libxfixes 6.0.0-1 0.03 MiB extra/libxft 2.3.4-1 0.09 MiB extra/libxi 1.8-1 0.46 MiB extra/libxinerama 1.1.4-3 0.02 MiB extra/libxkbcommon 1.4.0-1 0.70 MiB extra/libxrandr 1.5.2-3 0.05 MiB extra/libxrender 0.9.10-4 0.06 MiB extra/libxshmfence 1.3-2 0.01 MiB extra/libxtst 1.2.3-4 0.26 MiB extra/libxxf86vm 1.1.4-4 0.03 MiB extra/llvm-libs 13.0.1-1 85.70 MiB extra/lm_sensors 1:3.6.0.r41.g31d1f125-1 0.42 MiB core/lzo 2.10-3 0.34 MiB extra/mesa 21.3.5-1 64.82 MiB extra/pango 1:1.50.4-1 2.17 MiB extra/pixman 0.40.0-1 0.36 MiB core/popt 1.18-3 0.53 MiB extra/rest 0.8.1+r4+ge5ee6ef-1 0.83 MiB extra/shared-mime-info 2.0+115+gd74a913-1 4.39 MiB core/systemd 250.3-4 25.81 MiB extra/tracker3 3.2.1-2 2.87 MiB extra/vulkan-icd-loader 1.2.203-1 0.39 MiB extra/wayland 1.20.0-1 0.73 MiB extra/xcb-proto 1.14.1-5 0.82 MiB extra/xkeyboard-config 2.35.1-1 6.44 MiB extra/xorgproto 2021.5-1 1.43 MiB extra/gtk3 1:3.24.31-3 47.75 MiB extra/gtksourceview3 3.24.11+28+g73e57b57-1 5.79 MiB extra/ocaml 4.13.1-1 301.42 MiB community/ocaml-num 1.4-4 1.56 MiB 0.32 MiB community/ocaml-zarith 1.12-2 0.74 MiB 0.14 MiB Total Download Size: 0.47 MiB Total Installed Size: 725.66 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... ocaml-num-1.4-4-riscv64 downloading... ocaml-zarith-1.12-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-num... installing ocaml-zarith... installing atk... installing lzo... installing libpng... installing graphite... installing harfbuzz... Optional dependencies for harfbuzz cairo: hb-view program [pending] chafa: hb-view program installing freetype2... installing fontconfig... Creating fontconfig configuration... Rebuilding fontconfig cache... installing xcb-proto... installing libxdmcp... installing libxau... installing libxcb... installing xorgproto... installing libx11... installing libxext... installing libxrender... installing pixman... installing cairo... installing libxfixes... installing libxcursor... Optional dependencies for libxcursor gnome-themes-standard: fallback icon theme installing libxinerama... installing libxrandr... installing libxi... installing libepoxy... installing libjpeg-turbo... Optional dependencies for libjpeg-turbo java-runtime>11: for TurboJPEG Java wrapper installing libtiff... Optional dependencies for libtiff freeglut: for using tiffgt installing shared-mime-info... installing gdk-pixbuf2... Optional dependencies for gdk-pixbuf2 libwmf: Load .wmf and .apm libopenraw: Load .dng, .cr2, .crw, .nef, .orf, .pef, .arw, .erf, .mrw, and .raf libavif: Load .avif libheif: Load .heif, .heic, and .avif librsvg: Load .svg, .svgz, and .svg.gz [pending] webp-pixbuf-loader: Load .webp installing dconf... installing libxcomposite... installing libxdamage... installing libdatrie... installing libthai... installing libxft... installing fribidi... installing pango... installing dbus... installing libxtst... installing at-spi2-core... Optional dependencies for at-spi2-core dbus-broker: Alternative bus implementation installing at-spi2-atk... installing wayland... installing xkeyboard-config... installing libxkbcommon... Optional dependencies for libxkbcommon libxkbcommon-x11: xkbcli interactive-x11 wayland: xkbcli interactive-wayland [installed] installing hicolor-icon-theme... installing librsvg... installing gtk-update-icon-cache... installing adwaita-icon-theme... installing json-glib... installing desktop-file-utils... installing libpciaccess... installing libdrm... installing libxxf86vm... installing libxshmfence... installing libomxil-bellagio... installing libunwind... 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 libglvnd... installing vulkan-icd-loader... Optional dependencies for vulkan-icd-loader vulkan-driver: packaged vulkan driver installing mesa... Optional dependencies for mesa opengl-man-pages: for the OpenGL API man pages mesa-vdpau: for accelerated video playback libva-mesa-driver: for accelerated video playback installing cantarell-fonts... installing lcms2... installing device-mapper... installing popt... installing json-c... installing argon2... installing cryptsetup... installing libmnl... installing libnftnl... installing libnl... installing libpcap... installing libnfnetlink... installing libnetfilter_conntrack... installing iptables... installing kbd... installing kmod... installing hwdata... installing systemd... warning: directory permissions differ on /var/log/journal/ filesystem: 755 package: 2755 Creating group 'sys' with GID 3. Creating group 'mem' with GID 8. Creating group 'ftp' with GID 11. Creating group 'mail' with GID 12. Creating group 'log' with GID 19. Creating group 'smmsp' with GID 25. Creating group 'proc' with GID 26. Creating group 'games' with GID 50. Creating group 'lock' with GID 54. Creating group 'network' with GID 90. Creating group 'floppy' with GID 94. Creating group 'scanner' with GID 96. Creating group 'power' with GID 98. Creating group 'nobody' with GID 65534. Creating group 'adm' with GID 999. Creating group 'wheel' with GID 998. Creating group 'utmp' with GID 997. Creating group 'audio' with GID 996. Creating group 'disk' with GID 995. Creating group 'input' with GID 994. Creating group 'kmem' with GID 993. Creating group 'kvm' with GID 992. Creating group 'lp' with GID 991. Creating group 'optical' with GID 990. Creating group 'render' with GID 989. Creating group 'sgx' with GID 988. Creating group 'storage' with GID 987. Creating group 'tty' with GID 5. Creating group 'uucp' with GID 986. Creating group 'video' with GID 985. Creating group 'users' with GID 984. Creating group 'systemd-journal' with GID 983. Creating group 'rfkill' with GID 982. Creating group 'bin' with GID 1. Creating user 'bin' (n/a) with UID 1 and GID 1. Creating group 'daemon' with GID 2. Creating user 'daemon' (n/a) with UID 2 and GID 2. Creating user 'mail' (n/a) with UID 8 and GID 12. Creating user 'ftp' (n/a) with UID 14 and GID 11. Creating group 'http' with GID 33. Creating user 'http' (n/a) with UID 33 and GID 33. Creating user 'nobody' (Nobody) with UID 65534 and GID 65534. Creating group 'dbus' with GID 81. Creating user 'dbus' (System Message Bus) with UID 81 and GID 81. Creating group 'systemd-coredump' with GID 981. Creating user 'systemd-coredump' (systemd Core Dumper) with UID 981 and GID 981. Creating group 'systemd-network' with GID 980. Creating user 'systemd-network' (systemd Network Management) with UID 980 and GID 980. Creating group 'systemd-oom' with GID 979. Creating user 'systemd-oom' (systemd Userspace OOM Killer) with UID 979 and GID 979. Creating group 'systemd-journal-remote' with GID 978. Creating user 'systemd-journal-remote' (systemd Journal Remote) with UID 978 and GID 978. Creating group 'systemd-resolve' with GID 977. Creating user 'systemd-resolve' (systemd Resolver) with UID 977 and GID 977. Creating group 'systemd-timesync' with GID 976. Creating user 'systemd-timesync' (systemd Time Synchronization) with UID 976 and GID 976. Creating group 'uuidd' with GID 68. Creating user 'uuidd' (n/a) with UID 68 and GID 68. Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service → /usr/lib/systemd/system/getty@.service. Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target → /usr/lib/systemd/system/remote-fs.target. Optional dependencies for systemd libmicrohttpd: remote journald capabilities quota-tools: kernel-level quota management systemd-sysvcompat: symlink package to provide sysvinit binaries polkit: allow administration as unprivileged user curl: machinectl pull-tar and pull-raw [installed] libfido2: unlocking LUKS2 volumes with FIDO2 token installing libcolord... installing libproxy... Optional dependencies for libproxy networkmanager: NetworkManager configuration module perl: Perl bindings [installed] python: Python 3.x bindings libproxy-webkit: PAC proxy support (via WebKit) installing adobe-source-code-pro-fonts... installing gsettings-desktop-schemas... installing glib-networking... installing libsoup... Optional dependencies for libsoup samba: Windows Domain SSO installing rest... installing libdaemon... installing avahi... Optional dependencies for avahi gtk3: avahi-discover, avahi-discover-standalone, bshell, bssh, bvnc [pending] qt5-base: qt5 bindings libevent: libevent bindings nss-mdns: NSS support for mDNS python-twisted: avahi-bookmarks python-gobject: avahi-bookmarks, avahi-discover python-dbus: avahi-bookmarks, avahi-discover installing libusb... installing libcups... installing iso-codes... installing libcloudproviders... installing libstemmer... installing libsoup3... Optional dependencies for libsoup3 samba: Windows Domain SSO installing tracker3... Optional dependencies for tracker3 libsoup: Alternative remoting backend [installed] installing gtk3... Optional dependencies for gtk3 evince: Default print preview command installing gtksourceview3... :: Running post-transaction hooks... ( 1/19) Creating system user accounts... Creating group 'avahi' with GID 975. Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 975 and GID 975. ( 2/19) Updating journal message catalog... ( 3/19) Reloading system manager configuration... Skipped: Current root is not booted. ( 4/19) Updating udev hardware database... ( 5/19) Applying kernel sysctl settings... Skipped: Current root is not booted. ( 6/19) Creating temporary files... ( 7/19) Reloading device manager configuration... Skipped: Device manager is not running. ( 8/19) Arming ConditionNeedsUpdate... ( 9/19) Updating the MIME type database... (10/19) Updating fontconfig configuration... (11/19) Reloading system bus configuration... Skipped: Current root is not booted. (12/19) Warn about old perl modules (13/19) Updating fontconfig cache... (14/19) Probing GDK-Pixbuf loader modules... (15/19) Updating GIO module cache... (16/19) Compiling GSettings XML schema files... (17/19) Probing GTK3 input method modules... (18/19) Updating icon theme caches... (19/19) Updating the desktop file MIME type cache... [?25h==> Checking buildtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... Package (107) New Version Net Change Download Size extra/aom 3.3.0-1 4.02 MiB extra/bc 1.07.1-4 0.14 MiB extra/dav1d 0.9.2-1 0.53 MiB extra/enchant 2.3.2-1 0.14 MiB extra/ffcall 2.2-2 0.27 MiB extra/gd 2.3.3-3 0.55 MiB extra/giflib 5.2.1-2 0.22 MiB extra/gtk2 2.24.33-2 35.47 MiB community/gtkspell3 3.0.10-2 0.19 MiB extra/harfbuzz-icu 3.4.0-1 0.01 MiB extra/ijs 0.35-3 0.11 MiB extra/jbig2dec 0.19-1 0.12 MiB extra/lablgtk2 2.18.11-8 16.65 MiB 2.49 MiB community/libavif 0.9.3-1 0.27 MiB extra/libde265 1.0.8-2 0.79 MiB 0.31 MiB extra/libheif 1.12.0-2 0.71 MiB extra/libice 1.0.10-3 0.78 MiB extra/libidn 1.38-1 0.73 MiB extra/liblqr 0.4.2-3 0.07 MiB core/libnsl 2.0.0-1 0.06 MiB extra/libpaper 1.1.28-1 0.08 MiB extra/libraqm 0.9.0-1 0.14 MiB extra/libsigsegv 2.14-1 0.02 MiB extra/libsm 1.2.3-2 0.66 MiB extra/libsynctex 2021.59745-1 0.12 MiB extra/libwebp 1.2.2-1 0.72 MiB extra/libxaw 1.0.14-1 1.55 MiB extra/libxmu 1.1.3-2 0.58 MiB extra/libxpm 3.5.13-2 0.11 MiB extra/libxt 1.2.1-1 1.91 MiB extra/libyaml 0.2.5-1 0.14 MiB community/libyuv r2266+eb6e7bb6-1 0.92 MiB extra/netpbm 10.73.37-1 5.85 MiB core/nspr 4.33-1 0.68 MiB core/nss 3.75-1 4.00 MiB community/ocaml-cairo 0.6.2-3 2.26 MiB 0.40 MiB extra/ocaml-compiler-libs 4.13.1-1 131.51 MiB community/ocaml-csexp 1.5.1-2 0.43 MiB 0.12 MiB community/ocaml-pp 1.1.2-2 0.39 MiB 0.10 MiB extra/ocaml-result 1.5-5 0.04 MiB 0.01 MiB extra/openjpeg2 2.4.0-1 13.78 MiB extra/perl-error 0.17029-3 0.04 MiB extra/perl-file-which 1.27-1 0.02 MiB extra/perl-mailtools 2.21-5 0.11 MiB extra/perl-timedate 2.33-3 0.08 MiB extra/poppler 22.02.0-2 5.29 MiB extra/potrace 1.16-2 0.15 MiB extra/python-appdirs 1.4.4-6 0.07 MiB community/python-babel 2.9.1-3 27.10 MiB extra/python-chardet 4.0.0-5 2.10 MiB community/python-docutils 1:0.16-2 4.29 MiB extra/python-idna 3.3-4 0.66 MiB community/python-imagesize 1.3.0-3 0.03 MiB community/python-jinja 3.0.3-3 1.29 MiB community/python-latexcodec 2.0.1-5 0.13 MiB 0.03 MiB extra/python-markupsafe 2.0.1-3 0.06 MiB community/python-more-itertools 8.10.0-4 0.32 MiB extra/python-ordered-set 4.0.2-6 0.06 MiB extra/python-packaging 21.0-1 0.26 MiB community/python-ptyprocess 0.7.0-4 0.06 MiB community/python-pybtex 0.24.0-4 1.11 MiB 0.17 MiB community/python-pybtex-docutils 1.0.1-3 0.02 MiB 0.01 MiB community/python-pygments 2.11.2-1 11.22 MiB extra/python-pyparsing 2.4.7-6 0.72 MiB community/python-pytz 2021.3-4 0.14 MiB extra/python-requests 2.27.1-1 0.45 MiB extra/python-setuptools 1:59.1.0-1 2.95 MiB extra/python-six 1.16.0-5 0.09 MiB community/python-snowballstemmer 2.2.0-3 1.78 MiB community/python-soupsieve 2.3-1 0.32 MiB 0.07 MiB community/python-sphinx-alabaster-theme 0.7.12-9 0.04 MiB community/python-sphinxcontrib-applehelp 1.0.2-8 0.24 MiB community/python-sphinxcontrib-devhelp 1.0.2-8 0.12 MiB community/python-sphinxcontrib-htmlhelp 2.0.0-3 0.15 MiB community/python-sphinxcontrib-jsmath 1.0.1-11 0.01 MiB community/python-sphinxcontrib-qthelp 1.0.3-8 0.15 MiB community/python-sphinxcontrib-serializinghtml 1.1.5-3 0.12 MiB extra/python-urllib3 1.26.7-5 0.69 MiB community/python-yaml 5.4.1.1-4 0.68 MiB extra/rav1e 0.4.1-1 3.95 MiB core/run-parts 5.5-1 0.04 MiB extra/svt-av1 0.9.0-1 3.27 MiB extra/t1lib 5.1.2-8 1.07 MiB extra/texlive-core 2021.61403-1 391.10 MiB extra/x265 3.5-1 3.78 MiB extra/zziplib 0.13.72-1 0.26 MiB community/dune 3.0.1-1 32.97 MiB 7.54 MiB community/fig2dev 3.2.8.b-1 0.68 MiB 0.28 MiB community/gendesk 1.0.9-1 6.98 MiB extra/ghostscript 9.55.0-4 43.08 MiB extra/git 2.35.1-1 29.55 MiB community/hevea 2.35-1 6.80 MiB 1.32 MiB extra/imagemagick 7.1.0.9-1 8.46 MiB community/lablgtk3 3.1.1-4 59.73 MiB 11.77 MiB community/ocaml-findlib 1.9.1-3 6.18 MiB core/python 3.10.1-2 79.11 MiB community/python-antlr4 4.9.3-2 0.95 MiB 0.19 MiB community/python-beautifulsoup4 4.10.0-1 1.03 MiB community/python-pexpect 4.8.0-6 0.31 MiB community/python-sphinx 4.4.0-1 15.24 MiB community/python-sphinx_rtd_theme 1.0.0-5 3.42 MiB community/python-sphinxcontrib-bibtex 2.4.1-2 0.28 MiB 0.06 MiB extra/texlive-bin 2021.59745-1 48.92 MiB extra/texlive-fontsextra 2021.61408-1 1355.20 MiB extra/texlive-latexextra 2021.61405-1 59.30 MiB extra/texlive-pictures 2021.61392-1 52.05 MiB 7.93 MiB extra/texlive-science 2021.61383-1 15.25 MiB 3.42 MiB Total Download Size: 36.21 MiB Total Installed Size: 2519.84 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... lablgtk3-3.1.1-4-riscv64 downloading... texlive-pictures-2021.61392-1-any downloading... dune-3.0.1-1-riscv64 downloading... texlive-science-2021.61383-1-any downloading... lablgtk2-2.18.11-8-riscv64 downloading... hevea-2.35-1-riscv64 downloading... ocaml-cairo-0.6.2-3-riscv64 downloading... libde265-1.0.8-2-riscv64 downloading... fig2dev-3.2.8.b-1-riscv64 downloading... python-antlr4-4.9.3-2-any downloading... python-pybtex-0.24.0-4-any downloading... ocaml-csexp-1.5.1-2-riscv64 downloading... ocaml-pp-1.1.2-2-riscv64 downloading... python-soupsieve-2.3-1-any downloading... python-sphinxcontrib-bibtex-2.4.1-2-any downloading... python-latexcodec-2.0.1-5-any downloading... ocaml-result-1.5-5-riscv64 downloading... python-pybtex-docutils-1.0.1-3-any downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing ocaml-compiler-libs... installing ocaml-findlib... installing ocaml-result... installing ocaml-csexp... installing ocaml-pp... installing dune... installing perl-error... installing perl-timedate... installing perl-mailtools... installing git... Optional dependencies for git tk: gitk and git gui perl-libwww: git svn perl-term-readkey: git svn and interactive.singlekey setting perl-io-socket-ssl: git send-email TLS support perl-authen-sasl: git send-email TLS support perl-mediawiki-api: git mediawiki support perl-datetime-format-iso8601: git mediawiki support perl-lwp-protocol-https: git mediawiki https support perl-cgi: gitweb (web interface) support python: git svn & git p4 [pending] subversion: git svn org.freedesktop.secrets: keyring credential helper libsecret: libsecret credential helper [installed] installing enchant... Optional dependencies for enchant aspell: for aspell based spell checking support hunspell: for hunspell based spell checking support libvoikko: for libvoikko based spell checking support hspell: for hspell based spell checking support nuspell: for nuspell based spell checking support installing gtkspell3... installing gtk2... Optional dependencies for gtk2 gnome-themes-standard: Default widget theme adwaita-icon-theme: Default icon theme [installed] python: gtk-builder-convert [pending] installing lablgtk2... Optional dependencies for lablgtk2 ocaml: for using the tools [installed] installing ocaml-cairo... installing lablgtk3... Optional dependencies for lablgtk3 ocaml: for using the tools [installed] installing gendesk... installing libice... installing libsm... installing libxt... installing libxmu... installing libxpm... installing libxaw... installing t1lib... installing giflib... installing libwebp... Optional dependencies for libwebp freeglut: vwebp viewer installing aom... installing dav1d... Optional dependencies for dav1d dav1d-doc: HTML documentation installing rav1e... installing svt-av1... installing libyuv... installing libavif... installing libde265... Optional dependencies for libde265 ffmpeg: for sherlock265 qt5-base: for sherlock265 sdl: dec265 YUV overlay output installing x265... installing libheif... Optional dependencies for libheif libjpeg: for heif-convert and heif-enc [installed] libpng: for heif-convert and heif-enc [installed] installing gd... Optional dependencies for gd perl: bdftogd script [installed] installing openjpeg2... installing nspr... installing nss... installing poppler... Optional dependencies for poppler poppler-data: highly recommended encoding data to display PDF documents with certain encodings and characters installing ffcall... installing libsigsegv... installing zziplib... installing harfbuzz-icu... installing potrace... installing run-parts... installing libpaper... installing libsynctex... installing texlive-bin... Optional dependencies for texlive-bin ed: for texconfig biber: for bibliography processing installing texlive-core... >>> updmap custom entries should go into /etc/texmf/web2c/updmap-local.cfg >>> fmtutil custom entries should go into /etc/texmf/web2c/fmtutil-local.cnf NB: To setup ConTeXt and the lua(la)tex font db, see http://wiki.archlinux.org/index.php/TeX_Live Optional dependencies for texlive-core dialog: for texconfig ghostscript: for epstopdf, epspdf and other ConTeXt tools [pending] java-runtime: for utilities like arara, texplate perl-tk: for texdoctk psutils: to manipulate the output of dvips python: for de-macro, dviasm, pythontex [pending] ruby: for old ConTeXT MkII and epspdf t1utils: can be useful when installing Type1 fonts installing perl-file-which... installing texlive-latexextra... Optional dependencies for texlive-latexextra python-pygments: for pygmentex [pending] texlive-genericextra: to use the calctab package [installed] texlive-pictures: to use the package overpic [pending] java-environment: to use pdfannotextractor installing texlive-pictures... installing texlive-fontsextra... installing texlive-science... installing bc... installing netpbm... installing jbig2dec... installing ijs... installing libidn... installing ghostscript... Optional dependencies for ghostscript texlive-core: needed for dvipdf [installed] gtk3: needed for gsx [installed] installing fig2dev... installing liblqr... installing libraqm... installing imagemagick... Optional dependencies for imagemagick ghostscript: PS/PDF support [installed] libheif: HEIF support [installed] libraw: DNG support librsvg: SVG support [installed] libwebp: WEBP support [installed] libwmf: WMF support libxml2: Magick Scripting Language [installed] ocl-icd: OpenCL support openexr: OpenEXR support openjpeg2: JPEG2000 support [installed] djvulibre: DJVU support pango: Text rendering [installed] imagemagick-doc: manual and API docs installing hevea... installing libnsl... installing python... Optional dependencies for python python-setuptools [pending] python-pip sqlite [installed] mpdecimal: for decimal xz: for lzma [installed] tk: for tkinter installing python-pytz... installing python-babel... installing python-docutils... installing python-imagesize... installing python-appdirs... installing python-more-itertools... installing python-ordered-set... installing python-pyparsing... installing python-packaging... installing python-setuptools... installing python-markupsafe... installing python-jinja... Optional dependencies for python-jinja python-babel: for i18n support [installed] installing python-pygments... installing python-urllib3... Optional dependencies for python-urllib3 python-pysocks: SOCKS support python-brotli: Brotli support python-pyopenssl: security support python-idna: security support [pending] installing python-chardet... installing python-idna... installing python-requests... Optional dependencies for python-requests python-pysocks: SOCKS proxy support installing python-snowballstemmer... Optional dependencies for python-snowballstemmer python-pystemmer: for improved performance installing python-sphinx-alabaster-theme... installing python-sphinxcontrib-applehelp... installing python-sphinxcontrib-devhelp... installing python-sphinxcontrib-htmlhelp... installing python-sphinxcontrib-jsmath... installing python-sphinxcontrib-qthelp... installing python-sphinxcontrib-serializinghtml... installing python-sphinx... Optional dependencies for python-sphinx imagemagick: for ext.imgconverter [installed] texlive-latexextra: for generation of PDF documentation [installed] installing python-sphinx_rtd_theme... installing python-ptyprocess... installing python-pexpect... installing python-soupsieve... installing python-beautifulsoup4... Optional dependencies for python-beautifulsoup4 python-chardet: to autodetect character encodings [installed] python-lxml: alternative HTML parser python-html5lib: alternative HTML parser installing python-six... installing libyaml... installing python-yaml... installing python-latexcodec... installing python-pybtex... installing python-pybtex-docutils... installing python-sphinxcontrib-bibtex... installing python-antlr4... :: Running post-transaction hooks... ( 1/13) Creating system user accounts... Creating group 'git' with GID 974. Creating user 'git' (git daemon user) with UID 974 and GID 974. ( 2/13) Reloading system manager configuration... Skipped: Current root is not booted. ( 3/13) Arming ConditionNeedsUpdate... ( 4/13) Updating the MIME type database... ( 5/13) Warn about old perl modules ( 6/13) Updating fontconfig cache... ( 7/13) Probing GDK-Pixbuf loader modules... ( 8/13) Probing GTK2 input method modules... ( 9/13) Updating TeXLive filename database... (10/13) Updating the info directory file... (11/13) Updating TeXLive format files... fmtutil [ERROR]: not building luajittex due to missing engine: luajittex fmtutil [ERROR]: not building luajithbtex due to missing engine: luajithbtex error: command failed to execute correctly (12/13) Updating TeXLive font maps... (13/13) Updating the desktop file MIME type cache... [?25h==> Retrieving sources...  -> Found coq-8.15.0.tar.gz ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources...  -> Extracting coq-8.15.0.tar.gz with bsdtar ==> Starting build()... [coqide] Generating desktop file... ok find . -not -name . '(' -name '.*' -type d -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_build_boot' -o -name '_install_ci' -o -name 'gramlib' -o -name 'user-contrib' -o -name 'test-suite' -o -name 'plugin_tutorial' ')' -prune -o '(' -name '*.d' ')' -exec rm -f {} + find test-suite \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -o -name '*.glob' \) -exec rm -f {} + rm -f META.coq META.coq-core revision ide/coqide/default.bindings ide/coqide/default_bindings_src.exe \ kernel/genOpcodeFiles.exe config/coq_config.ml config/coq_config.py config/Makefile config/dune.c_flags rm -f coqpp/coqpp_parse.ml rm -f coqpp/coqpp_parse.mli coqpp/coqpp_lex.ml ide/coqide/coq_lex.ml \ ide/coqide/coqide_os_specific.ml ide/coqide/protocol/xml_lexer.ml ide/coqide/utf8_convert.ml \ ide/coqide/config_lexer.ml kernel/byterun/coq_arity.h \ kernel/byterun/coq_instruct.h kernel/byterun/coq_jumptbl.h kernel/float64.ml kernel/uint63.ml \ kernel/vmopcodes.ml parsing/g_constr.ml parsing/g_prim.ml toplevel/g_toplevel.ml \ user-contrib/Ltac2/g_ltac2.ml \ vernac/g_proofs.ml plugins/btauto/g_btauto.ml plugins/cc/g_congruence.ml \ plugins/derive/g_derive.ml plugins/extraction/g_extraction.ml plugins/firstorder/g_ground.ml \ plugins/funind/g_indfun.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/ltac/extratactics.ml \ plugins/ltac/g_auto.ml plugins/ltac/g_class.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_obligations.ml \ plugins/ltac/profile_ltac_tactics.ml \ plugins/micromega/g_micromega.ml plugins/micromega/g_zify.ml plugins/ltac/g_ltac.ml plugins/nsatz/g_nsatz.ml \ plugins/ring/g_ring.ml plugins/ltac/g_tactic.ml \ plugins/ltac/g_rewrite.ml plugins/rtauto/g_rtauto.ml \ plugins/ssr/ssrvernac.ml plugins/ssrmatching/g_ssrmatching.ml plugins/ssr/ssrparser.ml \ plugins/syntax/g_number_string.ml tools/coqdep_lexer.ml \ tools/coqwc.ml tools/coqdoc/cpretty.ml tools/ocamllibdep.ml vernac/g_vernac.ml find theories \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' \ -o -name '*.glob' -o -name '*.aux' \) -exec rm -f {} + find test-suite -name .coq-native -empty -exec rm -rf {} + find . \( -name '*.cmi' -o -name '*.cmx' -o -name '*.o' -o -name '*.a' \ -o -name '*.cmxa' -o -name '*.cmxs' -o -name '*.aux' \) -exec rm -f {} + dune clean You have OCaml 4.13.1. Good! You have OCamlfind 1.9.1. Good! You have native-code compilation. Good! You have the Zarith library 1.12 installed. Good! LablGtk3 and LablGtkSourceView3 found (3.1.1), with native threads: => native CoqIDE will be built. Architecture : Linux Sys.os_type : Unix OCaml version : 4.13.1 OCaml binaries in : /usr/bin/ OCaml library in : /usr/lib/ocaml Native dynamic link support : true Lablgtk3 library in : CoqIDE : opt Documentation : All Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & Coq web site : http://coq.inria.fr/ Bytecode VM enabled : true Native Compiler enabled : ondemand Paths for true installation: - Coq will be copied in /usr - the Coq library will be copied in /usr/lib/coq - the Coqide configuration files will be copied in /etc/xdg/coq/ - the Coqide data files will be copied in /usr/share/coq - the Coq man pages will be copied in /usr/share/man - documentation prefix path for all Coq packages will be copied in /usr/share/doc If anything is wrong above, please restart './configure'. *Warning* To compile the system for a new architecture don't forget to do a 'make clean' before './configure'. /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build world make[1]: Entering directory '/build/coq/src/coq-8.15.0' MKDIR BUILD_OUT DUNE _build/install/default/bin/coqdep DUNE sources COQDEP VFILES DUNE sources DUNE _build/install/default/bin/coqc DUNE _build/default/plugins/ltac/ltac_plugin.cmxs DUNE _build/default/plugins/syntax/number_string_notation_plugin.cmxs DUNE _build/default/plugins/ltac/tauto_plugin.cmxs DUNE _build/default/plugins/cc/cc_plugin.cmxs DUNE _build/default/plugins/ring/ring_plugin.cmxs DUNE _build/default/plugins/firstorder/firstorder_plugin.cmxs DUNE _build/default/plugins/derive/derive_plugin.cmxs File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by executable coqc_bin in topbin/dune:24 -> required by _build/default/topbin/coqc_bin.exe -> required by _build/install/default/bin/coqc make[1]: *** [Makefile.common:131: _build/install/default/bin/coqc] Error 1 make[1]: *** Waiting for unfinished jobs.... File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by _build/default/plugins/syntax/.number_string_notation_plugin.objs/native/number_string_notation_plugin__G_number_string.cmx -> required by _build/default/plugins/syntax/number_string_notation_plugin.a -> required by _build/default/plugins/syntax/number_string_notation_plugin.cmxs make[1]: *** [Makefile.common:143: _build/default/plugins/syntax/number_string_notation_plugin.cmxs] Error 1 File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by _build/default/plugins/ltac/.ltac_plugin.objs/native/ltac_plugin__Coretactics.cmx -> required by _build/default/plugins/ltac/ltac_plugin.a -> required by _build/default/plugins/ltac/ltac_plugin.cmxs make[1]: *** [Makefile.common:143: _build/default/plugins/ltac/ltac_plugin.cmxs] Error 1 File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by _build/default/plugins/ltac/.tauto_plugin.objs/native/tauto_plugin__Tauto.cmx -> required by _build/default/plugins/ltac/tauto_plugin.a -> required by _build/default/plugins/ltac/tauto_plugin.cmxs make[1]: *** [Makefile.common:143: _build/default/plugins/ltac/tauto_plugin.cmxs] Error 1 File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by _build/default/plugins/cc/.cc_plugin.objs/native/cc_plugin__Ccalgo.cmx -> required by _build/default/plugins/cc/cc_plugin.a -> required by _build/default/plugins/cc/cc_plugin.cmxs make[1]: *** [Makefile.common:143: _build/default/plugins/cc/cc_plugin.cmxs] Error 1 File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by _build/default/plugins/derive/.derive_plugin.objs/native/derive_plugin__Derive.cmx -> required by _build/default/plugins/derive/derive_plugin.a -> required by _build/default/plugins/derive/derive_plugin.cmxs make[1]: *** [Makefile.common:143: _build/default/plugins/derive/derive_plugin.cmxs] Error 1 File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by _build/default/plugins/ring/.ring_plugin.objs/native/ring_plugin__G_ring.cmx -> required by _build/default/plugins/ring/ring_plugin.a -> required by _build/default/plugins/ring/ring_plugin.cmxs make[1]: *** [Makefile.common:143: _build/default/plugins/ring/ring_plugin.cmxs] Error 1 File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by _build/default/plugins/firstorder/.firstorder_plugin.objs/native/firstorder_plugin__Formula.cmx -> required by _build/default/plugins/firstorder/firstorder_plugin.a -> required by _build/default/plugins/firstorder/firstorder_plugin.cmxs make[1]: *** [Makefile.common:143: _build/default/plugins/firstorder/firstorder_plugin.cmxs] Error 1 make[1]: Leaving directory '/build/coq/src/coq-8.15.0' make: *** [Makefile.make:122: submake] Error 2 ==> ERROR: A failure occurred in build().  Aborting... ==> ERROR: Build failed, check /var/lib/archbuild/extra-riscv64/felix26/build Shared connection to manectric closed. receiving incremental file list coq-8.15.0-1-riscv64-build.log sent 43 bytes received 2,322 bytes 1,576.67 bytes/sec total size is 8,944 speedup is 3.78