https://launchpad.net/ubuntu/+source/aac-tactics/8.11.0-1build3/+build/19866738 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-069 5.4.0-21-generic #25-Ubuntu SMP Tue Mar 31 01:57:06 UTC 2020 riscv64 Buildd toolchain package versions: launchpad-buildd_188 python-lpbuildd_188 sbuild_0.79.0-1ubuntu1 git_1:2.25.1-1ubuntu1 dpkg-dev_1.19.7ubuntu2 python-debian_0.1.36build1. Syncing the system clock with the buildd NTP service... 15 Sep 21:06:35 ntpdate[782934]: adjust time server 10.211.37.1 offset -0.000314 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19866738 --image-type chroot /home/buildd/filecache-default/a310bc38fff7ff850d9523076a2a133474f10c4a Creating target for build PACKAGEBUILD-19866738 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19866738 Starting target for build PACKAGEBUILD-19866738 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19866738 'deb http://ftpmaster.internal/ubuntu groovy main universe' 'deb http://ftpmaster.internal/ubuntu groovy-security main universe' 'deb http://ftpmaster.internal/ubuntu groovy-updates main universe' 'deb http://ftpmaster.internal/ubuntu groovy-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-19866738 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19866738 Updating target for build PACKAGEBUILD-19866738 Get:1 http://ftpmaster.internal/ubuntu groovy InRelease [267 kB] Get:2 http://ftpmaster.internal/ubuntu groovy-security InRelease [89.1 kB] Get:3 http://ftpmaster.internal/ubuntu groovy-updates InRelease [89.1 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed InRelease [118 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main riscv64 Packages [890 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main Translation-en [508 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/universe riscv64 Packages [8260 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/universe Translation-en [5262 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 Packages [83.0 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main Translation-en [50.2 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/universe riscv64 Packages [167 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/universe Translation-en [155 kB] Fetched 15.9 MB in 27s (586 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: cpp-10 g++-10 gcc-10 krb5-locales libffi8ubuntu1 libgcc-10-dev libgssapi-krb5-2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libnsl-dev libnsl2 libnss-nis libnss-nisplus libstdc++-10-dev libtirpc-common libtirpc-dev libtirpc3 rpcsvc-proto The following packages will be upgraded: apt base-files binutils binutils-common binutils-riscv64-linux-gnu bsdextrautils bsdutils coreutils cpp cpp-9 debianutils dpkg dpkg-dev g++ g++-9 gcc gcc-10-base gcc-9 gcc-9-base libapt-pkg6.0 libatomic1 libaudit-common libaudit1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libctf-nobfd0 libctf0 libdb5.3 libdpkg-perl libgcc-9-dev libgcc-s1 libgdbm-compat4 libgdbm6 libgmp10 libgnutls30 libgomp1 libmount1 libmpc3 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libsmartcols1 libsqlite3-0 libstdc++-9-dev libstdc++6 libsystemd0 libudev1 libuuid1 libzstd1 linux-libc-dev mount sensible-utils util-linux zlib1g 61 upgraded, 20 newly installed, 0 to remove and 0 not upgraded. Need to get 75.8 MB of archives. After this operation, 114 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkrb5support0 riscv64 1.17-10 [28.3 kB] Get:2 http://ftpmaster.internal/ubuntu groovy/main riscv64 libk5crypto3 riscv64 1.17-10 [91.8 kB] Get:3 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkeyutils1 riscv64 1.6.1-2ubuntu1 [9192 B] Get:4 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkrb5-3 riscv64 1.17-10 [294 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgssapi-krb5-2 riscv64 1.17-10 [107 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtirpc-common all 1.2.6-1build1 [7472 B] Get:7 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtirpc3 riscv64 1.2.6-1build1 [68.3 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/main riscv64 libnsl2 riscv64 1.3.0-0ubuntu3 [34.5 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libnss-nis riscv64 3.1-0ubuntu4 [22.7 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libnss-nisplus riscv64 1.3-0ubuntu4 [19.5 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libc6 riscv64 2.32-0ubuntu2 [2258 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libc-dev-bin riscv64 2.32-0ubuntu2 [28.8 kB] Get:13 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libc6-dev riscv64 2.32-0ubuntu2 [3192 kB] Get:14 http://ftpmaster.internal/ubuntu groovy/main riscv64 rpcsvc-proto riscv64 1.4.2-0ubuntu3 [57.9 kB] Get:15 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtirpc-dev riscv64 1.2.6-1build1 [271 kB] Get:16 http://ftpmaster.internal/ubuntu groovy/main riscv64 libnsl-dev riscv64 1.3.0-0ubuntu3 [107 kB] Get:17 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libc-bin riscv64 2.32-0ubuntu2 [508 kB] Get:18 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 linux-libc-dev riscv64 5.8.0-19.20 [1115 kB] Get:19 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgomp1 riscv64 10.2.0-8ubuntu1 [83.9 kB] Get:20 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gcc-10-base riscv64 10.2.0-8ubuntu1 [19.6 kB] Get:21 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgcc-s1 riscv64 10.2.0-8ubuntu1 [40.4 kB] Get:22 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libcc1-0 riscv64 10.2.0-8ubuntu1 [38.2 kB] Get:23 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libatomic1 riscv64 10.2.0-8ubuntu1 [7480 B] Get:24 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libstdc++6 riscv64 10.2.0-8ubuntu1 [506 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main riscv64 base-files riscv64 11ubuntu12 [59.9 kB] Get:26 http://ftpmaster.internal/ubuntu groovy/main riscv64 bsdutils riscv64 1:2.36-3ubuntu1 [78.8 kB] Get:27 http://ftpmaster.internal/ubuntu groovy/main riscv64 coreutils riscv64 8.32-3ubuntu1 [1255 kB] Get:28 http://ftpmaster.internal/ubuntu groovy/main riscv64 debianutils riscv64 4.11.1 [84.4 kB] Get:29 http://ftpmaster.internal/ubuntu groovy/main riscv64 dpkg riscv64 1.20.5ubuntu2 [1135 kB] Get:30 http://ftpmaster.internal/ubuntu groovy/main riscv64 util-linux riscv64 2.36-3ubuntu1 [993 kB] Get:31 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsystemd0 riscv64 246.4-1ubuntu1 [247 kB] Get:32 http://ftpmaster.internal/ubuntu groovy/main riscv64 libudev1 riscv64 246.4-1ubuntu1 [60.8 kB] Get:33 http://ftpmaster.internal/ubuntu groovy/main riscv64 libzstd1 riscv64 1.4.5+dfsg-4 [337 kB] Get:34 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 zlib1g riscv64 1:1.2.11.dfsg-2ubuntu2 [51.8 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/main riscv64 libapt-pkg6.0 riscv64 2.1.10 [805 kB] Get:36 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgmp10 riscv64 2:6.2.0+dfsg-6ubuntu1 [230 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/main riscv64 libffi8ubuntu1 riscv64 3.4~20200819gead65ca871-0ubuntu3 [17.2 kB] Get:38 http://ftpmaster.internal/ubuntu groovy/main riscv64 libp11-kit0 riscv64 0.23.21-2build1 [160 kB] Get:39 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgnutls30 riscv64 3.6.13-4ubuntu5 [658 kB] Get:40 http://ftpmaster.internal/ubuntu groovy/main riscv64 apt riscv64 2.1.10 [1239 kB] Get:41 http://ftpmaster.internal/ubuntu groovy/main riscv64 libaudit-common all 1:2.8.5-3ubuntu1 [4076 B] Get:42 http://ftpmaster.internal/ubuntu groovy/main riscv64 libaudit1 riscv64 1:2.8.5-3ubuntu1 [37.6 kB] Get:43 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpam0g riscv64 1.3.1-5ubuntu6 [51.4 kB] Get:44 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpam-modules-bin riscv64 1.3.1-5ubuntu6 [34.7 kB] Get:45 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpam-modules riscv64 1.3.1-5ubuntu6 [236 kB] Get:46 http://ftpmaster.internal/ubuntu groovy/main riscv64 mount riscv64 2.36-3ubuntu1 [112 kB] Get:47 http://ftpmaster.internal/ubuntu groovy/main riscv64 bsdextrautils riscv64 2.36-3ubuntu1 [70.2 kB] Get:48 http://ftpmaster.internal/ubuntu groovy/main riscv64 libblkid1 riscv64 2.36-3ubuntu1 [127 kB] Get:49 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libdb5.3 riscv64 5.3.28+dfsg1-0.6ubuntu3 [613 kB] Get:50 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmount1 riscv64 2.36-3ubuntu1 [134 kB] Get:51 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpam-runtime all 1.3.1-5ubuntu6 [37.3 kB] Get:52 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsmartcols1 riscv64 2.36-3ubuntu1 [87.9 kB] Get:53 http://ftpmaster.internal/ubuntu groovy/main riscv64 libuuid1 riscv64 2.36-3ubuntu1 [23.8 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/main riscv64 sensible-utils all 0.0.13 [15.1 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsqlite3-0 riscv64 3.33.0-1 [523 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/main riscv64 krb5-locales all 1.17-10 [11.3 kB] Get:57 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgdbm6 riscv64 1.18.1-5.1 [24.2 kB] Get:58 http://ftpmaster.internal/ubuntu groovy/main riscv64 libctf0 riscv64 2.35-3ubuntu1 [40.5 kB] Get:59 http://ftpmaster.internal/ubuntu groovy/main riscv64 libctf-nobfd0 riscv64 2.35-3ubuntu1 [41.4 kB] Get:60 http://ftpmaster.internal/ubuntu groovy/main riscv64 binutils-riscv64-linux-gnu riscv64 2.35-3ubuntu1 [676 kB] Get:61 http://ftpmaster.internal/ubuntu groovy/main riscv64 libbinutils riscv64 2.35-3ubuntu1 [289 kB] Get:62 http://ftpmaster.internal/ubuntu groovy/main riscv64 binutils riscv64 2.35-3ubuntu1 [3292 B] Get:63 http://ftpmaster.internal/ubuntu groovy/main riscv64 binutils-common riscv64 2.35-3ubuntu1 [204 kB] Get:64 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmpc3 riscv64 1.2.0~rc1-1 [41.5 kB] Get:65 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 cpp-10 riscv64 10.2.0-8ubuntu1 [6516 kB] Get:66 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgcc-10-dev riscv64 10.2.0-8ubuntu1 [473 kB] Get:67 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gcc-10 riscv64 10.2.0-8ubuntu1 [13.1 MB] Get:68 http://ftpmaster.internal/ubuntu groovy/main riscv64 g++ riscv64 4:10.1.0-1ubuntu1 [1592 B] Get:69 http://ftpmaster.internal/ubuntu groovy/main riscv64 gcc riscv64 4:10.1.0-1ubuntu1 [5220 B] Get:70 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libstdc++-10-dev riscv64 10.2.0-8ubuntu1 [3610 kB] Get:71 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 g++-10 riscv64 10.2.0-8ubuntu1 [7487 kB] Get:72 http://ftpmaster.internal/ubuntu groovy/main riscv64 cpp riscv64 4:10.1.0-1ubuntu1 [27.7 kB] Get:73 http://ftpmaster.internal/ubuntu groovy/universe riscv64 g++-9 riscv64 9.3.0-17ubuntu1 [6929 kB] Get:74 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libstdc++-9-dev riscv64 9.3.0-17ubuntu1 [3682 kB] Get:75 http://ftpmaster.internal/ubuntu groovy/universe riscv64 gcc-9 riscv64 9.3.0-17ubuntu1 [6791 kB] Get:76 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libgcc-9-dev riscv64 9.3.0-17ubuntu1 [404 kB] Get:77 http://ftpmaster.internal/ubuntu groovy/universe riscv64 cpp-9 riscv64 9.3.0-17ubuntu1 [6050 kB] Get:78 http://ftpmaster.internal/ubuntu groovy/universe riscv64 gcc-9-base riscv64 9.3.0-17ubuntu1 [19.3 kB] Get:79 http://ftpmaster.internal/ubuntu groovy/main riscv64 dpkg-dev all 1.20.5ubuntu2 [758 kB] Get:80 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdpkg-perl all 1.20.5ubuntu2 [232 kB] Get:81 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgdbm-compat4 riscv64 1.18.1-5.1 [5600 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 75.8 MB in 12s (6112 kB/s) Selecting previously unselected package libkrb5support0:riscv64. (Reading database ... 9854 files and directories currently installed.) Preparing to unpack .../libkrb5support0_1.17-10_riscv64.deb ... Unpacking libkrb5support0:riscv64 (1.17-10) ... Setting up libkrb5support0:riscv64 (1.17-10) ... Selecting previously unselected package libk5crypto3:riscv64. (Reading database ... 9859 files and directories currently installed.) Preparing to unpack .../libk5crypto3_1.17-10_riscv64.deb ... Unpacking libk5crypto3:riscv64 (1.17-10) ... Setting up libk5crypto3:riscv64 (1.17-10) ... Selecting previously unselected package libkeyutils1:riscv64. (Reading database ... 9864 files and directories currently installed.) Preparing to unpack .../libkeyutils1_1.6.1-2ubuntu1_riscv64.deb ... Unpacking libkeyutils1:riscv64 (1.6.1-2ubuntu1) ... Setting up libkeyutils1:riscv64 (1.6.1-2ubuntu1) ... Selecting previously unselected package libkrb5-3:riscv64. (Reading database ... 9869 files and directories currently installed.) Preparing to unpack .../libkrb5-3_1.17-10_riscv64.deb ... Unpacking libkrb5-3:riscv64 (1.17-10) ... Setting up libkrb5-3:riscv64 (1.17-10) ... Selecting previously unselected package libgssapi-krb5-2:riscv64. (Reading database ... 9882 files and directories currently installed.) Preparing to unpack .../libgssapi-krb5-2_1.17-10_riscv64.deb ... Unpacking libgssapi-krb5-2:riscv64 (1.17-10) ... Setting up libgssapi-krb5-2:riscv64 (1.17-10) ... Selecting previously unselected package libtirpc-common. (Reading database ... 9890 files and directories currently installed.) Preparing to unpack .../libtirpc-common_1.2.6-1build1_all.deb ... Unpacking libtirpc-common (1.2.6-1build1) ... Setting up libtirpc-common (1.2.6-1build1) ... Selecting previously unselected package libtirpc3:riscv64. (Reading database ... 9895 files and directories currently installed.) Preparing to unpack .../libtirpc3_1.2.6-1build1_riscv64.deb ... Unpacking libtirpc3:riscv64 (1.2.6-1build1) ... Setting up libtirpc3:riscv64 (1.2.6-1build1) ... Selecting previously unselected package libnsl2:riscv64. (Reading database ... 9900 files and directories currently installed.) Preparing to unpack .../libnsl2_1.3.0-0ubuntu3_riscv64.deb ... Unpacking libnsl2:riscv64 (1.3.0-0ubuntu3) ... Setting up libnsl2:riscv64 (1.3.0-0ubuntu3) ... (Reading database ... 9905 files and directories currently installed.) Preparing to unpack .../libc6_2.32-0ubuntu2_riscv64.deb ... Unpacking libc6:riscv64 (2.32-0ubuntu2) over (2.31-0ubuntu10) ... Selecting previously unselected package libnss-nis:riscv64. Preparing to unpack .../libnss-nis_3.1-0ubuntu4_riscv64.deb ... Unpacking libnss-nis:riscv64 (3.1-0ubuntu4) ... Selecting previously unselected package libnss-nisplus:riscv64. Preparing to unpack .../libnss-nisplus_1.3-0ubuntu4_riscv64.deb ... Unpacking libnss-nisplus:riscv64 (1.3-0ubuntu4) ... Setting up libnss-nis:riscv64 (3.1-0ubuntu4) ... Setting up libnss-nisplus:riscv64 (1.3-0ubuntu4) ... Setting up libc6:riscv64 (2.32-0ubuntu2) ... (Reading database ... 9913 files and directories currently installed.) Preparing to unpack .../0-libc-dev-bin_2.32-0ubuntu2_riscv64.deb ... Unpacking libc-dev-bin (2.32-0ubuntu2) over (2.31-0ubuntu10) ... Preparing to unpack .../1-libc6-dev_2.32-0ubuntu2_riscv64.deb ... Unpacking libc6-dev:riscv64 (2.32-0ubuntu2) over (2.31-0ubuntu10) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../2-rpcsvc-proto_1.4.2-0ubuntu3_riscv64.deb ... Unpacking rpcsvc-proto (1.4.2-0ubuntu3) ... Selecting previously unselected package libtirpc-dev:riscv64. Preparing to unpack .../3-libtirpc-dev_1.2.6-1build1_riscv64.deb ... Unpacking libtirpc-dev:riscv64 (1.2.6-1build1) ... Selecting previously unselected package libnsl-dev:riscv64. Preparing to unpack .../4-libnsl-dev_1.3.0-0ubuntu3_riscv64.deb ... Unpacking libnsl-dev:riscv64 (1.3.0-0ubuntu3) ... Preparing to unpack .../5-libc-bin_2.32-0ubuntu2_riscv64.deb ... Unpacking libc-bin (2.32-0ubuntu2) over (2.31-0ubuntu10) ... Setting up libc-bin (2.32-0ubuntu2) ... (Reading database ... 9978 files and directories currently installed.) Preparing to unpack .../linux-libc-dev_5.8.0-19.20_riscv64.deb ... Unpacking linux-libc-dev:riscv64 (5.8.0-19.20) over (5.4.0-30.34) ... Preparing to unpack .../libgomp1_10.2.0-8ubuntu1_riscv64.deb ... Unpacking libgomp1:riscv64 (10.2.0-8ubuntu1) over (10.1.0-6ubuntu1) ... Preparing to unpack .../gcc-10-base_10.2.0-8ubuntu1_riscv64.deb ... Unpacking gcc-10-base:riscv64 (10.2.0-8ubuntu1) over (10.1.0-6ubuntu1) ... Setting up gcc-10-base:riscv64 (10.2.0-8ubuntu1) ... (Reading database ... 9992 files and directories currently installed.) Preparing to unpack .../libgcc-s1_10.2.0-8ubuntu1_riscv64.deb ... Unpacking libgcc-s1:riscv64 (10.2.0-8ubuntu1) over (10.1.0-6ubuntu1) ... Setting up libgcc-s1:riscv64 (10.2.0-8ubuntu1) ... (Reading database ... 9992 files and directories currently installed.) Preparing to unpack .../libcc1-0_10.2.0-8ubuntu1_riscv64.deb ... Unpacking libcc1-0:riscv64 (10.2.0-8ubuntu1) over (10.1.0-6ubuntu1) ... Preparing to unpack .../libatomic1_10.2.0-8ubuntu1_riscv64.deb ... Unpacking libatomic1:riscv64 (10.2.0-8ubuntu1) over (10.1.0-6ubuntu1) ... Preparing to unpack .../libstdc++6_10.2.0-8ubuntu1_riscv64.deb ... Unpacking libstdc++6:riscv64 (10.2.0-8ubuntu1) over (10.1.0-6ubuntu1) ... Setting up libstdc++6:riscv64 (10.2.0-8ubuntu1) ... (Reading database ... 9992 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu12_riscv64.deb ... Unpacking base-files (11ubuntu12) over (11ubuntu9) ... Setting up base-files (11ubuntu12) ... Installing new version of config file /etc/update-motd.d/50-motd-news ... Removing obsolete conffile /etc/default/motd-news ... (Reading database ... 9991 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.36-3ubuntu1_riscv64.deb ... Unpacking bsdutils (1:2.36-3ubuntu1) over (1:2.35.2-9ubuntu1) ... Setting up bsdutils (1:2.36-3ubuntu1) ... (Reading database ... 9991 files and directories currently installed.) Preparing to unpack .../coreutils_8.32-3ubuntu1_riscv64.deb ... Unpacking coreutils (8.32-3ubuntu1) over (8.30-3ubuntu3) ... Setting up coreutils (8.32-3ubuntu1) ... (Reading database ... 10089 files and directories currently installed.) Preparing to unpack .../debianutils_4.11.1_riscv64.deb ... Unpacking debianutils (4.11.1) over (4.11) ... Setting up debianutils (4.11.1) ... (Reading database ... 10089 files and directories currently installed.) Preparing to unpack .../dpkg_1.20.5ubuntu2_riscv64.deb ... Unpacking dpkg (1.20.5ubuntu2) over (1.19.7ubuntu4) ... Setting up dpkg (1.20.5ubuntu2) ... Installing new version of config file /etc/cron.daily/dpkg ... (Reading database ... 10098 files and directories currently installed.) Preparing to unpack .../util-linux_2.36-3ubuntu1_riscv64.deb ... Unpacking util-linux (2.36-3ubuntu1) over (2.35.2-9ubuntu1) ... Setting up util-linux (2.36-3ubuntu1) ... (Reading database ... 10097 files and directories currently installed.) Preparing to unpack .../libsystemd0_246.4-1ubuntu1_riscv64.deb ... Unpacking libsystemd0:riscv64 (246.4-1ubuntu1) over (245.6-3ubuntu3) ... Setting up libsystemd0:riscv64 (246.4-1ubuntu1) ... (Reading database ... 10097 files and directories currently installed.) Preparing to unpack .../libudev1_246.4-1ubuntu1_riscv64.deb ... Unpacking libudev1:riscv64 (246.4-1ubuntu1) over (245.6-3ubuntu3) ... Setting up libudev1:riscv64 (246.4-1ubuntu1) ... (Reading database ... 10097 files and directories currently installed.) Preparing to unpack .../libzstd1_1.4.5+dfsg-4_riscv64.deb ... Unpacking libzstd1:riscv64 (1.4.5+dfsg-4) over (1.4.5+dfsg-3) ... Setting up libzstd1:riscv64 (1.4.5+dfsg-4) ... (Reading database ... 10097 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.11.dfsg-2ubuntu2_riscv64.deb ... Unpacking zlib1g:riscv64 (1:1.2.11.dfsg-2ubuntu2) over (1:1.2.11.dfsg-2ubuntu1) ... Setting up zlib1g:riscv64 (1:1.2.11.dfsg-2ubuntu2) ... (Reading database ... 10097 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.1.10_riscv64.deb ... Unpacking libapt-pkg6.0:riscv64 (2.1.10) over (2.1.7) ... Setting up libapt-pkg6.0:riscv64 (2.1.10) ... (Reading database ... 10097 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.2.0+dfsg-6ubuntu1_riscv64.deb ... Unpacking libgmp10:riscv64 (2:6.2.0+dfsg-6ubuntu1) over (2:6.2.0+dfsg-6) ... Setting up libgmp10:riscv64 (2:6.2.0+dfsg-6ubuntu1) ... Selecting previously unselected package libffi8ubuntu1:riscv64. (Reading database ... 10097 files and directories currently installed.) Preparing to unpack .../libffi8ubuntu1_3.4~20200819gead65ca871-0ubuntu3_riscv64.deb ... Unpacking libffi8ubuntu1:riscv64 (3.4~20200819gead65ca871-0ubuntu3) ... Setting up libffi8ubuntu1:riscv64 (3.4~20200819gead65ca871-0ubuntu3) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.21-2build1_riscv64.deb ... Unpacking libp11-kit0:riscv64 (0.23.21-2build1) over (0.23.20-1build1) ... Setting up libp11-kit0:riscv64 (0.23.21-2build1) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.13-4ubuntu5_riscv64.deb ... Unpacking libgnutls30:riscv64 (3.6.13-4ubuntu5) over (3.6.13-4ubuntu4) ... Setting up libgnutls30:riscv64 (3.6.13-4ubuntu5) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../apt_2.1.10_riscv64.deb ... Unpacking apt (2.1.10) over (2.1.7) ... Setting up apt (2.1.10) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a2.8.5-3ubuntu1_all.deb ... Unpacking libaudit-common (1:2.8.5-3ubuntu1) over (1:2.8.5-2ubuntu6) ... Setting up libaudit-common (1:2.8.5-3ubuntu1) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.5-3ubuntu1_riscv64.deb ... Unpacking libaudit1:riscv64 (1:2.8.5-3ubuntu1) over (1:2.8.5-2ubuntu6) ... Setting up libaudit1:riscv64 (1:2.8.5-3ubuntu1) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libpam0g_1.3.1-5ubuntu6_riscv64.deb ... Unpacking libpam0g:riscv64 (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam0g:riscv64 (1.3.1-5ubuntu6) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.3.1-5ubuntu6_riscv64.deb ... Unpacking libpam-modules-bin (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam-modules-bin (1.3.1-5ubuntu6) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.3.1-5ubuntu6_riscv64.deb ... Unpacking libpam-modules:riscv64 (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam-modules:riscv64 (1.3.1-5ubuntu6) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../mount_2.36-3ubuntu1_riscv64.deb ... Unpacking mount (2.36-3ubuntu1) over (2.35.2-9ubuntu1) ... Preparing to unpack .../bsdextrautils_2.36-3ubuntu1_riscv64.deb ... Unpacking bsdextrautils (2.36-3ubuntu1) over (2.35.2-9ubuntu1) ... Preparing to unpack .../libblkid1_2.36-3ubuntu1_riscv64.deb ... Unpacking libblkid1:riscv64 (2.36-3ubuntu1) over (2.35.2-9ubuntu1) ... Setting up libblkid1:riscv64 (2.36-3ubuntu1) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28+dfsg1-0.6ubuntu3_riscv64.deb ... Unpacking libdb5.3:riscv64 (5.3.28+dfsg1-0.6ubuntu3) over (5.3.28+dfsg1-0.6ubuntu2) ... Setting up libdb5.3:riscv64 (5.3.28+dfsg1-0.6ubuntu3) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libmount1_2.36-3ubuntu1_riscv64.deb ... Unpacking libmount1:riscv64 (2.36-3ubuntu1) over (2.35.2-9ubuntu1) ... Setting up libmount1:riscv64 (2.36-3ubuntu1) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.3.1-5ubuntu6_all.deb ... Unpacking libpam-runtime (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam-runtime (1.3.1-5ubuntu6) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.36-3ubuntu1_riscv64.deb ... Unpacking libsmartcols1:riscv64 (2.36-3ubuntu1) over (2.35.2-9ubuntu1) ... Setting up libsmartcols1:riscv64 (2.36-3ubuntu1) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../libuuid1_2.36-3ubuntu1_riscv64.deb ... Unpacking libuuid1:riscv64 (2.36-3ubuntu1) over (2.35.2-9ubuntu1) ... Setting up libuuid1:riscv64 (2.36-3ubuntu1) ... (Reading database ... 10102 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.13_all.deb ... Unpacking sensible-utils (0.0.13) over (0.0.12+nmu1) ... Preparing to unpack .../01-libsqlite3-0_3.33.0-1_riscv64.deb ... Unpacking libsqlite3-0:riscv64 (3.33.0-1) over (3.32.3-1) ... Selecting previously unselected package krb5-locales. Preparing to unpack .../02-krb5-locales_1.17-10_all.deb ... Unpacking krb5-locales (1.17-10) ... Preparing to unpack .../03-libgdbm6_1.18.1-5.1_riscv64.deb ... Unpacking libgdbm6:riscv64 (1.18.1-5.1) over (1.18.1-5) ... Preparing to unpack .../04-libctf0_2.35-3ubuntu1_riscv64.deb ... Unpacking libctf0:riscv64 (2.35-3ubuntu1) over (2.34.90.20200716-1ubuntu1) ... Preparing to unpack .../05-libctf-nobfd0_2.35-3ubuntu1_riscv64.deb ... Unpacking libctf-nobfd0:riscv64 (2.35-3ubuntu1) over (2.34.90.20200716-1ubuntu1) ... Preparing to unpack .../06-binutils-riscv64-linux-gnu_2.35-3ubuntu1_riscv64.deb ... Unpacking binutils-riscv64-linux-gnu (2.35-3ubuntu1) over (2.34.90.20200716-1ubuntu1) ... Preparing to unpack .../07-libbinutils_2.35-3ubuntu1_riscv64.deb ... Unpacking libbinutils:riscv64 (2.35-3ubuntu1) over (2.34.90.20200716-1ubuntu1) ... Preparing to unpack .../08-binutils_2.35-3ubuntu1_riscv64.deb ... Unpacking binutils (2.35-3ubuntu1) over (2.34.90.20200716-1ubuntu1) ... Preparing to unpack .../09-binutils-common_2.35-3ubuntu1_riscv64.deb ... Unpacking binutils-common:riscv64 (2.35-3ubuntu1) over (2.34.90.20200716-1ubuntu1) ... Preparing to unpack .../10-libmpc3_1.2.0~rc1-1_riscv64.deb ... Unpacking libmpc3:riscv64 (1.2.0~rc1-1) over (1.1.0-1) ... Selecting previously unselected package cpp-10. Preparing to unpack .../11-cpp-10_10.2.0-8ubuntu1_riscv64.deb ... Unpacking cpp-10 (10.2.0-8ubuntu1) ... Selecting previously unselected package libgcc-10-dev:riscv64. Preparing to unpack .../12-libgcc-10-dev_10.2.0-8ubuntu1_riscv64.deb ... Unpacking libgcc-10-dev:riscv64 (10.2.0-8ubuntu1) ... Selecting previously unselected package gcc-10. Preparing to unpack .../13-gcc-10_10.2.0-8ubuntu1_riscv64.deb ... Unpacking gcc-10 (10.2.0-8ubuntu1) ... Preparing to unpack .../14-g++_4%3a10.1.0-1ubuntu1_riscv64.deb ... Unpacking g++ (4:10.1.0-1ubuntu1) over (4:9.3.0-1ubuntu2) ... Preparing to unpack .../15-gcc_4%3a10.1.0-1ubuntu1_riscv64.deb ... Unpacking gcc (4:10.1.0-1ubuntu1) over (4:9.3.0-1ubuntu2) ... Selecting previously unselected package libstdc++-10-dev:riscv64. Preparing to unpack .../16-libstdc++-10-dev_10.2.0-8ubuntu1_riscv64.deb ... Unpacking libstdc++-10-dev:riscv64 (10.2.0-8ubuntu1) ... Selecting previously unselected package g++-10. Preparing to unpack .../17-g++-10_10.2.0-8ubuntu1_riscv64.deb ... Unpacking g++-10 (10.2.0-8ubuntu1) ... Preparing to unpack .../18-cpp_4%3a10.1.0-1ubuntu1_riscv64.deb ... Unpacking cpp (4:10.1.0-1ubuntu1) over (4:9.3.0-1ubuntu2) ... Preparing to unpack .../19-g++-9_9.3.0-17ubuntu1_riscv64.deb ... Unpacking g++-9 (9.3.0-17ubuntu1) over (9.3.0-13ubuntu1) ... Preparing to unpack .../20-libstdc++-9-dev_9.3.0-17ubuntu1_riscv64.deb ... Unpacking libstdc++-9-dev:riscv64 (9.3.0-17ubuntu1) over (9.3.0-13ubuntu1) ... Preparing to unpack .../21-gcc-9_9.3.0-17ubuntu1_riscv64.deb ... Unpacking gcc-9 (9.3.0-17ubuntu1) over (9.3.0-13ubuntu1) ... Preparing to unpack .../22-libgcc-9-dev_9.3.0-17ubuntu1_riscv64.deb ... Unpacking libgcc-9-dev:riscv64 (9.3.0-17ubuntu1) over (9.3.0-13ubuntu1) ... Preparing to unpack .../23-cpp-9_9.3.0-17ubuntu1_riscv64.deb ... Unpacking cpp-9 (9.3.0-17ubuntu1) over (9.3.0-13ubuntu1) ... Preparing to unpack .../24-gcc-9-base_9.3.0-17ubuntu1_riscv64.deb ... Unpacking gcc-9-base:riscv64 (9.3.0-17ubuntu1) over (9.3.0-13ubuntu1) ... Preparing to unpack .../25-dpkg-dev_1.20.5ubuntu2_all.deb ... Unpacking dpkg-dev (1.20.5ubuntu2) over (1.19.7ubuntu4) ... Preparing to unpack .../26-libdpkg-perl_1.20.5ubuntu2_all.deb ... Unpacking libdpkg-perl (1.20.5ubuntu2) over (1.19.7ubuntu4) ... Preparing to unpack .../27-libgdbm-compat4_1.18.1-5.1_riscv64.deb ... Unpacking libgdbm-compat4:riscv64 (1.18.1-5.1) over (1.18.1-5) ... Setting up bsdextrautils (2.36-3ubuntu1) ... Setting up libsqlite3-0:riscv64 (3.33.0-1) ... Setting up binutils-common:riscv64 (2.35-3ubuntu1) ... Setting up linux-libc-dev:riscv64 (5.8.0-19.20) ... Setting up libctf-nobfd0:riscv64 (2.35-3ubuntu1) ... Setting up krb5-locales (1.17-10) ... Setting up libgomp1:riscv64 (10.2.0-8ubuntu1) ... Setting up libtirpc-dev:riscv64 (1.2.6-1build1) ... Setting up rpcsvc-proto (1.4.2-0ubuntu3) ... Setting up libmpc3:riscv64 (1.2.0~rc1-1) ... Setting up libatomic1:riscv64 (10.2.0-8ubuntu1) ... Setting up libdpkg-perl (1.20.5ubuntu2) ... Setting up mount (2.36-3ubuntu1) ... Setting up libnsl-dev:riscv64 (1.3.0-0ubuntu3) ... Setting up sensible-utils (0.0.13) ... Setting up libbinutils:riscv64 (2.35-3ubuntu1) ... Setting up libc-dev-bin (2.32-0ubuntu2) ... Setting up libcc1-0:riscv64 (10.2.0-8ubuntu1) ... Setting up cpp-10 (10.2.0-8ubuntu1) ... Setting up libgdbm6:riscv64 (1.18.1-5.1) ... Setting up gcc-9-base:riscv64 (9.3.0-17ubuntu1) ... Setting up libctf0:riscv64 (2.35-3ubuntu1) ... Setting up libgcc-10-dev:riscv64 (10.2.0-8ubuntu1) ... Setting up binutils-riscv64-linux-gnu (2.35-3ubuntu1) ... Setting up binutils (2.35-3ubuntu1) ... Setting up dpkg-dev (1.20.5ubuntu2) ... Setting up libgcc-9-dev:riscv64 (9.3.0-17ubuntu1) ... Setting up libgdbm-compat4:riscv64 (1.18.1-5.1) ... Setting up gcc-10 (10.2.0-8ubuntu1) ... Setting up cpp (4:10.1.0-1ubuntu1) ... Setting up cpp-9 (9.3.0-17ubuntu1) ... Setting up libc6-dev:riscv64 (2.32-0ubuntu2) ... Setting up gcc-9 (9.3.0-17ubuntu1) ... Setting up libstdc++-10-dev:riscv64 (10.2.0-8ubuntu1) ... Setting up g++-10 (10.2.0-8ubuntu1) ... Setting up libstdc++-9-dev:riscv64 (9.3.0-17ubuntu1) ... Setting up gcc (4:10.1.0-1ubuntu1) ... Setting up g++-9 (9.3.0-17ubuntu1) ... Setting up g++ (4:10.1.0-1ubuntu1) ... Processing triggers for libc-bin (2.32-0ubuntu2) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-19866738 riscv64 groovy-proposed -c chroot:build-PACKAGEBUILD-19866738 --arch=riscv64 --dist=groovy-proposed --nolog aac-tactics_8.11.0-1build3.dsc Initiating build PACKAGEBUILD-19866738 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 5.4.0-21-generic #25-Ubuntu SMP Tue Mar 31 01:57:06 UTC 2020 riscv64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on riscv64-qemu-lcy01-069.buildd +==============================================================================+ | aac-tactics 8.11.0-1build3 (riscv64) Tue, 15 Sep 2020 21:12:22 +0000 | +==============================================================================+ Package: aac-tactics Version: 8.11.0-1build3 Source Version: 8.11.0-1build3 Distribution: groovy-proposed Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-19866738/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/aac-tactics-iswjOB/resolver-gHDuhh' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- aac-tactics_8.11.0-1build3.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/aac-tactics-iswjOB/aac-tactics-8.11.0' with '<>' I: NOTICE: Log filtering will replace 'build/aac-tactics-iswjOB' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 12), ocaml-nox, coq (>= 8.9.0), libcoq-ocaml-dev, dh-ocaml, build-essential, fakeroot Filtered Build-Depends: debhelper-compat (= 12), ocaml-nox, coq (>= 8.9.0), libcoq-ocaml-dev, dh-ocaml, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [404 B] Get:5 copy:/<>/apt_archive ./ Packages [487 B] Fetched 1848 B in 1s (3002 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: krb5-locales libgpm2 Use 'apt autoremove' to remove them. The following additional packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev coq coq-theories dbus dbus-user-session dconf-gsettings-backend dconf-service debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-atspi-2.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-3.0 gir1.2-gtksource-3.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libapparmor1 libarchive-zip-perl libargon2-1 libatk-bridge2.0-0 libatk-bridge2.0-dev libatk1.0-0 libatk1.0-data libatk1.0-dev libatspi2.0-0 libatspi2.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libblkid-dev libbrotli-dev libbrotli1 libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcairo2-ocaml libcairo2-ocaml-dev libcap2 libcolord2 libcoq-ocaml libcoq-ocaml-dev libcroco3 libcryptsetup12 libcups2 libdatrie-dev libdatrie1 libdbus-1-3 libdbus-1-dev libdconf1 libdebhelper-perl libdevmapper1.02.1 libdrm-common libdrm-nouveau2 libdrm-radeon1 libdrm2 libegl-dev libegl-mesa0 libegl1 libegl1-mesa-dev libelf1 libepoxy-dev libepoxy0 libexpat1 libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype-dev libfreetype6 libfreetype6-dev libfribidi-dev libfribidi0 libgbm1 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libgl-dev libgl1 libgl1-mesa-dev libgl1-mesa-dri libglapi-mesa libgles-dev libgles1 libgles2 libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libglvnd-dev libglvnd0 libglx-dev libglx-mesa0 libglx0 libgraphite2-3 libgraphite2-dev libgtk-3-0 libgtk-3-common libgtk-3-dev libgtksourceview-3.0-1 libgtksourceview-3.0-common libgtksourceview-3.0-dev libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libice-dev libice6 libicu-dev libicu67 libip4tc2 libjbig0 libjpeg-turbo8 libjpeg8 libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtk3-ocaml-dev liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml-dev liblcms2-2 liblzo2-2 libmagic-mgc libmagic1 libmount-dev libncurses-dev libncurses5-dev libncurses6 libnum-ocaml libnum-ocaml-dev libopengl-dev libopengl0 libpam-systemd libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix2 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libproxy1v5 libpsl5 libpthread-stubs0-dev libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib librest-0.7-0 libseccomp2 libselinux1-dev libsensors-config libsensors5 libsepol1-dev libsigsegv2 libsm-dev libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsub-override-perl libthai-data libthai-dev libthai0 libtiff5 libtool libuchardet0 libwayland-bin libwayland-client0 libwayland-cursor0 libwayland-dev libwayland-egl1 libwayland-server0 libwebp6 libx11-6 libx11-data libx11-dev libx11-xcb1 libxau-dev libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb-sync1 libxcb-xfixes0 libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxkbcommon-dev libxkbcommon0 libxml2 libxml2-dev libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxshmfence1 libxtst-dev libxtst6 libxxf86vm1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox pango1.0-tools pkg-config po-debconf python3 python3-distutils python3-lib2to3 python3-minimal python3.8 python3.8-minimal shared-mime-info systemd systemd-sysv systemd-timesyncd ubuntu-mono ucf uuid-dev wayland-protocols x11-common x11proto-core-dev x11proto-dev x11proto-input-dev x11proto-randr-dev x11proto-record-dev x11proto-xext-dev x11proto-xinerama-dev xkb-data xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff libcairo2-doc colord cups-common libdatrie-doc freetype2-doc libgirepository1.0-dev libglib2.0-doc libxml2-utils libgraphite2-utils gvfs librsvg2-common libgtk-3-doc libgtksourceview-3.0-doc libice-doc icu-doc liblcms2-utils ncurses-doc imagemagick libpango1.0-doc lm-sensors libsm-doc libthai-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libwayland-doc libx11-doc libxcb-doc libxext-doc m4-doc apparmor less www-browser camlp4 ocaml-doc elpa-tuareg libmail-box-perl python3-doc python3-tk python3-venv python3.8-venv python3.8-doc binfmt-support systemd-container policykit-1 Recommended packages: librsvg2-common curl | wget | lynx at-spi2-core dmsetup libarchive-cpio-perl xdg-user-dirs libgtk-3-bin liblablgtk3-ocaml-doc libpng-tools publicsuffix libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl networkd-dispatcher libnss-systemd The following NEW packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev coq coq-theories dbus dbus-user-session dconf-gsettings-backend dconf-service debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-atspi-2.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-3.0 gir1.2-gtksource-3.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libapparmor1 libarchive-zip-perl libargon2-1 libatk-bridge2.0-0 libatk-bridge2.0-dev libatk1.0-0 libatk1.0-data libatk1.0-dev libatspi2.0-0 libatspi2.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libblkid-dev libbrotli-dev libbrotli1 libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcairo2-ocaml libcairo2-ocaml-dev libcap2 libcolord2 libcoq-ocaml libcoq-ocaml-dev libcroco3 libcryptsetup12 libcups2 libdatrie-dev libdatrie1 libdbus-1-3 libdbus-1-dev libdconf1 libdebhelper-perl libdevmapper1.02.1 libdrm-common libdrm-nouveau2 libdrm-radeon1 libdrm2 libegl-dev libegl-mesa0 libegl1 libegl1-mesa-dev libelf1 libepoxy-dev libepoxy0 libexpat1 libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype-dev libfreetype6 libfreetype6-dev libfribidi-dev libfribidi0 libgbm1 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libgl-dev libgl1 libgl1-mesa-dev libgl1-mesa-dri libglapi-mesa libgles-dev libgles1 libgles2 libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libglvnd-dev libglvnd0 libglx-dev libglx-mesa0 libglx0 libgraphite2-3 libgraphite2-dev libgtk-3-0 libgtk-3-common libgtk-3-dev libgtksourceview-3.0-1 libgtksourceview-3.0-common libgtksourceview-3.0-dev libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libice-dev libice6 libicu-dev libicu67 libip4tc2 libjbig0 libjpeg-turbo8 libjpeg8 libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtk3-ocaml-dev liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml-dev liblcms2-2 liblzo2-2 libmagic-mgc libmagic1 libmount-dev libncurses-dev libncurses5-dev libncurses6 libnum-ocaml libnum-ocaml-dev libopengl-dev libopengl0 libpam-systemd libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix2 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libproxy1v5 libpsl5 libpthread-stubs0-dev libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib librest-0.7-0 libseccomp2 libselinux1-dev libsensors-config libsensors5 libsepol1-dev libsigsegv2 libsm-dev libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsub-override-perl libthai-data libthai-dev libthai0 libtiff5 libtool libuchardet0 libwayland-bin libwayland-client0 libwayland-cursor0 libwayland-dev libwayland-egl1 libwayland-server0 libwebp6 libx11-6 libx11-data libx11-dev libx11-xcb1 libxau-dev libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb-sync1 libxcb-xfixes0 libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxkbcommon-dev libxkbcommon0 libxml2 libxml2-dev libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxshmfence1 libxtst-dev libxtst6 libxxf86vm1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox pango1.0-tools pkg-config po-debconf python3 python3-distutils python3-lib2to3 python3-minimal python3.8 python3.8-minimal sbuild-build-depends-main-dummy shared-mime-info systemd systemd-sysv systemd-timesyncd ubuntu-mono ucf uuid-dev wayland-protocols x11-common x11proto-core-dev x11proto-dev x11proto-input-dev x11proto-randr-dev x11proto-record-dev x11proto-xext-dev x11proto-xinerama-dev xkb-data xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 300 newly installed, 0 to remove and 0 not upgraded. Need to get 275 MB of archives. After this operation, 1323 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [908 B] Get:2 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpython3.8-minimal riscv64 3.8.5-2ubuntu1 [706 kB] Get:3 http://ftpmaster.internal/ubuntu groovy/main riscv64 libexpat1 riscv64 2.2.9-1build1 [68.8 kB] Get:4 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3.8-minimal riscv64 3.8.5-2ubuntu1 [1440 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3-minimal riscv64 3.8.2-0ubuntu2 [23.6 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main riscv64 mime-support all 3.64ubuntu1 [30.6 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpython3.8-stdlib riscv64 3.8.5-2ubuntu1 [1622 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3.8 riscv64 3.8.5-2ubuntu1 [373 kB] Get:9 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpython3-stdlib riscv64 3.8.2-0ubuntu2 [7072 B] Get:10 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3 riscv64 3.8.2-0ubuntu2 [47.6 kB] Get:11 http://ftpmaster.internal/ubuntu groovy/main riscv64 libapparmor1 riscv64 2.13.3-7ubuntu6 [30.5 kB] Get:12 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcap2 riscv64 1:2.43-1 [16.0 kB] Get:13 http://ftpmaster.internal/ubuntu groovy/main riscv64 libargon2-1 riscv64 0~20171227-0.2build20.10.0 [18.6 kB] Get:14 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdevmapper1.02.1 riscv64 2:1.02.167-1ubuntu3 [118 kB] Get:15 http://ftpmaster.internal/ubuntu groovy/main riscv64 libjson-c5 riscv64 0.15-1 [27.3 kB] Get:16 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libcryptsetup12 riscv64 2:2.3.3-1ubuntu5 [167 kB] Get:17 http://ftpmaster.internal/ubuntu groovy/main riscv64 libip4tc2 riscv64 1.8.4-3ubuntu3 [17.5 kB] Get:18 http://ftpmaster.internal/ubuntu groovy/main riscv64 libkmod2 riscv64 27+20200310-2ubuntu1 [38.1 kB] Get:19 http://ftpmaster.internal/ubuntu groovy/main riscv64 libseccomp2 riscv64 2.4.3-1ubuntu4 [38.1 kB] Get:20 http://ftpmaster.internal/ubuntu groovy/main riscv64 systemd-timesyncd riscv64 246.4-1ubuntu1 [25.7 kB] Get:21 http://ftpmaster.internal/ubuntu groovy/main riscv64 systemd riscv64 246.4-1ubuntu1 [3720 kB] Get:22 http://ftpmaster.internal/ubuntu groovy/main riscv64 systemd-sysv riscv64 246.4-1ubuntu1 [10.3 kB] Get:23 http://ftpmaster.internal/ubuntu groovy/main riscv64 libuchardet0 riscv64 0.0.7-1 [67.7 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main riscv64 groff-base riscv64 1.22.4-5 [815 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpipeline1 riscv64 1.5.3-1 [23.9 kB] Get:26 http://ftpmaster.internal/ubuntu groovy/main riscv64 man-db riscv64 2.9.3-2 [1081 kB] Get:27 http://ftpmaster.internal/ubuntu groovy/main riscv64 libncurses6 riscv64 6.2-1 [86.2 kB] Get:28 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libdbus-1-3 riscv64 1.12.20-1ubuntu1 [165 kB] Get:29 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 dbus riscv64 1.12.20-1ubuntu1 [136 kB] Get:30 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmagic-mgc riscv64 1:5.38-5 [218 kB] Get:31 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmagic1 riscv64 1:5.38-5 [70.6 kB] Get:32 http://ftpmaster.internal/ubuntu groovy/main riscv64 file riscv64 1:5.38-5 [22.5 kB] Get:33 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglib2.0-0 riscv64 2.65.3-1 [1143 kB] Get:34 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgirepository-1.0-1 riscv64 1.64.1-1build2 [73.8 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/main riscv64 gir1.2-glib-2.0 riscv64 1.64.1-1build2 [134 kB] Get:36 http://ftpmaster.internal/ubuntu groovy/main riscv64 libbsd0 riscv64 0.10.0-1 [42.0 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/main riscv64 libelf1 riscv64 0.180-1 [42.1 kB] Get:38 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfribidi0 riscv64 1.0.8-2 [23.8 kB] Get:39 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libglib2.0-data all 2.66.0-1 [6108 B] Get:40 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpam-systemd riscv64 246.4-1ubuntu1 [165 kB] Get:41 http://ftpmaster.internal/ubuntu groovy/main riscv64 libicu67 riscv64 67.1-4 [8503 kB] Get:42 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxml2 riscv64 2.9.10+dfsg-5build1 [543 kB] Get:43 http://ftpmaster.internal/ubuntu groovy/main riscv64 shared-mime-info riscv64 1.15-1 [428 kB] Get:44 http://ftpmaster.internal/ubuntu groovy/main riscv64 ucf all 3.0043 [56.1 kB] Get:45 http://ftpmaster.internal/ubuntu groovy/main riscv64 xkb-data all 2.29-2 [349 kB] Get:46 http://ftpmaster.internal/ubuntu groovy/main riscv64 gettext-base riscv64 0.19.8.1-10build1 [47.4 kB] Get:47 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdrm-common all 2.4.102-1ubuntu1 [5480 B] Get:48 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdrm2 riscv64 2.4.102-1ubuntu1 [29.9 kB] Get:49 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpsl5 riscv64 0.21.0-1.1 [50.6 kB] Get:50 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxau6 riscv64 1:1.0.9-0ubuntu1 [6788 B] Get:51 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxdmcp6 riscv64 1:1.1.3-0ubuntu1 [9952 B] Get:52 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb1 riscv64 1.14-2 [37.9 kB] Get:53 http://ftpmaster.internal/ubuntu groovy/main riscv64 libx11-data all 2:1.6.10-3 [113 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/main riscv64 libx11-6 riscv64 2:1.6.10-3 [536 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxext6 riscv64 2:1.3.4-0ubuntu1 [25.6 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/main riscv64 hicolor-icon-theme all 0.17-2 [9976 B] Get:57 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgdk-pixbuf2.0-common all 2.40.0+dfsg-5 [4552 B] Get:58 http://ftpmaster.internal/ubuntu groovy/main riscv64 libjpeg-turbo8 riscv64 2.0.3-0ubuntu2 [101 kB] Get:59 http://ftpmaster.internal/ubuntu groovy/main riscv64 libjpeg8 riscv64 8c-2ubuntu8 [2224 B] Get:60 http://ftpmaster.internal/ubuntu groovy/main riscv64 libjbig0 riscv64 2.1-3.1build1 [25.7 kB] Get:61 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwebp6 riscv64 0.6.1-2 [150 kB] Get:62 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtiff5 riscv64 4.1.0+git191117-2build1 [147 kB] Get:63 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgdk-pixbuf2.0-0 riscv64 2.40.0+dfsg-5 [151 kB] Get:64 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gtk-update-icon-cache riscv64 3.24.23-1ubuntu1 [27.5 kB] Get:65 http://ftpmaster.internal/ubuntu groovy/main riscv64 humanity-icon-theme all 0.6.15 [1250 kB] Get:66 http://ftpmaster.internal/ubuntu groovy/main riscv64 ubuntu-mono all 20.10-0ubuntu1 [147 kB] Get:67 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 adwaita-icon-theme all 3.38.0-1ubuntu1 [3440 kB] Get:68 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsigsegv2 riscv64 2.12-2build1 [12.9 kB] Get:69 http://ftpmaster.internal/ubuntu groovy/main riscv64 m4 riscv64 1.4.18-4 [188 kB] Get:70 http://ftpmaster.internal/ubuntu groovy/main riscv64 autoconf all 2.69-11.1 [321 kB] Get:71 http://ftpmaster.internal/ubuntu groovy/main riscv64 autotools-dev all 20180224.1 [39.6 kB] Get:72 http://ftpmaster.internal/ubuntu groovy/main riscv64 automake all 1:1.16.2-4ubuntu1 [548 kB] Get:73 http://ftpmaster.internal/ubuntu groovy/main riscv64 autopoint all 0.19.8.1-10build1 [412 kB] Get:74 http://ftpmaster.internal/ubuntu groovy-proposed/universe riscv64 coq-theories riscv64 8.12.0-3 [23.9 MB] Get:75 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-base-nox riscv64 4.08.1-10 [340 kB] Get:76 http://ftpmaster.internal/ubuntu groovy/main riscv64 libbrotli1 riscv64 1.0.9-2 [287 kB] Get:77 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfreetype6 riscv64 2.10.2+dfsg-3 [319 kB] Get:78 http://ftpmaster.internal/ubuntu groovy/main riscv64 fonts-dejavu-core all 2.37-2 [1041 kB] Get:79 http://ftpmaster.internal/ubuntu groovy/main riscv64 fontconfig-config all 2.13.1-2ubuntu3 [28.8 kB] Get:80 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfontconfig1 riscv64 2.13.1-2ubuntu3 [104 kB] Get:81 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpixman-1-0 riscv64 0.38.4-0ubuntu1 [146 kB] Get:82 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-render0 riscv64 1.14-2 [12.8 kB] Get:83 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-shm0 riscv64 1.14-2 [5032 B] Get:84 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxrender1 riscv64 1:0.9.10-1 [16.8 kB] Get:85 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcairo2 riscv64 1.16.0-4ubuntu1 [531 kB] Get:86 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libcairo2-ocaml riscv64 0.6.1+dfsg-5build1 [21.1 kB] Get:87 http://ftpmaster.internal/ubuntu groovy/main riscv64 libatk1.0-data all 2.36.0-0ubuntu1 [2952 B] Get:88 http://ftpmaster.internal/ubuntu groovy/main riscv64 libatk1.0-0 riscv64 2.36.0-0ubuntu1 [38.3 kB] Get:89 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libatspi2.0-0 riscv64 2.38.0-2 [54.5 kB] Get:90 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libatk-bridge2.0-0 riscv64 2.38.0-1 [50.4 kB] Get:91 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcairo-gobject2 riscv64 1.16.0-4ubuntu1 [16.2 kB] Get:92 http://ftpmaster.internal/ubuntu groovy/main riscv64 liblcms2-2 riscv64 2.9-4 [127 kB] Get:93 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcolord2 riscv64 1.4.4-2build1 [117 kB] Get:94 http://ftpmaster.internal/ubuntu groovy/main riscv64 libavahi-common-data riscv64 0.8-3ubuntu1 [25.1 kB] Get:95 http://ftpmaster.internal/ubuntu groovy/main riscv64 libavahi-common3 riscv64 0.8-3ubuntu1 [18.5 kB] Get:96 http://ftpmaster.internal/ubuntu groovy/main riscv64 libavahi-client3 riscv64 0.8-3ubuntu1 [22.3 kB] Get:97 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcups2 riscv64 2.3.3-3ubuntu1 [211 kB] Get:98 http://ftpmaster.internal/ubuntu groovy/main riscv64 libepoxy0 riscv64 1.5.4-1 [162 kB] Get:99 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgraphite2-3 riscv64 1.3.14-1 [70.5 kB] Get:100 http://ftpmaster.internal/ubuntu groovy/main riscv64 libharfbuzz0b riscv64 2.6.4-1ubuntu5 [324 kB] Get:101 http://ftpmaster.internal/ubuntu groovy/main riscv64 libjson-glib-1.0-common all 1.4.4-2ubuntu2 [3468 B] Get:102 http://ftpmaster.internal/ubuntu groovy/main riscv64 libjson-glib-1.0-0 riscv64 1.4.4-2ubuntu2 [51.3 kB] Get:103 http://ftpmaster.internal/ubuntu groovy/main riscv64 fontconfig riscv64 2.13.1-2ubuntu3 [169 kB] Get:104 http://ftpmaster.internal/ubuntu groovy/main riscv64 libthai-data all 0.1.28-3 [134 kB] Get:105 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdatrie1 riscv64 0.2.12-3 [16.3 kB] Get:106 http://ftpmaster.internal/ubuntu groovy/main riscv64 libthai0 riscv64 0.1.28-3 [15.8 kB] Get:107 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpango-1.0-0 riscv64 1.46.1-1 [154 kB] Get:108 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpangoft2-1.0-0 riscv64 1.46.1-1 [30.6 kB] Get:109 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpangocairo-1.0-0 riscv64 1.46.1-1 [21.2 kB] Get:110 http://ftpmaster.internal/ubuntu groovy/main riscv64 libproxy1v5 riscv64 0.4.15-13 [48.8 kB] Get:111 http://ftpmaster.internal/ubuntu groovy/main riscv64 glib-networking-common all 2.65.90-1 [4560 B] Get:112 http://ftpmaster.internal/ubuntu groovy/main riscv64 glib-networking-services riscv64 2.65.90-1 [9352 B] Get:113 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 dbus-user-session riscv64 1.12.20-1ubuntu1 [9424 B] Get:114 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libdconf1 riscv64 0.38.0-1 [34.0 kB] Get:115 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 dconf-service riscv64 0.38.0-1 [25.0 kB] Get:116 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 dconf-gsettings-backend riscv64 0.38.0-1 [19.1 kB] Get:117 http://ftpmaster.internal/ubuntu groovy/main riscv64 gsettings-desktop-schemas all 3.37.2-1ubuntu1 [29.3 kB] Get:118 http://ftpmaster.internal/ubuntu groovy/main riscv64 glib-networking riscv64 2.65.90-1 [50.8 kB] Get:119 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libsoup2.4-1 riscv64 2.72.0-1 [230 kB] Get:120 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libsoup-gnome2.4-1 riscv64 2.72.0-1 [5480 B] Get:121 http://ftpmaster.internal/ubuntu groovy/main riscv64 librest-0.7-0 riscv64 0.8.1-1 [26.8 kB] Get:122 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwayland-client0 riscv64 1.18.0-2~exp1.1 [20.7 kB] Get:123 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwayland-cursor0 riscv64 1.18.0-2~exp1.1 [9164 B] Get:124 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwayland-egl1 riscv64 1.18.0-2~exp1.1 [5008 B] Get:125 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcomposite1 riscv64 1:0.4.5-1 [6380 B] Get:126 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxfixes3 riscv64 1:5.0.3-2 [9748 B] Get:127 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcursor1 riscv64 1:1.2.0-2 [17.7 kB] Get:128 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxdamage1 riscv64 1:1.1.5-2 [6316 B] Get:129 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxi6 riscv64 2:1.7.10-1 [27.2 kB] Get:130 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxinerama1 riscv64 2:1.1.4-2 [6328 B] Get:131 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxkbcommon0 riscv64 0.10.0-1 [91.1 kB] Get:132 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxrandr2 riscv64 2:1.5.2-0ubuntu1 [16.4 kB] Get:133 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgtk-3-common all 3.24.23-1ubuntu1 [234 kB] Get:134 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgtk-3-0 riscv64 3.24.23-1ubuntu1 [2311 kB] Get:135 http://ftpmaster.internal/ubuntu groovy/universe riscv64 liblablgtk3-ocaml riscv64 3.1.1-1build2 [1958 kB] Get:136 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libgtksourceview-3.0-common all 3.24.11-2 [276 kB] Get:137 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libgtksourceview-3.0-1 riscv64 3.24.11-2 [194 kB] Get:138 http://ftpmaster.internal/ubuntu groovy/universe riscv64 liblablgtksourceview3-ocaml riscv64 3.1.1-1build2 [178 kB] Get:139 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libnum-ocaml riscv64 1.3-1 [105 kB] Get:140 http://ftpmaster.internal/ubuntu groovy-proposed/universe riscv64 libcoq-ocaml riscv64 8.12.0-3 [4583 kB] Get:141 http://ftpmaster.internal/ubuntu groovy/main riscv64 libncurses-dev riscv64 6.2-1 [691 kB] Get:142 http://ftpmaster.internal/ubuntu groovy/main riscv64 libncurses5-dev riscv64 6.2-1 [976 B] Get:143 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-compiler-libs riscv64 4.08.1-10 [15.2 MB] Get:144 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-interp riscv64 4.08.1-10 [4635 kB] Get:145 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-nox riscv64 4.08.1-10 [35.9 MB] Get:146 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libfindlib-ocaml riscv64 1.8.1-1build3 [114 kB] Get:147 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-findlib riscv64 1.8.1-1build3 [217 kB] Get:148 http://ftpmaster.internal/ubuntu groovy-proposed/universe riscv64 coq riscv64 8.12.0-3 [90.0 MB] Get:149 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtool all 2.4.6-14 [161 kB] Get:150 http://ftpmaster.internal/ubuntu groovy/main riscv64 dh-autoreconf all 19 [16.1 kB] Get:151 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdebhelper-perl all 13.2.1ubuntu1 [63.6 kB] Get:152 http://ftpmaster.internal/ubuntu groovy/main riscv64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:153 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsub-override-perl all 0.09-2 [9532 B] Get:154 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfile-stripnondeterminism-perl all 1.9.0-1 [17.2 kB] Get:155 http://ftpmaster.internal/ubuntu groovy/main riscv64 dh-strip-nondeterminism all 1.9.0-1 [5192 B] Get:156 http://ftpmaster.internal/ubuntu groovy/main riscv64 dwz riscv64 0.13-5 [147 kB] Get:157 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcroco3 riscv64 0.6.13-1 [71.1 kB] Get:158 http://ftpmaster.internal/ubuntu groovy/main riscv64 gettext riscv64 0.19.8.1-10build1 [844 kB] Get:159 http://ftpmaster.internal/ubuntu groovy/main riscv64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:160 http://ftpmaster.internal/ubuntu groovy/main riscv64 po-debconf all 1.0.21 [233 kB] Get:161 http://ftpmaster.internal/ubuntu groovy/main riscv64 debhelper all 13.2.1ubuntu1 [879 kB] Get:162 http://ftpmaster.internal/ubuntu groovy/main riscv64 gir1.2-atk-1.0 riscv64 2.36.0-0ubuntu1 [18.2 kB] Get:163 http://ftpmaster.internal/ubuntu groovy/main riscv64 gir1.2-freedesktop riscv64 1.64.1-1build2 [19.2 kB] Get:164 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gir1.2-atspi-2.0 riscv64 2.38.0-2 [15.2 kB] Get:165 http://ftpmaster.internal/ubuntu groovy/main riscv64 gir1.2-gdkpixbuf-2.0 riscv64 2.40.0+dfsg-5 [8256 B] Get:166 http://ftpmaster.internal/ubuntu groovy/main riscv64 gir1.2-harfbuzz-0.0 riscv64 2.6.4-1ubuntu5 [26.4 kB] Get:167 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxft2 riscv64 2.3.3-0ubuntu1 [34.4 kB] Get:168 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpangoxft-1.0-0 riscv64 1.46.1-1 [15.6 kB] Get:169 http://ftpmaster.internal/ubuntu groovy/main riscv64 gir1.2-pango-1.0 riscv64 1.46.1-1 [27.2 kB] Get:170 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gir1.2-gtk-3.0 riscv64 3.24.23-1ubuntu1 [196 kB] Get:171 http://ftpmaster.internal/ubuntu groovy/universe riscv64 gir1.2-gtksource-3.0 riscv64 3.24.11-2 [18.4 kB] Get:172 http://ftpmaster.internal/ubuntu groovy/main riscv64 icu-devtools riscv64 67.1-4 [180 kB] Get:173 http://ftpmaster.internal/ubuntu groovy/main riscv64 pkg-config riscv64 0.29.2-1ubuntu1 [43.7 kB] Get:174 http://ftpmaster.internal/ubuntu groovy/main riscv64 libffi-dev riscv64 3.4~20200819gead65ca871-0ubuntu3 [73.9 kB] Get:175 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglib2.0-bin riscv64 2.65.3-1 [65.4 kB] Get:176 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3-lib2to3 all 3.8.5-1 [75.6 kB] Get:177 http://ftpmaster.internal/ubuntu groovy/main riscv64 python3-distutils all 3.8.5-1 [141 kB] Get:178 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglib2.0-dev-bin riscv64 2.65.3-1 [108 kB] Get:179 http://ftpmaster.internal/ubuntu groovy/main riscv64 uuid-dev riscv64 2.36-3ubuntu1 [49.2 kB] Get:180 http://ftpmaster.internal/ubuntu groovy/main riscv64 libblkid-dev riscv64 2.36-3ubuntu1 [356 kB] Get:181 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsepol1-dev riscv64 3.1-1 [752 kB] Get:182 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcre2-16-0 riscv64 10.34-7 [107 kB] Get:183 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcre2-32-0 riscv64 10.34-7 [99.3 kB] Get:184 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcre2-posix2 riscv64 10.34-7 [5308 B] Get:185 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcre2-dev riscv64 10.34-7 [905 kB] Get:186 http://ftpmaster.internal/ubuntu groovy/main riscv64 libselinux1-dev riscv64 3.1-2 [227 kB] Get:187 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmount-dev riscv64 2.36-3ubuntu1 [14.1 kB] Get:188 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcre16-3 riscv64 2:8.39-13 [81.0 kB] Get:189 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcre32-3 riscv64 2:8.39-13 [74.6 kB] Get:190 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcrecpp0v5 riscv64 2:8.39-13 [14.7 kB] Get:191 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpcre3-dev riscv64 2:8.39-13 [709 kB] Get:192 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 zlib1g-dev riscv64 1:1.2.11.dfsg-2ubuntu2 [210 kB] Get:193 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglib2.0-dev riscv64 2.65.3-1 [3164 kB] Get:194 http://ftpmaster.internal/ubuntu groovy/main riscv64 libatk1.0-dev riscv64 2.36.0-0ubuntu1 [95.8 kB] Get:195 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libdbus-1-dev riscv64 1.12.20-1ubuntu1 [329 kB] Get:196 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11-common all 1:7.7+19ubuntu14 [22.3 kB] Get:197 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxtst6 riscv64 2:1.2.3-1 [11.9 kB] Get:198 http://ftpmaster.internal/ubuntu groovy/main riscv64 xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:199 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11proto-dev all 2019.2-1ubuntu1 [594 kB] Get:200 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11proto-core-dev all 2019.2-1ubuntu1 [2620 B] Get:201 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxau-dev riscv64 1:1.0.9-0ubuntu1 [12.1 kB] Get:202 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxdmcp-dev riscv64 1:1.1.3-0ubuntu1 [31.7 kB] Get:203 http://ftpmaster.internal/ubuntu groovy/main riscv64 xtrans-dev all 1.4.0-1 [68.9 kB] Get:204 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpthread-stubs0-dev riscv64 0.4-1 [5380 B] Get:205 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb1-dev riscv64 1.14-2 [125 kB] Get:206 http://ftpmaster.internal/ubuntu groovy/main riscv64 libx11-dev riscv64 2:1.6.10-3 [1043 kB] Get:207 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11proto-xext-dev all 2019.2-1ubuntu1 [2616 B] Get:208 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxext-dev riscv64 2:1.3.4-0ubuntu1 [113 kB] Get:209 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxfixes-dev riscv64 1:5.0.3-2 [17.6 kB] Get:210 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11proto-input-dev all 2019.2-1ubuntu1 [2628 B] Get:211 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxi-dev riscv64 2:1.7.10-1 [218 kB] Get:212 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11proto-record-dev all 2019.2-1ubuntu1 [2624 B] Get:213 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxtst-dev riscv64 2:1.2.3-1 [22.8 kB] Get:214 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libatspi2.0-dev riscv64 2.38.0-2 [67.0 kB] Get:215 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libatk-bridge2.0-dev riscv64 2.38.0-1 [3132 B] Get:216 http://ftpmaster.internal/ubuntu groovy/main riscv64 libbrotli-dev riscv64 1.0.9-2 [629 kB] Get:217 http://ftpmaster.internal/ubuntu groovy/main riscv64 liblzo2-2 riscv64 2.10-2 [49.8 kB] Get:218 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcairo-script-interpreter2 riscv64 1.16.0-4ubuntu1 [47.5 kB] Get:219 http://ftpmaster.internal/ubuntu groovy/main riscv64 libexpat1-dev riscv64 2.2.9-1build1 [224 kB] Get:220 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpng-dev riscv64 1.6.37-2 [287 kB] Get:221 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfreetype-dev riscv64 2.10.2+dfsg-3 [873 kB] Get:222 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfreetype6-dev riscv64 2.10.2+dfsg-3 [9884 B] Get:223 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfontconfig1-dev riscv64 2.13.1-2ubuntu3 [850 kB] Get:224 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxrender-dev riscv64 1:0.9.10-1 [41.2 kB] Get:225 http://ftpmaster.internal/ubuntu groovy/main riscv64 libice6 riscv64 2:1.0.10-0ubuntu1 [34.7 kB] Get:226 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsm6 riscv64 2:1.2.3-1 [14.6 kB] Get:227 http://ftpmaster.internal/ubuntu groovy/main riscv64 libice-dev riscv64 2:1.0.10-0ubuntu1 [87.5 kB] Get:228 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsm-dev riscv64 2:1.2.3-1 [30.1 kB] Get:229 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpixman-1-dev riscv64 0.38.4-0ubuntu1 [481 kB] Get:230 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-render0-dev riscv64 1.14-2 [29.0 kB] Get:231 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-shm0-dev riscv64 1.14-2 [8368 B] Get:232 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcairo2-dev riscv64 1.16.0-4ubuntu1 [1349 kB] Get:233 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libcairo2-ocaml-dev riscv64 0.6.1+dfsg-5build1 [245 kB] Get:234 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglvnd0 riscv64 1.3.2-1 [47.9 kB] Get:235 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwayland-server0 riscv64 1.18.0-2~exp1.1 [26.5 kB] Get:236 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgbm1 riscv64 20.1.5-1 [31.2 kB] Get:237 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglapi-mesa riscv64 20.1.5-1 [32.7 kB] Get:238 http://ftpmaster.internal/ubuntu groovy/main riscv64 libx11-xcb1 riscv64 2:1.6.10-3 [8528 B] Get:239 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-dri2-0 riscv64 1.14-2 [6124 B] Get:240 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-dri3-0 riscv64 1.14-2 [5852 B] Get:241 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-present0 riscv64 1.14-2 [5044 B] Get:242 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-sync1 riscv64 1.14-2 [7588 B] Get:243 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-xfixes0 riscv64 1.14-2 [8152 B] Get:244 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxshmfence1 riscv64 1.3-1 [4584 B] Get:245 http://ftpmaster.internal/ubuntu groovy/main riscv64 libegl-mesa0 riscv64 20.1.5-1 [87.7 kB] Get:246 http://ftpmaster.internal/ubuntu groovy/main riscv64 libegl1 riscv64 1.3.2-1 [28.1 kB] Get:247 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcb-glx0 riscv64 1.14-2 [18.9 kB] Get:248 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxxf86vm1 riscv64 1:1.1.4-1build1 [9488 B] Get:249 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdrm-nouveau2 riscv64 2.4.102-1ubuntu1 [14.3 kB] Get:250 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdrm-radeon1 riscv64 2.4.102-1ubuntu1 [19.1 kB] Get:251 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsensors-config all 1:3.6.0-2ubuntu1 [6092 B] Get:252 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsensors5 riscv64 1:3.6.0-2ubuntu1 [24.4 kB] Get:253 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgl1-mesa-dri riscv64 20.1.5-1 [5003 kB] Get:254 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglx-mesa0 riscv64 20.1.5-1 [137 kB] Get:255 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglx0 riscv64 1.3.2-1 [24.5 kB] Get:256 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgl1 riscv64 1.3.2-1 [97.9 kB] Get:257 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglx-dev riscv64 1.3.2-1 [14.0 kB] Get:258 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgl-dev riscv64 1.3.2-1 [97.8 kB] Get:259 http://ftpmaster.internal/ubuntu groovy/main riscv64 libegl-dev riscv64 1.3.2-1 [17.2 kB] Get:260 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgles1 riscv64 1.3.2-1 [10.4 kB] Get:261 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgles2 riscv64 1.3.2-1 [17.0 kB] Get:262 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgles-dev riscv64 1.3.2-1 [47.9 kB] Get:263 http://ftpmaster.internal/ubuntu groovy/main riscv64 libopengl0 riscv64 1.3.2-1 [34.1 kB] Get:264 http://ftpmaster.internal/ubuntu groovy/main riscv64 libopengl-dev riscv64 1.3.2-1 [3572 B] Get:265 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglvnd-dev riscv64 1.3.2-1 [11.6 kB] Get:266 http://ftpmaster.internal/ubuntu groovy/main riscv64 libegl1-mesa-dev riscv64 20.1.5-1 [7976 B] Get:267 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgl1-mesa-dev riscv64 20.1.5-1 [6308 B] Get:268 http://ftpmaster.internal/ubuntu groovy/main riscv64 libepoxy-dev riscv64 1.5.4-1 [126 kB] Get:269 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfribidi-dev riscv64 1.0.8-2 [67.9 kB] Get:270 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgdk-pixbuf2.0-bin riscv64 2.40.0+dfsg-5 [13.1 kB] Get:271 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgdk-pixbuf2.0-dev riscv64 2.40.0+dfsg-5 [43.5 kB] Get:272 http://ftpmaster.internal/ubuntu groovy/main riscv64 libharfbuzz-icu0 riscv64 2.6.4-1ubuntu5 [5040 B] Get:273 http://ftpmaster.internal/ubuntu groovy/main riscv64 libharfbuzz-gobject0 riscv64 2.6.4-1ubuntu5 [17.6 kB] Get:274 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgraphite2-dev riscv64 1.3.14-1 [14.7 kB] Get:275 http://ftpmaster.internal/ubuntu groovy/main riscv64 libicu-dev riscv64 67.1-4 [12.8 MB] Get:276 http://ftpmaster.internal/ubuntu groovy/main riscv64 libharfbuzz-dev riscv64 2.6.4-1ubuntu5 [1559 kB] Get:277 http://ftpmaster.internal/ubuntu groovy/main riscv64 libdatrie-dev riscv64 0.2.12-3 [30.3 kB] Get:278 http://ftpmaster.internal/ubuntu groovy/main riscv64 libthai-dev riscv64 0.1.28-3 [37.2 kB] Get:279 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxft-dev riscv64 2.3.3-0ubuntu1 [87.4 kB] Get:280 http://ftpmaster.internal/ubuntu groovy/main riscv64 pango1.0-tools riscv64 1.46.1-1 [23.2 kB] Get:281 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpango1.0-dev riscv64 1.46.1-1 [135 kB] Get:282 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwayland-bin riscv64 1.18.0-2~exp1.1 [18.0 kB] Get:283 http://ftpmaster.internal/ubuntu groovy/main riscv64 libwayland-dev riscv64 1.18.0-2~exp1.1 [64.6 kB] Get:284 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcomposite-dev riscv64 1:0.4.5-1 [11.0 kB] Get:285 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxcursor-dev riscv64 1:1.2.0-2 [42.8 kB] Get:286 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxdamage-dev riscv64 1:1.1.5-2 [6836 B] Get:287 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11proto-xinerama-dev all 2019.2-1ubuntu1 [2628 B] Get:288 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxinerama-dev riscv64 2:1.1.4-2 [9616 B] Get:289 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxkbcommon-dev riscv64 0.10.0-1 [45.4 kB] Get:290 http://ftpmaster.internal/ubuntu groovy/main riscv64 x11proto-randr-dev all 2019.2-1ubuntu1 [2620 B] Get:291 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxrandr-dev riscv64 2:1.5.2-0ubuntu1 [40.6 kB] Get:292 http://ftpmaster.internal/ubuntu groovy/main riscv64 wayland-protocols all 1.20-1 [60.3 kB] Get:293 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgtk-3-dev riscv64 3.24.23-1ubuntu1 [1068 kB] Get:294 http://ftpmaster.internal/ubuntu groovy/universe riscv64 liblablgtk3-ocaml-dev riscv64 3.1.1-1build2 [5530 kB] Get:295 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxml2-dev riscv64 2.9.10+dfsg-5build1 [1602 kB] Get:296 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libgtksourceview-3.0-dev riscv64 3.24.11-2 [627 kB] Get:297 http://ftpmaster.internal/ubuntu groovy/universe riscv64 liblablgtksourceview3-ocaml-dev riscv64 3.1.1-1build2 [457 kB] Get:298 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libnum-ocaml-dev riscv64 1.3-1 [50.4 kB] Get:299 http://ftpmaster.internal/ubuntu groovy-proposed/universe riscv64 libcoq-ocaml-dev riscv64 8.12.0-3 [9691 kB] Get:300 http://ftpmaster.internal/ubuntu groovy/universe riscv64 dh-ocaml all 1.1.3 [78.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 275 MB in 41s (6703 kB/s) Selecting previously unselected package libpython3.8-minimal:riscv64. (Reading database ... 11017 files and directories currently installed.) Preparing to unpack .../libpython3.8-minimal_3.8.5-2ubuntu1_riscv64.deb ... Unpacking libpython3.8-minimal:riscv64 (3.8.5-2ubuntu1) ... Selecting previously unselected package libexpat1:riscv64. Preparing to unpack .../libexpat1_2.2.9-1build1_riscv64.deb ... Unpacking libexpat1:riscv64 (2.2.9-1build1) ... Selecting previously unselected package python3.8-minimal. Preparing to unpack .../python3.8-minimal_3.8.5-2ubuntu1_riscv64.deb ... Unpacking python3.8-minimal (3.8.5-2ubuntu1) ... Setting up libpython3.8-minimal:riscv64 (3.8.5-2ubuntu1) ... Setting up libexpat1:riscv64 (2.2.9-1build1) ... Setting up python3.8-minimal (3.8.5-2ubuntu1) ... Selecting previously unselected package python3-minimal. (Reading database ... 11308 files and directories currently installed.) Preparing to unpack .../python3-minimal_3.8.2-0ubuntu2_riscv64.deb ... Unpacking python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.64ubuntu1_all.deb ... Unpacking mime-support (3.64ubuntu1) ... Selecting previously unselected package libpython3.8-stdlib:riscv64. Preparing to unpack .../libpython3.8-stdlib_3.8.5-2ubuntu1_riscv64.deb ... Unpacking libpython3.8-stdlib:riscv64 (3.8.5-2ubuntu1) ... Selecting previously unselected package python3.8. Preparing to unpack .../python3.8_3.8.5-2ubuntu1_riscv64.deb ... Unpacking python3.8 (3.8.5-2ubuntu1) ... Selecting previously unselected package libpython3-stdlib:riscv64. Preparing to unpack .../libpython3-stdlib_3.8.2-0ubuntu2_riscv64.deb ... Unpacking libpython3-stdlib:riscv64 (3.8.2-0ubuntu2) ... Setting up python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 11705 files and directories currently installed.) Preparing to unpack .../00-python3_3.8.2-0ubuntu2_riscv64.deb ... Unpacking python3 (3.8.2-0ubuntu2) ... Selecting previously unselected package libapparmor1:riscv64. Preparing to unpack .../01-libapparmor1_2.13.3-7ubuntu6_riscv64.deb ... Unpacking libapparmor1:riscv64 (2.13.3-7ubuntu6) ... Selecting previously unselected package libcap2:riscv64. Preparing to unpack .../02-libcap2_1%3a2.43-1_riscv64.deb ... Unpacking libcap2:riscv64 (1:2.43-1) ... Selecting previously unselected package libargon2-1:riscv64. Preparing to unpack .../03-libargon2-1_0~20171227-0.2build20.10.0_riscv64.deb ... Unpacking libargon2-1:riscv64 (0~20171227-0.2build20.10.0) ... Selecting previously unselected package libdevmapper1.02.1:riscv64. Preparing to unpack .../04-libdevmapper1.02.1_2%3a1.02.167-1ubuntu3_riscv64.deb ... Unpacking libdevmapper1.02.1:riscv64 (2:1.02.167-1ubuntu3) ... Selecting previously unselected package libjson-c5:riscv64. Preparing to unpack .../05-libjson-c5_0.15-1_riscv64.deb ... Unpacking libjson-c5:riscv64 (0.15-1) ... Selecting previously unselected package libcryptsetup12:riscv64. Preparing to unpack .../06-libcryptsetup12_2%3a2.3.3-1ubuntu5_riscv64.deb ... Unpacking libcryptsetup12:riscv64 (2:2.3.3-1ubuntu5) ... Selecting previously unselected package libip4tc2:riscv64. Preparing to unpack .../07-libip4tc2_1.8.4-3ubuntu3_riscv64.deb ... Unpacking libip4tc2:riscv64 (1.8.4-3ubuntu3) ... Selecting previously unselected package libkmod2:riscv64. Preparing to unpack .../08-libkmod2_27+20200310-2ubuntu1_riscv64.deb ... Unpacking libkmod2:riscv64 (27+20200310-2ubuntu1) ... Selecting previously unselected package libseccomp2:riscv64. Preparing to unpack .../09-libseccomp2_2.4.3-1ubuntu4_riscv64.deb ... Unpacking libseccomp2:riscv64 (2.4.3-1ubuntu4) ... Selecting previously unselected package systemd-timesyncd. Preparing to unpack .../10-systemd-timesyncd_246.4-1ubuntu1_riscv64.deb ... Unpacking systemd-timesyncd (246.4-1ubuntu1) ... Selecting previously unselected package systemd. Preparing to unpack .../11-systemd_246.4-1ubuntu1_riscv64.deb ... Unpacking systemd (246.4-1ubuntu1) ... Setting up libapparmor1:riscv64 (2.13.3-7ubuntu6) ... Setting up libcap2:riscv64 (1:2.43-1) ... Setting up libargon2-1:riscv64 (0~20171227-0.2build20.10.0) ... Setting up libdevmapper1.02.1:riscv64 (2:1.02.167-1ubuntu3) ... Setting up libjson-c5:riscv64 (0.15-1) ... Setting up libcryptsetup12:riscv64 (2:2.3.3-1ubuntu5) ... Setting up libip4tc2:riscv64 (1.8.4-3ubuntu3) ... Setting up libkmod2:riscv64 (27+20200310-2ubuntu1) ... Setting up libseccomp2:riscv64 (2.4.3-1ubuntu4) ... Setting up systemd (246.4-1ubuntu1) ... Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service → /lib/systemd/system/getty@.service. Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target → /lib/systemd/system/remote-fs.target. Created symlink /etc/systemd/system/dbus-org.freedesktop.resolve1.service → /lib/systemd/system/systemd-resolved.service. Created symlink /etc/systemd/system/multi-user.target.wants/systemd-resolved.service → /lib/systemd/system/systemd-resolved.service. Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service → /lib/systemd/system/systemd-pstore.service. Initializing machine ID from random generator. Setting up systemd-timesyncd (246.4-1ubuntu1) ... Created symlink /etc/systemd/system/dbus-org.freedesktop.timesync1.service → /lib/systemd/system/systemd-timesyncd.service. Created symlink /etc/systemd/system/sysinit.target.wants/systemd-timesyncd.service → /lib/systemd/system/systemd-timesyncd.service. Selecting previously unselected package systemd-sysv. (Reading database ... 12552 files and directories currently installed.) Preparing to unpack .../000-systemd-sysv_246.4-1ubuntu1_riscv64.deb ... Unpacking systemd-sysv (246.4-1ubuntu1) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../001-libuchardet0_0.0.7-1_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../002-groff-base_1.22.4-5_riscv64.deb ... Unpacking groff-base (1.22.4-5) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../003-libpipeline1_1.5.3-1_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../004-man-db_2.9.3-2_riscv64.deb ... Unpacking man-db (2.9.3-2) ... Selecting previously unselected package libncurses6:riscv64. Preparing to unpack .../005-libncurses6_6.2-1_riscv64.deb ... Unpacking libncurses6:riscv64 (6.2-1) ... Selecting previously unselected package libdbus-1-3:riscv64. Preparing to unpack .../006-libdbus-1-3_1.12.20-1ubuntu1_riscv64.deb ... Unpacking libdbus-1-3:riscv64 (1.12.20-1ubuntu1) ... Selecting previously unselected package dbus. Preparing to unpack .../007-dbus_1.12.20-1ubuntu1_riscv64.deb ... Unpacking dbus (1.12.20-1ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../008-libmagic-mgc_1%3a5.38-5_riscv64.deb ... Unpacking libmagic-mgc (1:5.38-5) ... Selecting previously unselected package libmagic1:riscv64. Preparing to unpack .../009-libmagic1_1%3a5.38-5_riscv64.deb ... Unpacking libmagic1:riscv64 (1:5.38-5) ... Selecting previously unselected package file. Preparing to unpack .../010-file_1%3a5.38-5_riscv64.deb ... Unpacking file (1:5.38-5) ... Selecting previously unselected package libglib2.0-0:riscv64. Preparing to unpack .../011-libglib2.0-0_2.65.3-1_riscv64.deb ... Unpacking libglib2.0-0:riscv64 (2.65.3-1) ... Selecting previously unselected package libgirepository-1.0-1:riscv64. Preparing to unpack .../012-libgirepository-1.0-1_1.64.1-1build2_riscv64.deb ... Unpacking libgirepository-1.0-1:riscv64 (1.64.1-1build2) ... Selecting previously unselected package gir1.2-glib-2.0:riscv64. Preparing to unpack .../013-gir1.2-glib-2.0_1.64.1-1build2_riscv64.deb ... Unpacking gir1.2-glib-2.0:riscv64 (1.64.1-1build2) ... Selecting previously unselected package libbsd0:riscv64. Preparing to unpack .../014-libbsd0_0.10.0-1_riscv64.deb ... Unpacking libbsd0:riscv64 (0.10.0-1) ... Selecting previously unselected package libelf1:riscv64. Preparing to unpack .../015-libelf1_0.180-1_riscv64.deb ... Unpacking libelf1:riscv64 (0.180-1) ... Selecting previously unselected package libfribidi0:riscv64. Preparing to unpack .../016-libfribidi0_1.0.8-2_riscv64.deb ... Unpacking libfribidi0:riscv64 (1.0.8-2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../017-libglib2.0-data_2.66.0-1_all.deb ... Unpacking libglib2.0-data (2.66.0-1) ... Selecting previously unselected package libpam-systemd:riscv64. Preparing to unpack .../018-libpam-systemd_246.4-1ubuntu1_riscv64.deb ... Unpacking libpam-systemd:riscv64 (246.4-1ubuntu1) ... Selecting previously unselected package libicu67:riscv64. Preparing to unpack .../019-libicu67_67.1-4_riscv64.deb ... Unpacking libicu67:riscv64 (67.1-4) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../020-libxml2_2.9.10+dfsg-5build1_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.10+dfsg-5build1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../021-shared-mime-info_1.15-1_riscv64.deb ... Unpacking shared-mime-info (1.15-1) ... Selecting previously unselected package ucf. Preparing to unpack .../022-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package xkb-data. Preparing to unpack .../023-xkb-data_2.29-2_all.deb ... Unpacking xkb-data (2.29-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../024-gettext-base_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libdrm-common. Preparing to unpack .../025-libdrm-common_2.4.102-1ubuntu1_all.deb ... Unpacking libdrm-common (2.4.102-1ubuntu1) ... Selecting previously unselected package libdrm2:riscv64. Preparing to unpack .../026-libdrm2_2.4.102-1ubuntu1_riscv64.deb ... Unpacking libdrm2:riscv64 (2.4.102-1ubuntu1) ... Selecting previously unselected package libpsl5:riscv64. Preparing to unpack .../027-libpsl5_0.21.0-1.1_riscv64.deb ... Unpacking libpsl5:riscv64 (0.21.0-1.1) ... Selecting previously unselected package libxau6:riscv64. Preparing to unpack .../028-libxau6_1%3a1.0.9-0ubuntu1_riscv64.deb ... Unpacking libxau6:riscv64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp6:riscv64. Preparing to unpack .../029-libxdmcp6_1%3a1.1.3-0ubuntu1_riscv64.deb ... Unpacking libxdmcp6:riscv64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package libxcb1:riscv64. Preparing to unpack .../030-libxcb1_1.14-2_riscv64.deb ... Unpacking libxcb1:riscv64 (1.14-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../031-libx11-data_2%3a1.6.10-3_all.deb ... Unpacking libx11-data (2:1.6.10-3) ... Selecting previously unselected package libx11-6:riscv64. Preparing to unpack .../032-libx11-6_2%3a1.6.10-3_riscv64.deb ... Unpacking libx11-6:riscv64 (2:1.6.10-3) ... Selecting previously unselected package libxext6:riscv64. Preparing to unpack .../033-libxext6_2%3a1.3.4-0ubuntu1_riscv64.deb ... Unpacking libxext6:riscv64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../034-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../035-libgdk-pixbuf2.0-common_2.40.0+dfsg-5_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.40.0+dfsg-5) ... Selecting previously unselected package libjpeg-turbo8:riscv64. Preparing to unpack .../036-libjpeg-turbo8_2.0.3-0ubuntu2_riscv64.deb ... Unpacking libjpeg-turbo8:riscv64 (2.0.3-0ubuntu2) ... Selecting previously unselected package libjpeg8:riscv64. Preparing to unpack .../037-libjpeg8_8c-2ubuntu8_riscv64.deb ... Unpacking libjpeg8:riscv64 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:riscv64. Preparing to unpack .../038-libjbig0_2.1-3.1build1_riscv64.deb ... Unpacking libjbig0:riscv64 (2.1-3.1build1) ... Selecting previously unselected package libwebp6:riscv64. Preparing to unpack .../039-libwebp6_0.6.1-2_riscv64.deb ... Unpacking libwebp6:riscv64 (0.6.1-2) ... Selecting previously unselected package libtiff5:riscv64. Preparing to unpack .../040-libtiff5_4.1.0+git191117-2build1_riscv64.deb ... Unpacking libtiff5:riscv64 (4.1.0+git191117-2build1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:riscv64. Preparing to unpack .../041-libgdk-pixbuf2.0-0_2.40.0+dfsg-5_riscv64.deb ... Unpacking libgdk-pixbuf2.0-0:riscv64 (2.40.0+dfsg-5) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../042-gtk-update-icon-cache_3.24.23-1ubuntu1_riscv64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.24.23-1ubuntu1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../043-humanity-icon-theme_0.6.15_all.deb ... Unpacking humanity-icon-theme (0.6.15) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../044-ubuntu-mono_20.10-0ubuntu1_all.deb ... Unpacking ubuntu-mono (20.10-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../045-adwaita-icon-theme_3.38.0-1ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.38.0-1ubuntu1) ... Selecting previously unselected package libsigsegv2:riscv64. Preparing to unpack .../046-libsigsegv2_2.12-2build1_riscv64.deb ... Unpacking libsigsegv2:riscv64 (2.12-2build1) ... Selecting previously unselected package m4. Preparing to unpack .../047-m4_1.4.18-4_riscv64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../048-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../049-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../050-automake_1%3a1.16.2-4ubuntu1_all.deb ... Unpacking automake (1:1.16.2-4ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../051-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package coq-theories. Preparing to unpack .../052-coq-theories_8.12.0-3_riscv64.deb ... Unpacking coq-theories (8.12.0-3) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../053-ocaml-base-nox_4.08.1-10_riscv64.deb ... Unpacking ocaml-base-nox (4.08.1-10) ... Selecting previously unselected package libbrotli1:riscv64. Preparing to unpack .../054-libbrotli1_1.0.9-2_riscv64.deb ... Unpacking libbrotli1:riscv64 (1.0.9-2) ... Selecting previously unselected package libfreetype6:riscv64. Preparing to unpack .../055-libfreetype6_2.10.2+dfsg-3_riscv64.deb ... Unpacking libfreetype6:riscv64 (2.10.2+dfsg-3) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../056-fonts-dejavu-core_2.37-2_all.deb ... Unpacking fonts-dejavu-core (2.37-2) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../057-fontconfig-config_2.13.1-2ubuntu3_all.deb ... Unpacking fontconfig-config (2.13.1-2ubuntu3) ... Selecting previously unselected package libfontconfig1:riscv64. Preparing to unpack .../058-libfontconfig1_2.13.1-2ubuntu3_riscv64.deb ... Unpacking libfontconfig1:riscv64 (2.13.1-2ubuntu3) ... Selecting previously unselected package libpixman-1-0:riscv64. Preparing to unpack .../059-libpixman-1-0_0.38.4-0ubuntu1_riscv64.deb ... Unpacking libpixman-1-0:riscv64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0:riscv64. Preparing to unpack .../060-libxcb-render0_1.14-2_riscv64.deb ... Unpacking libxcb-render0:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-shm0:riscv64. Preparing to unpack .../061-libxcb-shm0_1.14-2_riscv64.deb ... Unpacking libxcb-shm0:riscv64 (1.14-2) ... Selecting previously unselected package libxrender1:riscv64. Preparing to unpack .../062-libxrender1_1%3a0.9.10-1_riscv64.deb ... Unpacking libxrender1:riscv64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:riscv64. Preparing to unpack .../063-libcairo2_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo2:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../064-libcairo2-ocaml_0.6.1+dfsg-5build1_riscv64.deb ... Unpacking libcairo2-ocaml (0.6.1+dfsg-5build1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../065-libatk1.0-data_2.36.0-0ubuntu1_all.deb ... Unpacking libatk1.0-data (2.36.0-0ubuntu1) ... Selecting previously unselected package libatk1.0-0:riscv64. Preparing to unpack .../066-libatk1.0-0_2.36.0-0ubuntu1_riscv64.deb ... Unpacking libatk1.0-0:riscv64 (2.36.0-0ubuntu1) ... Selecting previously unselected package libatspi2.0-0:riscv64. Preparing to unpack .../067-libatspi2.0-0_2.38.0-2_riscv64.deb ... Unpacking libatspi2.0-0:riscv64 (2.38.0-2) ... Selecting previously unselected package libatk-bridge2.0-0:riscv64. Preparing to unpack .../068-libatk-bridge2.0-0_2.38.0-1_riscv64.deb ... Unpacking libatk-bridge2.0-0:riscv64 (2.38.0-1) ... Selecting previously unselected package libcairo-gobject2:riscv64. Preparing to unpack .../069-libcairo-gobject2_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo-gobject2:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package liblcms2-2:riscv64. Preparing to unpack .../070-liblcms2-2_2.9-4_riscv64.deb ... Unpacking liblcms2-2:riscv64 (2.9-4) ... Selecting previously unselected package libcolord2:riscv64. Preparing to unpack .../071-libcolord2_1.4.4-2build1_riscv64.deb ... Unpacking libcolord2:riscv64 (1.4.4-2build1) ... Selecting previously unselected package libavahi-common-data:riscv64. Preparing to unpack .../072-libavahi-common-data_0.8-3ubuntu1_riscv64.deb ... Unpacking libavahi-common-data:riscv64 (0.8-3ubuntu1) ... Selecting previously unselected package libavahi-common3:riscv64. Preparing to unpack .../073-libavahi-common3_0.8-3ubuntu1_riscv64.deb ... Unpacking libavahi-common3:riscv64 (0.8-3ubuntu1) ... Selecting previously unselected package libavahi-client3:riscv64. Preparing to unpack .../074-libavahi-client3_0.8-3ubuntu1_riscv64.deb ... Unpacking libavahi-client3:riscv64 (0.8-3ubuntu1) ... Selecting previously unselected package libcups2:riscv64. Preparing to unpack .../075-libcups2_2.3.3-3ubuntu1_riscv64.deb ... Unpacking libcups2:riscv64 (2.3.3-3ubuntu1) ... Selecting previously unselected package libepoxy0:riscv64. Preparing to unpack .../076-libepoxy0_1.5.4-1_riscv64.deb ... Unpacking libepoxy0:riscv64 (1.5.4-1) ... Selecting previously unselected package libgraphite2-3:riscv64. Preparing to unpack .../077-libgraphite2-3_1.3.14-1_riscv64.deb ... Unpacking libgraphite2-3:riscv64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:riscv64. Preparing to unpack .../078-libharfbuzz0b_2.6.4-1ubuntu5_riscv64.deb ... Unpacking libharfbuzz0b:riscv64 (2.6.4-1ubuntu5) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../079-libjson-glib-1.0-common_1.4.4-2ubuntu2_all.deb ... Unpacking libjson-glib-1.0-common (1.4.4-2ubuntu2) ... Selecting previously unselected package libjson-glib-1.0-0:riscv64. Preparing to unpack .../080-libjson-glib-1.0-0_1.4.4-2ubuntu2_riscv64.deb ... Unpacking libjson-glib-1.0-0:riscv64 (1.4.4-2ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../081-fontconfig_2.13.1-2ubuntu3_riscv64.deb ... Unpacking fontconfig (2.13.1-2ubuntu3) ... Selecting previously unselected package libthai-data. Preparing to unpack .../082-libthai-data_0.1.28-3_all.deb ... Unpacking libthai-data (0.1.28-3) ... Selecting previously unselected package libdatrie1:riscv64. Preparing to unpack .../083-libdatrie1_0.2.12-3_riscv64.deb ... Unpacking libdatrie1:riscv64 (0.2.12-3) ... Selecting previously unselected package libthai0:riscv64. Preparing to unpack .../084-libthai0_0.1.28-3_riscv64.deb ... Unpacking libthai0:riscv64 (0.1.28-3) ... Selecting previously unselected package libpango-1.0-0:riscv64. Preparing to unpack .../085-libpango-1.0-0_1.46.1-1_riscv64.deb ... Unpacking libpango-1.0-0:riscv64 (1.46.1-1) ... Selecting previously unselected package libpangoft2-1.0-0:riscv64. Preparing to unpack .../086-libpangoft2-1.0-0_1.46.1-1_riscv64.deb ... Unpacking libpangoft2-1.0-0:riscv64 (1.46.1-1) ... Selecting previously unselected package libpangocairo-1.0-0:riscv64. Preparing to unpack .../087-libpangocairo-1.0-0_1.46.1-1_riscv64.deb ... Unpacking libpangocairo-1.0-0:riscv64 (1.46.1-1) ... Selecting previously unselected package libproxy1v5:riscv64. Preparing to unpack .../088-libproxy1v5_0.4.15-13_riscv64.deb ... Unpacking libproxy1v5:riscv64 (0.4.15-13) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../089-glib-networking-common_2.65.90-1_all.deb ... Unpacking glib-networking-common (2.65.90-1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../090-glib-networking-services_2.65.90-1_riscv64.deb ... Unpacking glib-networking-services (2.65.90-1) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../091-dbus-user-session_1.12.20-1ubuntu1_riscv64.deb ... Unpacking dbus-user-session (1.12.20-1ubuntu1) ... Selecting previously unselected package libdconf1:riscv64. Preparing to unpack .../092-libdconf1_0.38.0-1_riscv64.deb ... Unpacking libdconf1:riscv64 (0.38.0-1) ... Selecting previously unselected package dconf-service. Preparing to unpack .../093-dconf-service_0.38.0-1_riscv64.deb ... Unpacking dconf-service (0.38.0-1) ... Selecting previously unselected package dconf-gsettings-backend:riscv64. Preparing to unpack .../094-dconf-gsettings-backend_0.38.0-1_riscv64.deb ... Unpacking dconf-gsettings-backend:riscv64 (0.38.0-1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../095-gsettings-desktop-schemas_3.37.2-1ubuntu1_all.deb ... Unpacking gsettings-desktop-schemas (3.37.2-1ubuntu1) ... Selecting previously unselected package glib-networking:riscv64. Preparing to unpack .../096-glib-networking_2.65.90-1_riscv64.deb ... Unpacking glib-networking:riscv64 (2.65.90-1) ... Selecting previously unselected package libsoup2.4-1:riscv64. Preparing to unpack .../097-libsoup2.4-1_2.72.0-1_riscv64.deb ... Unpacking libsoup2.4-1:riscv64 (2.72.0-1) ... Selecting previously unselected package libsoup-gnome2.4-1:riscv64. Preparing to unpack .../098-libsoup-gnome2.4-1_2.72.0-1_riscv64.deb ... Unpacking libsoup-gnome2.4-1:riscv64 (2.72.0-1) ... Selecting previously unselected package librest-0.7-0:riscv64. Preparing to unpack .../099-librest-0.7-0_0.8.1-1_riscv64.deb ... Unpacking librest-0.7-0:riscv64 (0.8.1-1) ... Selecting previously unselected package libwayland-client0:riscv64. Preparing to unpack .../100-libwayland-client0_1.18.0-2~exp1.1_riscv64.deb ... Unpacking libwayland-client0:riscv64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-cursor0:riscv64. Preparing to unpack .../101-libwayland-cursor0_1.18.0-2~exp1.1_riscv64.deb ... Unpacking libwayland-cursor0:riscv64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-egl1:riscv64. Preparing to unpack .../102-libwayland-egl1_1.18.0-2~exp1.1_riscv64.deb ... Unpacking libwayland-egl1:riscv64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libxcomposite1:riscv64. Preparing to unpack .../103-libxcomposite1_1%3a0.4.5-1_riscv64.deb ... Unpacking libxcomposite1:riscv64 (1:0.4.5-1) ... Selecting previously unselected package libxfixes3:riscv64. Preparing to unpack .../104-libxfixes3_1%3a5.0.3-2_riscv64.deb ... Unpacking libxfixes3:riscv64 (1:5.0.3-2) ... Selecting previously unselected package libxcursor1:riscv64. Preparing to unpack .../105-libxcursor1_1%3a1.2.0-2_riscv64.deb ... Unpacking libxcursor1:riscv64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage1:riscv64. Preparing to unpack .../106-libxdamage1_1%3a1.1.5-2_riscv64.deb ... Unpacking libxdamage1:riscv64 (1:1.1.5-2) ... Selecting previously unselected package libxi6:riscv64. Preparing to unpack .../107-libxi6_2%3a1.7.10-1_riscv64.deb ... Unpacking libxi6:riscv64 (2:1.7.10-1) ... Selecting previously unselected package libxinerama1:riscv64. Preparing to unpack .../108-libxinerama1_2%3a1.1.4-2_riscv64.deb ... Unpacking libxinerama1:riscv64 (2:1.1.4-2) ... Selecting previously unselected package libxkbcommon0:riscv64. Preparing to unpack .../109-libxkbcommon0_0.10.0-1_riscv64.deb ... Unpacking libxkbcommon0:riscv64 (0.10.0-1) ... Selecting previously unselected package libxrandr2:riscv64. Preparing to unpack .../110-libxrandr2_2%3a1.5.2-0ubuntu1_riscv64.deb ... Unpacking libxrandr2:riscv64 (2:1.5.2-0ubuntu1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../111-libgtk-3-common_3.24.23-1ubuntu1_all.deb ... Unpacking libgtk-3-common (3.24.23-1ubuntu1) ... Selecting previously unselected package libgtk-3-0:riscv64. Preparing to unpack .../112-libgtk-3-0_3.24.23-1ubuntu1_riscv64.deb ... Unpacking libgtk-3-0:riscv64 (3.24.23-1ubuntu1) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../113-liblablgtk3-ocaml_3.1.1-1build2_riscv64.deb ... Unpacking liblablgtk3-ocaml (3.1.1-1build2) ... Selecting previously unselected package libgtksourceview-3.0-common. Preparing to unpack .../114-libgtksourceview-3.0-common_3.24.11-2_all.deb ... Unpacking libgtksourceview-3.0-common (3.24.11-2) ... Selecting previously unselected package libgtksourceview-3.0-1:riscv64. Preparing to unpack .../115-libgtksourceview-3.0-1_3.24.11-2_riscv64.deb ... Unpacking libgtksourceview-3.0-1:riscv64 (3.24.11-2) ... Selecting previously unselected package liblablgtksourceview3-ocaml. Preparing to unpack .../116-liblablgtksourceview3-ocaml_3.1.1-1build2_riscv64.deb ... Unpacking liblablgtksourceview3-ocaml (3.1.1-1build2) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../117-libnum-ocaml_1.3-1_riscv64.deb ... Unpacking libnum-ocaml (1.3-1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../118-libcoq-ocaml_8.12.0-3_riscv64.deb ... Unpacking libcoq-ocaml (8.12.0-3) ... Selecting previously unselected package libncurses-dev:riscv64. Preparing to unpack .../119-libncurses-dev_6.2-1_riscv64.deb ... Unpacking libncurses-dev:riscv64 (6.2-1) ... Selecting previously unselected package libncurses5-dev:riscv64. Preparing to unpack .../120-libncurses5-dev_6.2-1_riscv64.deb ... Unpacking libncurses5-dev:riscv64 (6.2-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../121-ocaml-compiler-libs_4.08.1-10_riscv64.deb ... Unpacking ocaml-compiler-libs (4.08.1-10) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../122-ocaml-interp_4.08.1-10_riscv64.deb ... Unpacking ocaml-interp (4.08.1-10) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../123-ocaml-nox_4.08.1-10_riscv64.deb ... Unpacking ocaml-nox (4.08.1-10) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../124-libfindlib-ocaml_1.8.1-1build3_riscv64.deb ... Unpacking libfindlib-ocaml (1.8.1-1build3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../125-ocaml-findlib_1.8.1-1build3_riscv64.deb ... Unpacking ocaml-findlib (1.8.1-1build3) ... Selecting previously unselected package coq. Preparing to unpack .../126-coq_8.12.0-3_riscv64.deb ... Unpacking coq (8.12.0-3) ... Selecting previously unselected package libtool. Preparing to unpack .../127-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../128-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../129-libdebhelper-perl_13.2.1ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.2.1ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../130-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../131-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../132-libfile-stripnondeterminism-perl_1.9.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.9.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../133-dh-strip-nondeterminism_1.9.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.9.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../134-dwz_0.13-5_riscv64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:riscv64. Preparing to unpack .../135-libcroco3_0.6.13-1_riscv64.deb ... Unpacking libcroco3:riscv64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../136-gettext_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../137-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../138-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../139-debhelper_13.2.1ubuntu1_all.deb ... Unpacking debhelper (13.2.1ubuntu1) ... Selecting previously unselected package gir1.2-atk-1.0:riscv64. Preparing to unpack .../140-gir1.2-atk-1.0_2.36.0-0ubuntu1_riscv64.deb ... Unpacking gir1.2-atk-1.0:riscv64 (2.36.0-0ubuntu1) ... Selecting previously unselected package gir1.2-freedesktop:riscv64. Preparing to unpack .../141-gir1.2-freedesktop_1.64.1-1build2_riscv64.deb ... Unpacking gir1.2-freedesktop:riscv64 (1.64.1-1build2) ... Selecting previously unselected package gir1.2-atspi-2.0:riscv64. Preparing to unpack .../142-gir1.2-atspi-2.0_2.38.0-2_riscv64.deb ... Unpacking gir1.2-atspi-2.0:riscv64 (2.38.0-2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:riscv64. Preparing to unpack .../143-gir1.2-gdkpixbuf-2.0_2.40.0+dfsg-5_riscv64.deb ... Unpacking gir1.2-gdkpixbuf-2.0:riscv64 (2.40.0+dfsg-5) ... Selecting previously unselected package gir1.2-harfbuzz-0.0:riscv64. Preparing to unpack .../144-gir1.2-harfbuzz-0.0_2.6.4-1ubuntu5_riscv64.deb ... Unpacking gir1.2-harfbuzz-0.0:riscv64 (2.6.4-1ubuntu5) ... Selecting previously unselected package libxft2:riscv64. Preparing to unpack .../145-libxft2_2.3.3-0ubuntu1_riscv64.deb ... Unpacking libxft2:riscv64 (2.3.3-0ubuntu1) ... Selecting previously unselected package libpangoxft-1.0-0:riscv64. Preparing to unpack .../146-libpangoxft-1.0-0_1.46.1-1_riscv64.deb ... Unpacking libpangoxft-1.0-0:riscv64 (1.46.1-1) ... Selecting previously unselected package gir1.2-pango-1.0:riscv64. Preparing to unpack .../147-gir1.2-pango-1.0_1.46.1-1_riscv64.deb ... Unpacking gir1.2-pango-1.0:riscv64 (1.46.1-1) ... Selecting previously unselected package gir1.2-gtk-3.0:riscv64. Preparing to unpack .../148-gir1.2-gtk-3.0_3.24.23-1ubuntu1_riscv64.deb ... Unpacking gir1.2-gtk-3.0:riscv64 (3.24.23-1ubuntu1) ... Selecting previously unselected package gir1.2-gtksource-3.0:riscv64. Preparing to unpack .../149-gir1.2-gtksource-3.0_3.24.11-2_riscv64.deb ... Unpacking gir1.2-gtksource-3.0:riscv64 (3.24.11-2) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../150-icu-devtools_67.1-4_riscv64.deb ... Unpacking icu-devtools (67.1-4) ... Selecting previously unselected package pkg-config. Preparing to unpack .../151-pkg-config_0.29.2-1ubuntu1_riscv64.deb ... Unpacking pkg-config (0.29.2-1ubuntu1) ... Selecting previously unselected package libffi-dev:riscv64. Preparing to unpack .../152-libffi-dev_3.4~20200819gead65ca871-0ubuntu3_riscv64.deb ... Unpacking libffi-dev:riscv64 (3.4~20200819gead65ca871-0ubuntu3) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../153-libglib2.0-bin_2.65.3-1_riscv64.deb ... Unpacking libglib2.0-bin (2.65.3-1) ... Selecting previously unselected package python3-lib2to3. Preparing to unpack .../154-python3-lib2to3_3.8.5-1_all.deb ... Unpacking python3-lib2to3 (3.8.5-1) ... Selecting previously unselected package python3-distutils. Preparing to unpack .../155-python3-distutils_3.8.5-1_all.deb ... Unpacking python3-distutils (3.8.5-1) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../156-libglib2.0-dev-bin_2.65.3-1_riscv64.deb ... Unpacking libglib2.0-dev-bin (2.65.3-1) ... Selecting previously unselected package uuid-dev:riscv64. Preparing to unpack .../157-uuid-dev_2.36-3ubuntu1_riscv64.deb ... Unpacking uuid-dev:riscv64 (2.36-3ubuntu1) ... Selecting previously unselected package libblkid-dev:riscv64. Preparing to unpack .../158-libblkid-dev_2.36-3ubuntu1_riscv64.deb ... Unpacking libblkid-dev:riscv64 (2.36-3ubuntu1) ... Selecting previously unselected package libsepol1-dev:riscv64. Preparing to unpack .../159-libsepol1-dev_3.1-1_riscv64.deb ... Unpacking libsepol1-dev:riscv64 (3.1-1) ... Selecting previously unselected package libpcre2-16-0:riscv64. Preparing to unpack .../160-libpcre2-16-0_10.34-7_riscv64.deb ... Unpacking libpcre2-16-0:riscv64 (10.34-7) ... Selecting previously unselected package libpcre2-32-0:riscv64. Preparing to unpack .../161-libpcre2-32-0_10.34-7_riscv64.deb ... Unpacking libpcre2-32-0:riscv64 (10.34-7) ... Selecting previously unselected package libpcre2-posix2:riscv64. Preparing to unpack .../162-libpcre2-posix2_10.34-7_riscv64.deb ... Unpacking libpcre2-posix2:riscv64 (10.34-7) ... Selecting previously unselected package libpcre2-dev:riscv64. Preparing to unpack .../163-libpcre2-dev_10.34-7_riscv64.deb ... Unpacking libpcre2-dev:riscv64 (10.34-7) ... Selecting previously unselected package libselinux1-dev:riscv64. Preparing to unpack .../164-libselinux1-dev_3.1-2_riscv64.deb ... Unpacking libselinux1-dev:riscv64 (3.1-2) ... Selecting previously unselected package libmount-dev:riscv64. Preparing to unpack .../165-libmount-dev_2.36-3ubuntu1_riscv64.deb ... Unpacking libmount-dev:riscv64 (2.36-3ubuntu1) ... Selecting previously unselected package libpcre16-3:riscv64. Preparing to unpack .../166-libpcre16-3_2%3a8.39-13_riscv64.deb ... Unpacking libpcre16-3:riscv64 (2:8.39-13) ... Selecting previously unselected package libpcre32-3:riscv64. Preparing to unpack .../167-libpcre32-3_2%3a8.39-13_riscv64.deb ... Unpacking libpcre32-3:riscv64 (2:8.39-13) ... Selecting previously unselected package libpcrecpp0v5:riscv64. Preparing to unpack .../168-libpcrecpp0v5_2%3a8.39-13_riscv64.deb ... Unpacking libpcrecpp0v5:riscv64 (2:8.39-13) ... Selecting previously unselected package libpcre3-dev:riscv64. Preparing to unpack .../169-libpcre3-dev_2%3a8.39-13_riscv64.deb ... Unpacking libpcre3-dev:riscv64 (2:8.39-13) ... Selecting previously unselected package zlib1g-dev:riscv64. Preparing to unpack .../170-zlib1g-dev_1%3a1.2.11.dfsg-2ubuntu2_riscv64.deb ... Unpacking zlib1g-dev:riscv64 (1:1.2.11.dfsg-2ubuntu2) ... Selecting previously unselected package libglib2.0-dev:riscv64. Preparing to unpack .../171-libglib2.0-dev_2.65.3-1_riscv64.deb ... Unpacking libglib2.0-dev:riscv64 (2.65.3-1) ... Selecting previously unselected package libatk1.0-dev:riscv64. Preparing to unpack .../172-libatk1.0-dev_2.36.0-0ubuntu1_riscv64.deb ... Unpacking libatk1.0-dev:riscv64 (2.36.0-0ubuntu1) ... Selecting previously unselected package libdbus-1-dev:riscv64. Preparing to unpack .../173-libdbus-1-dev_1.12.20-1ubuntu1_riscv64.deb ... Unpacking libdbus-1-dev:riscv64 (1.12.20-1ubuntu1) ... Selecting previously unselected package x11-common. Preparing to unpack .../174-x11-common_1%3a7.7+19ubuntu14_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu14) ... Selecting previously unselected package libxtst6:riscv64. Preparing to unpack .../175-libxtst6_2%3a1.2.3-1_riscv64.deb ... Unpacking libxtst6:riscv64 (2:1.2.3-1) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../176-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-dev. Preparing to unpack .../177-x11proto-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-dev (2019.2-1ubuntu1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../178-x11proto-core-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-core-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxau-dev:riscv64. Preparing to unpack .../179-libxau-dev_1%3a1.0.9-0ubuntu1_riscv64.deb ... Unpacking libxau-dev:riscv64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp-dev:riscv64. Preparing to unpack .../180-libxdmcp-dev_1%3a1.1.3-0ubuntu1_riscv64.deb ... Unpacking libxdmcp-dev:riscv64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../181-xtrans-dev_1.4.0-1_all.deb ... Unpacking xtrans-dev (1.4.0-1) ... Selecting previously unselected package libpthread-stubs0-dev:riscv64. Preparing to unpack .../182-libpthread-stubs0-dev_0.4-1_riscv64.deb ... Unpacking libpthread-stubs0-dev:riscv64 (0.4-1) ... Selecting previously unselected package libxcb1-dev:riscv64. Preparing to unpack .../183-libxcb1-dev_1.14-2_riscv64.deb ... Unpacking libxcb1-dev:riscv64 (1.14-2) ... Selecting previously unselected package libx11-dev:riscv64. Preparing to unpack .../184-libx11-dev_2%3a1.6.10-3_riscv64.deb ... Unpacking libx11-dev:riscv64 (2:1.6.10-3) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../185-x11proto-xext-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-xext-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxext-dev:riscv64. Preparing to unpack .../186-libxext-dev_2%3a1.3.4-0ubuntu1_riscv64.deb ... Unpacking libxext-dev:riscv64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package libxfixes-dev:riscv64. Preparing to unpack .../187-libxfixes-dev_1%3a5.0.3-2_riscv64.deb ... Unpacking libxfixes-dev:riscv64 (1:5.0.3-2) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../188-x11proto-input-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-input-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxi-dev:riscv64. Preparing to unpack .../189-libxi-dev_2%3a1.7.10-1_riscv64.deb ... Unpacking libxi-dev:riscv64 (2:1.7.10-1) ... Selecting previously unselected package x11proto-record-dev. Preparing to unpack .../190-x11proto-record-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-record-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxtst-dev:riscv64. Preparing to unpack .../191-libxtst-dev_2%3a1.2.3-1_riscv64.deb ... Unpacking libxtst-dev:riscv64 (2:1.2.3-1) ... Selecting previously unselected package libatspi2.0-dev:riscv64. Preparing to unpack .../192-libatspi2.0-dev_2.38.0-2_riscv64.deb ... Unpacking libatspi2.0-dev:riscv64 (2.38.0-2) ... Selecting previously unselected package libatk-bridge2.0-dev:riscv64. Preparing to unpack .../193-libatk-bridge2.0-dev_2.38.0-1_riscv64.deb ... Unpacking libatk-bridge2.0-dev:riscv64 (2.38.0-1) ... Selecting previously unselected package libbrotli-dev:riscv64. Preparing to unpack .../194-libbrotli-dev_1.0.9-2_riscv64.deb ... Unpacking libbrotli-dev:riscv64 (1.0.9-2) ... Selecting previously unselected package liblzo2-2:riscv64. Preparing to unpack .../195-liblzo2-2_2.10-2_riscv64.deb ... Unpacking liblzo2-2:riscv64 (2.10-2) ... Selecting previously unselected package libcairo-script-interpreter2:riscv64. Preparing to unpack .../196-libcairo-script-interpreter2_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo-script-interpreter2:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libexpat1-dev:riscv64. Preparing to unpack .../197-libexpat1-dev_2.2.9-1build1_riscv64.deb ... Unpacking libexpat1-dev:riscv64 (2.2.9-1build1) ... Selecting previously unselected package libpng-dev:riscv64. Preparing to unpack .../198-libpng-dev_1.6.37-2_riscv64.deb ... Unpacking libpng-dev:riscv64 (1.6.37-2) ... Selecting previously unselected package libfreetype-dev:riscv64. Preparing to unpack .../199-libfreetype-dev_2.10.2+dfsg-3_riscv64.deb ... Unpacking libfreetype-dev:riscv64 (2.10.2+dfsg-3) ... Selecting previously unselected package libfreetype6-dev:riscv64. Preparing to unpack .../200-libfreetype6-dev_2.10.2+dfsg-3_riscv64.deb ... Unpacking libfreetype6-dev:riscv64 (2.10.2+dfsg-3) ... Selecting previously unselected package libfontconfig1-dev:riscv64. Preparing to unpack .../201-libfontconfig1-dev_2.13.1-2ubuntu3_riscv64.deb ... Unpacking libfontconfig1-dev:riscv64 (2.13.1-2ubuntu3) ... Selecting previously unselected package libxrender-dev:riscv64. Preparing to unpack .../202-libxrender-dev_1%3a0.9.10-1_riscv64.deb ... Unpacking libxrender-dev:riscv64 (1:0.9.10-1) ... Selecting previously unselected package libice6:riscv64. Preparing to unpack .../203-libice6_2%3a1.0.10-0ubuntu1_riscv64.deb ... Unpacking libice6:riscv64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libsm6:riscv64. Preparing to unpack .../204-libsm6_2%3a1.2.3-1_riscv64.deb ... Unpacking libsm6:riscv64 (2:1.2.3-1) ... Selecting previously unselected package libice-dev:riscv64. Preparing to unpack .../205-libice-dev_2%3a1.0.10-0ubuntu1_riscv64.deb ... Unpacking libice-dev:riscv64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libsm-dev:riscv64. Preparing to unpack .../206-libsm-dev_2%3a1.2.3-1_riscv64.deb ... Unpacking libsm-dev:riscv64 (2:1.2.3-1) ... Selecting previously unselected package libpixman-1-dev:riscv64. Preparing to unpack .../207-libpixman-1-dev_0.38.4-0ubuntu1_riscv64.deb ... Unpacking libpixman-1-dev:riscv64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0-dev:riscv64. Preparing to unpack .../208-libxcb-render0-dev_1.14-2_riscv64.deb ... Unpacking libxcb-render0-dev:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-shm0-dev:riscv64. Preparing to unpack .../209-libxcb-shm0-dev_1.14-2_riscv64.deb ... Unpacking libxcb-shm0-dev:riscv64 (1.14-2) ... Selecting previously unselected package libcairo2-dev:riscv64. Preparing to unpack .../210-libcairo2-dev_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo2-dev:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libcairo2-ocaml-dev. Preparing to unpack .../211-libcairo2-ocaml-dev_0.6.1+dfsg-5build1_riscv64.deb ... Unpacking libcairo2-ocaml-dev (0.6.1+dfsg-5build1) ... Selecting previously unselected package libglvnd0:riscv64. Preparing to unpack .../212-libglvnd0_1.3.2-1_riscv64.deb ... Unpacking libglvnd0:riscv64 (1.3.2-1) ... Selecting previously unselected package libwayland-server0:riscv64. Preparing to unpack .../213-libwayland-server0_1.18.0-2~exp1.1_riscv64.deb ... Unpacking libwayland-server0:riscv64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libgbm1:riscv64. Preparing to unpack .../214-libgbm1_20.1.5-1_riscv64.deb ... Unpacking libgbm1:riscv64 (20.1.5-1) ... Selecting previously unselected package libglapi-mesa:riscv64. Preparing to unpack .../215-libglapi-mesa_20.1.5-1_riscv64.deb ... Unpacking libglapi-mesa:riscv64 (20.1.5-1) ... Selecting previously unselected package libx11-xcb1:riscv64. Preparing to unpack .../216-libx11-xcb1_2%3a1.6.10-3_riscv64.deb ... Unpacking libx11-xcb1:riscv64 (2:1.6.10-3) ... Selecting previously unselected package libxcb-dri2-0:riscv64. Preparing to unpack .../217-libxcb-dri2-0_1.14-2_riscv64.deb ... Unpacking libxcb-dri2-0:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-dri3-0:riscv64. Preparing to unpack .../218-libxcb-dri3-0_1.14-2_riscv64.deb ... Unpacking libxcb-dri3-0:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-present0:riscv64. Preparing to unpack .../219-libxcb-present0_1.14-2_riscv64.deb ... Unpacking libxcb-present0:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-sync1:riscv64. Preparing to unpack .../220-libxcb-sync1_1.14-2_riscv64.deb ... Unpacking libxcb-sync1:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-xfixes0:riscv64. Preparing to unpack .../221-libxcb-xfixes0_1.14-2_riscv64.deb ... Unpacking libxcb-xfixes0:riscv64 (1.14-2) ... Selecting previously unselected package libxshmfence1:riscv64. Preparing to unpack .../222-libxshmfence1_1.3-1_riscv64.deb ... Unpacking libxshmfence1:riscv64 (1.3-1) ... Selecting previously unselected package libegl-mesa0:riscv64. Preparing to unpack .../223-libegl-mesa0_20.1.5-1_riscv64.deb ... Unpacking libegl-mesa0:riscv64 (20.1.5-1) ... Selecting previously unselected package libegl1:riscv64. Preparing to unpack .../224-libegl1_1.3.2-1_riscv64.deb ... Unpacking libegl1:riscv64 (1.3.2-1) ... Selecting previously unselected package libxcb-glx0:riscv64. Preparing to unpack .../225-libxcb-glx0_1.14-2_riscv64.deb ... Unpacking libxcb-glx0:riscv64 (1.14-2) ... Selecting previously unselected package libxxf86vm1:riscv64. Preparing to unpack .../226-libxxf86vm1_1%3a1.1.4-1build1_riscv64.deb ... Unpacking libxxf86vm1:riscv64 (1:1.1.4-1build1) ... Selecting previously unselected package libdrm-nouveau2:riscv64. Preparing to unpack .../227-libdrm-nouveau2_2.4.102-1ubuntu1_riscv64.deb ... Unpacking libdrm-nouveau2:riscv64 (2.4.102-1ubuntu1) ... Selecting previously unselected package libdrm-radeon1:riscv64. Preparing to unpack .../228-libdrm-radeon1_2.4.102-1ubuntu1_riscv64.deb ... Unpacking libdrm-radeon1:riscv64 (2.4.102-1ubuntu1) ... Selecting previously unselected package libsensors-config. Preparing to unpack .../229-libsensors-config_1%3a3.6.0-2ubuntu1_all.deb ... Unpacking libsensors-config (1:3.6.0-2ubuntu1) ... Selecting previously unselected package libsensors5:riscv64. Preparing to unpack .../230-libsensors5_1%3a3.6.0-2ubuntu1_riscv64.deb ... Unpacking libsensors5:riscv64 (1:3.6.0-2ubuntu1) ... Selecting previously unselected package libgl1-mesa-dri:riscv64. Preparing to unpack .../231-libgl1-mesa-dri_20.1.5-1_riscv64.deb ... Unpacking libgl1-mesa-dri:riscv64 (20.1.5-1) ... Selecting previously unselected package libglx-mesa0:riscv64. Preparing to unpack .../232-libglx-mesa0_20.1.5-1_riscv64.deb ... Unpacking libglx-mesa0:riscv64 (20.1.5-1) ... Selecting previously unselected package libglx0:riscv64. Preparing to unpack .../233-libglx0_1.3.2-1_riscv64.deb ... Unpacking libglx0:riscv64 (1.3.2-1) ... Selecting previously unselected package libgl1:riscv64. Preparing to unpack .../234-libgl1_1.3.2-1_riscv64.deb ... Unpacking libgl1:riscv64 (1.3.2-1) ... Selecting previously unselected package libglx-dev:riscv64. Preparing to unpack .../235-libglx-dev_1.3.2-1_riscv64.deb ... Unpacking libglx-dev:riscv64 (1.3.2-1) ... Selecting previously unselected package libgl-dev:riscv64. Preparing to unpack .../236-libgl-dev_1.3.2-1_riscv64.deb ... Unpacking libgl-dev:riscv64 (1.3.2-1) ... Selecting previously unselected package libegl-dev:riscv64. Preparing to unpack .../237-libegl-dev_1.3.2-1_riscv64.deb ... Unpacking libegl-dev:riscv64 (1.3.2-1) ... Selecting previously unselected package libgles1:riscv64. Preparing to unpack .../238-libgles1_1.3.2-1_riscv64.deb ... Unpacking libgles1:riscv64 (1.3.2-1) ... Selecting previously unselected package libgles2:riscv64. Preparing to unpack .../239-libgles2_1.3.2-1_riscv64.deb ... Unpacking libgles2:riscv64 (1.3.2-1) ... Selecting previously unselected package libgles-dev:riscv64. Preparing to unpack .../240-libgles-dev_1.3.2-1_riscv64.deb ... Unpacking libgles-dev:riscv64 (1.3.2-1) ... Selecting previously unselected package libopengl0:riscv64. Preparing to unpack .../241-libopengl0_1.3.2-1_riscv64.deb ... Unpacking libopengl0:riscv64 (1.3.2-1) ... Selecting previously unselected package libopengl-dev:riscv64. Preparing to unpack .../242-libopengl-dev_1.3.2-1_riscv64.deb ... Unpacking libopengl-dev:riscv64 (1.3.2-1) ... Selecting previously unselected package libglvnd-dev:riscv64. Preparing to unpack .../243-libglvnd-dev_1.3.2-1_riscv64.deb ... Unpacking libglvnd-dev:riscv64 (1.3.2-1) ... Selecting previously unselected package libegl1-mesa-dev:riscv64. Preparing to unpack .../244-libegl1-mesa-dev_20.1.5-1_riscv64.deb ... Unpacking libegl1-mesa-dev:riscv64 (20.1.5-1) ... Selecting previously unselected package libgl1-mesa-dev:riscv64. Preparing to unpack .../245-libgl1-mesa-dev_20.1.5-1_riscv64.deb ... Unpacking libgl1-mesa-dev:riscv64 (20.1.5-1) ... Selecting previously unselected package libepoxy-dev:riscv64. Preparing to unpack .../246-libepoxy-dev_1.5.4-1_riscv64.deb ... Unpacking libepoxy-dev:riscv64 (1.5.4-1) ... Selecting previously unselected package libfribidi-dev:riscv64. Preparing to unpack .../247-libfribidi-dev_1.0.8-2_riscv64.deb ... Unpacking libfribidi-dev:riscv64 (1.0.8-2) ... Selecting previously unselected package libgdk-pixbuf2.0-bin. Preparing to unpack .../248-libgdk-pixbuf2.0-bin_2.40.0+dfsg-5_riscv64.deb ... Unpacking libgdk-pixbuf2.0-bin (2.40.0+dfsg-5) ... Selecting previously unselected package libgdk-pixbuf2.0-dev:riscv64. Preparing to unpack .../249-libgdk-pixbuf2.0-dev_2.40.0+dfsg-5_riscv64.deb ... Unpacking libgdk-pixbuf2.0-dev:riscv64 (2.40.0+dfsg-5) ... Selecting previously unselected package libharfbuzz-icu0:riscv64. Preparing to unpack .../250-libharfbuzz-icu0_2.6.4-1ubuntu5_riscv64.deb ... Unpacking libharfbuzz-icu0:riscv64 (2.6.4-1ubuntu5) ... Selecting previously unselected package libharfbuzz-gobject0:riscv64. Preparing to unpack .../251-libharfbuzz-gobject0_2.6.4-1ubuntu5_riscv64.deb ... Unpacking libharfbuzz-gobject0:riscv64 (2.6.4-1ubuntu5) ... Selecting previously unselected package libgraphite2-dev:riscv64. Preparing to unpack .../252-libgraphite2-dev_1.3.14-1_riscv64.deb ... Unpacking libgraphite2-dev:riscv64 (1.3.14-1) ... Selecting previously unselected package libicu-dev:riscv64. Preparing to unpack .../253-libicu-dev_67.1-4_riscv64.deb ... Unpacking libicu-dev:riscv64 (67.1-4) ... Selecting previously unselected package libharfbuzz-dev:riscv64. Preparing to unpack .../254-libharfbuzz-dev_2.6.4-1ubuntu5_riscv64.deb ... Unpacking libharfbuzz-dev:riscv64 (2.6.4-1ubuntu5) ... Selecting previously unselected package libdatrie-dev:riscv64. Preparing to unpack .../255-libdatrie-dev_0.2.12-3_riscv64.deb ... Unpacking libdatrie-dev:riscv64 (0.2.12-3) ... Selecting previously unselected package libthai-dev:riscv64. Preparing to unpack .../256-libthai-dev_0.1.28-3_riscv64.deb ... Unpacking libthai-dev:riscv64 (0.1.28-3) ... Selecting previously unselected package libxft-dev:riscv64. Preparing to unpack .../257-libxft-dev_2.3.3-0ubuntu1_riscv64.deb ... Unpacking libxft-dev:riscv64 (2.3.3-0ubuntu1) ... Selecting previously unselected package pango1.0-tools. Preparing to unpack .../258-pango1.0-tools_1.46.1-1_riscv64.deb ... Unpacking pango1.0-tools (1.46.1-1) ... Selecting previously unselected package libpango1.0-dev:riscv64. Preparing to unpack .../259-libpango1.0-dev_1.46.1-1_riscv64.deb ... Unpacking libpango1.0-dev:riscv64 (1.46.1-1) ... Selecting previously unselected package libwayland-bin. Preparing to unpack .../260-libwayland-bin_1.18.0-2~exp1.1_riscv64.deb ... Unpacking libwayland-bin (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-dev:riscv64. Preparing to unpack .../261-libwayland-dev_1.18.0-2~exp1.1_riscv64.deb ... Unpacking libwayland-dev:riscv64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libxcomposite-dev:riscv64. Preparing to unpack .../262-libxcomposite-dev_1%3a0.4.5-1_riscv64.deb ... Unpacking libxcomposite-dev:riscv64 (1:0.4.5-1) ... Selecting previously unselected package libxcursor-dev:riscv64. Preparing to unpack .../263-libxcursor-dev_1%3a1.2.0-2_riscv64.deb ... Unpacking libxcursor-dev:riscv64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage-dev:riscv64. Preparing to unpack .../264-libxdamage-dev_1%3a1.1.5-2_riscv64.deb ... Unpacking libxdamage-dev:riscv64 (1:1.1.5-2) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../265-x11proto-xinerama-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-xinerama-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxinerama-dev:riscv64. Preparing to unpack .../266-libxinerama-dev_2%3a1.1.4-2_riscv64.deb ... Unpacking libxinerama-dev:riscv64 (2:1.1.4-2) ... Selecting previously unselected package libxkbcommon-dev:riscv64. Preparing to unpack .../267-libxkbcommon-dev_0.10.0-1_riscv64.deb ... Unpacking libxkbcommon-dev:riscv64 (0.10.0-1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../268-x11proto-randr-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-randr-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxrandr-dev:riscv64. Preparing to unpack .../269-libxrandr-dev_2%3a1.5.2-0ubuntu1_riscv64.deb ... Unpacking libxrandr-dev:riscv64 (2:1.5.2-0ubuntu1) ... Selecting previously unselected package wayland-protocols. Preparing to unpack .../270-wayland-protocols_1.20-1_all.deb ... Unpacking wayland-protocols (1.20-1) ... Selecting previously unselected package libgtk-3-dev:riscv64. Preparing to unpack .../271-libgtk-3-dev_3.24.23-1ubuntu1_riscv64.deb ... Unpacking libgtk-3-dev:riscv64 (3.24.23-1ubuntu1) ... Selecting previously unselected package liblablgtk3-ocaml-dev. Preparing to unpack .../272-liblablgtk3-ocaml-dev_3.1.1-1build2_riscv64.deb ... Unpacking liblablgtk3-ocaml-dev (3.1.1-1build2) ... Selecting previously unselected package libxml2-dev:riscv64. Preparing to unpack .../273-libxml2-dev_2.9.10+dfsg-5build1_riscv64.deb ... Unpacking libxml2-dev:riscv64 (2.9.10+dfsg-5build1) ... Selecting previously unselected package libgtksourceview-3.0-dev:riscv64. Preparing to unpack .../274-libgtksourceview-3.0-dev_3.24.11-2_riscv64.deb ... Unpacking libgtksourceview-3.0-dev:riscv64 (3.24.11-2) ... Selecting previously unselected package liblablgtksourceview3-ocaml-dev. Preparing to unpack .../275-liblablgtksourceview3-ocaml-dev_3.1.1-1build2_riscv64.deb ... Unpacking liblablgtksourceview3-ocaml-dev (3.1.1-1build2) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../276-libnum-ocaml-dev_1.3-1_riscv64.deb ... Unpacking libnum-ocaml-dev (1.3-1) ... Selecting previously unselected package libcoq-ocaml-dev. Preparing to unpack .../277-libcoq-ocaml-dev_8.12.0-3_riscv64.deb ... Unpacking libcoq-ocaml-dev (8.12.0-3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../278-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../279-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libpcrecpp0v5:riscv64 (2:8.39-13) ... Setting up libpipeline1:riscv64 (1.5.3-1) ... Setting up libgraphite2-3:riscv64 (1.3.14-1) ... Setting up liblcms2-2:riscv64 (2.9-4) ... Setting up libpixman-1-0:riscv64 (0.38.4-0ubuntu1) ... Setting up libwayland-server0:riscv64 (1.18.0-2~exp1.1) ... Setting up libx11-xcb1:riscv64 (2:1.6.10-3) ... Setting up systemd-sysv (246.4-1ubuntu1) ... Setting up libxau6:riscv64 (1:1.0.9-0ubuntu1) ... Setting up libproxy1v5:riscv64 (0.4.15-13) ... Setting up libpsl5:riscv64 (0.21.0-1.1) ... Setting up libpixman-1-dev:riscv64 (0.38.4-0ubuntu1) ... Setting up mime-support (3.64ubuntu1) ... Setting up libpcre16-3:riscv64 (2:8.39-13) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libicu67:riscv64 (67.1-4) ... Setting up libdatrie1:riscv64 (0.2.12-3) ... Setting up libmagic-mgc (1:5.38-5) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:riscv64 (2.65.3-1) ... Setting up libglvnd0:riscv64 (1.3.2-1) ... Setting up libdebhelper-perl (13.2.1ubuntu1) ... Setting up libbrotli1:riscv64 (1.0.9-2) ... Setting up libgdk-pixbuf2.0-common (2.40.0+dfsg-5) ... Setting up x11-common (1:7.7+19ubuntu14) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up dh-ocaml (1.1.3) ... Setting up libsensors-config (1:3.6.0-2ubuntu1) ... Setting up libmagic1:riscv64 (1:5.38-5) ... Setting up libsepol1-dev:riscv64 (3.1-1) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up xkb-data (2.29-2) ... Setting up liblzo2-2:riscv64 (2.10-2) ... Setting up file (1:5.38-5) ... Setting up libffi-dev:riscv64 (3.4~20200819gead65ca871-0ubuntu3) ... Setting up libpthread-stubs0-dev:riscv64 (0.4-1) ... Setting up libjbig0:riscv64 (2.1-3.1build1) ... Setting up libpcre2-16-0:riscv64 (10.34-7) ... Setting up libcolord2:riscv64 (1.4.4-2build1) ... Setting up libopengl0:riscv64 (1.3.2-1) ... Setting up libdconf1:riscv64 (0.38.0-1) ... Setting up xtrans-dev (1.4.0-1) ... Setting up libgraphite2-dev:riscv64 (1.3.14-1) ... Setting up autotools-dev (20180224.1) ... Setting up libpcre2-32-0:riscv64 (10.34-7) ... Setting up libglib2.0-data (2.66.0-1) ... Setting up libgles2:riscv64 (1.3.2-1) ... Setting up libexpat1-dev:riscv64 (2.2.9-1build1) ... Setting up libfreetype6:riscv64 (2.10.2+dfsg-3) ... Setting up libx11-data (2:1.6.10-3) ... Setting up libepoxy0:riscv64 (1.5.4-1) ... Setting up uuid-dev:riscv64 (2.36-3ubuntu1) ... Setting up libavahi-common-data:riscv64 (0.8-3ubuntu1) ... Setting up libncurses6:riscv64 (6.2-1) ... Setting up libgles1:riscv64 (1.3.2-1) ... Setting up libdbus-1-3:riscv64 (1.12.20-1ubuntu1) ... Setting up dbus (1.12.20-1ubuntu1) ... Setting up libsigsegv2:riscv64 (2.12-2build1) ... Setting up libfribidi0:riscv64 (1.0.8-2) ... Setting up libpcre32-3:riscv64 (2:8.39-13) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up libwebp6:riscv64 (0.6.1-2) ... Setting up icu-devtools (67.1-4) ... Setting up pkg-config (0.29.2-1ubuntu1) ... Setting up fonts-dejavu-core (2.37-2) ... Setting up ucf (3.0043) ... Setting up libpcre2-posix2:riscv64 (10.34-7) ... Setting up libsensors5:riscv64 (1:3.6.0-2ubuntu1) ... Setting up libjpeg-turbo8:riscv64 (2.0.3-0ubuntu2) ... Setting up libglapi-mesa:riscv64 (20.1.5-1) ... Setting up zlib1g-dev:riscv64 (1:1.2.11.dfsg-2ubuntu2) ... Setting up libatk1.0-data (2.36.0-0ubuntu1) ... Setting up wayland-protocols (1.20-1) ... Setting up libdatrie-dev:riscv64 (0.2.12-3) ... Setting up libxshmfence1:riscv64 (1.3-1) ... Setting up libuchardet0:riscv64 (0.0.7-1) ... Setting up libgtksourceview-3.0-common (3.24.11-2) ... Setting up libpam-systemd:riscv64 (246.4-1ubuntu1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libharfbuzz0b:riscv64 (2.6.4-1ubuntu5) ... Setting up libthai-data (0.1.28-3) ... Setting up libgirepository-1.0-1:riscv64 (1.64.1-1build2) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up libjson-glib-1.0-common (1.4.4-2ubuntu2) ... Setting up libatk1.0-0:riscv64 (2.36.0-0ubuntu1) ... Setting up libwayland-egl1:riscv64 (1.18.0-2~exp1.1) ... Setting up ocaml-base-nox (4.08.1-10) ... Setting up libopengl-dev:riscv64 (1.3.2-1) ... Setting up glib-networking-common (2.65.90-1) ... Setting up libpython3.8-stdlib:riscv64 (3.8.5-2ubuntu1) ... Setting up python3.8 (3.8.5-2ubuntu1) ... Setting up libbsd0:riscv64 (0.10.0-1) ... Setting up libdrm-common (2.4.102-1ubuntu1) ... Setting up libelf1:riscv64 (0.180-1) ... Setting up libicu-dev:riscv64 (67.1-4) ... Setting up libxml2:riscv64 (2.9.10+dfsg-5build1) ... Setting up libbrotli-dev:riscv64 (1.0.9-2) ... Setting up libpython3-stdlib:riscv64 (3.8.2-0ubuntu2) ... Setting up libxkbcommon0:riscv64 (0.10.0-1) ... Setting up libwayland-client0:riscv64 (1.18.0-2~exp1.1) ... Setting up libjpeg8:riscv64 (8c-2ubuntu8) ... Setting up x11proto-dev (2019.2-1ubuntu1) ... Setting up libfile-stripnondeterminism-perl (1.9.0-1) ... Setting up glib-networking-services (2.65.90-1) ... Setting up libblkid-dev:riscv64 (2.36-3ubuntu1) ... Setting up libice6:riscv64 (2:1.0.10-0ubuntu1) ... Setting up libxdmcp6:riscv64 (1:1.1.3-0ubuntu1) ... Setting up libncurses-dev:riscv64 (6.2-1) ... Setting up libxcb1:riscv64 (1.14-2) ... Setting up libharfbuzz-icu0:riscv64 (2.6.4-1ubuntu5) ... Setting up libxcb-xfixes0:riscv64 (1.14-2) ... Setting up libxau-dev:riscv64 (1:1.0.9-0ubuntu1) ... Setting up libpcre2-dev:riscv64 (10.34-7) ... Setting up libice-dev:riscv64 (2:1.0.10-0ubuntu1) ... Setting up libtool (2.4.6-14) ... Setting up libxcb-render0:riscv64 (1.14-2) ... Setting up libselinux1-dev:riscv64 (3.1-2) ... Setting up libpcre3-dev:riscv64 (2:8.39-13) ... Setting up fontconfig-config (2.13.1-2ubuntu3) ... Setting up x11proto-randr-dev (2019.2-1ubuntu1) ... Setting up libfribidi-dev:riscv64 (1.0.8-2) ... Setting up libxcb-glx0:riscv64 (1.14-2) ... Setting up libxkbcommon-dev:riscv64 (0.10.0-1) ... Setting up libpng-dev:riscv64 (1.6.37-2) ... Setting up libavahi-common3:riscv64 (0.8-3ubuntu1) ... Setting up libfindlib-ocaml (1.8.1-1build3) ... Setting up libglib2.0-bin (2.65.3-1) ... Setting up m4 (1.4.18-4) ... Setting up python3 (3.8.2-0ubuntu2) ... Setting up libxcb-shm0:riscv64 (1.14-2) ... Setting up libharfbuzz-gobject0:riscv64 (2.6.4-1ubuntu5) ... Setting up x11proto-xinerama-dev (2019.2-1ubuntu1) ... Setting up libjson-glib-1.0-0:riscv64 (1.4.4-2ubuntu2) ... Setting up libfreetype-dev:riscv64 (2.10.2+dfsg-3) ... Setting up libxcb-present0:riscv64 (1.14-2) ... Setting up libthai0:riscv64 (0.1.28-3) ... Setting up dbus-user-session (1.12.20-1ubuntu1) ... Setting up libxdmcp-dev:riscv64 (1:1.1.3-0ubuntu1) ... Setting up libwayland-bin (1.18.0-2~exp1.1) ... Setting up libxml2-dev:riscv64 (2.9.10+dfsg-5build1) ... Setting up libdbus-1-dev:riscv64 (1.12.20-1ubuntu1) ... Setting up libxcb-sync1:riscv64 (1.14-2) ... Setting up x11proto-core-dev (2019.2-1ubuntu1) ... Setting up shared-mime-info (1.15-1) ... Setting up ocaml-findlib (1.8.1-1build3) ... Setting up x11proto-input-dev (2019.2-1ubuntu1) ... Setting up libcroco3:riscv64 (0.6.13-1) ... Setting up gir1.2-glib-2.0:riscv64 (1.64.1-1build2) ... Setting up autoconf (2.69-11.1) ... Setting up libthai-dev:riscv64 (0.1.28-3) ... Setting up libxcb-dri2-0:riscv64 (1.14-2) ... Setting up dh-strip-nondeterminism (1.9.0-1) ... Setting up libnum-ocaml (1.3-1) ... Setting up x11proto-xext-dev (2019.2-1ubuntu1) ... Setting up libdrm2:riscv64 (2.4.102-1ubuntu1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-5) ... Setting up libwayland-cursor0:riscv64 (1.18.0-2~exp1.1) ... Setting up libncurses5-dev:riscv64 (6.2-1) ... Setting up libx11-6:riscv64 (2:1.6.10-3) ... Setting up libtiff5:riscv64 (4.1.0+git191117-2build1) ... Setting up libfontconfig1:riscv64 (2.13.1-2ubuntu3) ... Setting up x11proto-record-dev (2019.2-1ubuntu1) ... Setting up python3-lib2to3 (3.8.5-1) ... Setting up libxcomposite1:riscv64 (1:0.4.5-1) ... Setting up libsm6:riscv64 (2:1.2.3-1) ... Setting up libavahi-client3:riscv64 (0.8-3ubuntu1) ... Setting up libmount-dev:riscv64 (2.36-3ubuntu1) ... Setting up automake (1:1.16.2-4ubuntu1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3-distutils (3.8.5-1) ... Setting up libxcb-dri3-0:riscv64 (1.14-2) ... Setting up libglib2.0-dev-bin (2.65.3-1) ... Setting up fontconfig (2.13.1-2ubuntu3) ... Regenerating fonts cache... done. Setting up libdrm-nouveau2:riscv64 (2.4.102-1ubuntu1) ... Setting up gettext (0.19.8.1-10build1) ... Setting up gir1.2-freedesktop:riscv64 (1.64.1-1build2) ... Setting up libxdamage1:riscv64 (1:1.1.5-2) ... Setting up libxcb1-dev:riscv64 (1.14-2) ... Setting up libxrender1:riscv64 (1:0.9.10-1) ... Setting up libgbm1:riscv64 (20.1.5-1) ... Setting up gir1.2-atk-1.0:riscv64 (2.36.0-0ubuntu1) ... Setting up libsm-dev:riscv64 (2:1.2.3-1) ... Setting up libdrm-radeon1:riscv64 (2.4.102-1ubuntu1) ... Setting up libpango-1.0-0:riscv64 (1.46.1-1) ... Setting up libgl1-mesa-dri:riscv64 (20.1.5-1) ... Setting up libx11-dev:riscv64 (2:1.6.10-3) ... Setting up libxext6:riscv64 (2:1.3.4-0ubuntu1) ... Setting up dconf-service (0.38.0-1) ... Setting up libatspi2.0-0:riscv64 (2.38.0-2) ... Setting up man-db (2.9.3-2) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up libwayland-dev:riscv64 (1.18.0-2~exp1.1) ... Setting up gir1.2-harfbuzz-0.0:riscv64 (2.6.4-1ubuntu5) ... Setting up libcairo2:riscv64 (1.16.0-4ubuntu1) ... Setting up libfreetype6-dev:riscv64 (2.10.2+dfsg-3) ... Setting up libxxf86vm1:riscv64 (1:1.1.4-1build1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libatk-bridge2.0-0:riscv64 (2.38.0-1) ... Setting up libxcb-shm0-dev:riscv64 (1.14-2) ... Setting up libegl-mesa0:riscv64 (20.1.5-1) ... Setting up libglib2.0-dev:riscv64 (2.65.3-1) ... Setting up libxfixes3:riscv64 (1:5.0.3-2) ... Setting up libgdk-pixbuf2.0-0:riscv64 (2.40.0+dfsg-5) ... Setting up libxinerama1:riscv64 (2:1.1.4-2) ... Setting up libxrandr2:riscv64 (2:1.5.2-0ubuntu1) ... Setting up libxcb-render0-dev:riscv64 (1.14-2) ... Setting up libxext-dev:riscv64 (2:1.3.4-0ubuntu1) ... Setting up libcups2:riscv64 (2.3.3-3ubuntu1) ... Setting up libgdk-pixbuf2.0-bin (2.40.0+dfsg-5) ... Setting up libegl1:riscv64 (1.3.2-1) ... Setting up libcairo-gobject2:riscv64 (1.16.0-4ubuntu1) ... Setting up libpangoft2-1.0-0:riscv64 (1.46.1-1) ... Setting up libxrender-dev:riscv64 (1:0.9.10-1) ... Setting up libatk1.0-dev:riscv64 (2.36.0-0ubuntu1) ... Setting up libpangocairo-1.0-0:riscv64 (1.46.1-1) ... Setting up libcairo-script-interpreter2:riscv64 (1.16.0-4ubuntu1) ... Setting up gtk-update-icon-cache (3.24.23-1ubuntu1) ... Setting up libharfbuzz-dev:riscv64 (2.6.4-1ubuntu5) ... Setting up libxft2:riscv64 (2.3.3-0ubuntu1) ... Setting up libfontconfig1-dev:riscv64 (2.13.1-2ubuntu3) ... Setting up libglx-mesa0:riscv64 (20.1.5-1) ... Setting up libpangoxft-1.0-0:riscv64 (1.46.1-1) ... Setting up libxi6:riscv64 (2:1.7.10-1) ... Setting up libglx0:riscv64 (1.3.2-1) ... Setting up dconf-gsettings-backend:riscv64 (0.38.0-1) ... Setting up gir1.2-gdkpixbuf-2.0:riscv64 (2.40.0+dfsg-5) ... Setting up libxtst6:riscv64 (2:1.2.3-1) ... Setting up po-debconf (1.0.21) ... Setting up libxcursor1:riscv64 (1:1.2.0-2) ... Setting up pango1.0-tools (1.46.1-1) ... Setting up libcairo2-ocaml (0.6.1+dfsg-5build1) ... Setting up gir1.2-atspi-2.0:riscv64 (2.38.0-2) ... Setting up libgdk-pixbuf2.0-dev:riscv64 (2.40.0+dfsg-5) ... Setting up libxfixes-dev:riscv64 (1:5.0.3-2) ... Setting up gir1.2-pango-1.0:riscv64 (1.46.1-1) ... Setting up libxrandr-dev:riscv64 (2:1.5.2-0ubuntu1) ... Setting up libgl1:riscv64 (1.3.2-1) ... Setting up libxinerama-dev:riscv64 (2:1.1.4-2) ... Setting up libglx-dev:riscv64 (1.3.2-1) ... Setting up libcairo2-dev:riscv64 (1.16.0-4ubuntu1) ... Setting up libxi-dev:riscv64 (2:1.7.10-1) ... Setting up libgl-dev:riscv64 (1.3.2-1) ... Setting up libgtk-3-common (3.24.23-1ubuntu1) ... Setting up libxft-dev:riscv64 (2.3.3-0ubuntu1) ... Setting up libxtst-dev:riscv64 (2:1.2.3-1) ... Setting up libxdamage-dev:riscv64 (1:1.1.5-2) ... Setting up gsettings-desktop-schemas (3.37.2-1ubuntu1) ... Setting up libatspi2.0-dev:riscv64 (2.38.0-2) ... Setting up libegl-dev:riscv64 (1.3.2-1) ... Setting up libxcomposite-dev:riscv64 (1:0.4.5-1) ... Setting up libxcursor-dev:riscv64 (1:1.2.0-2) ... Setting up libatk-bridge2.0-dev:riscv64 (2.38.0-1) ... Setting up libpango1.0-dev:riscv64 (1.46.1-1) ... Setting up glib-networking:riscv64 (2.65.90-1) ... Setting up libgles-dev:riscv64 (1.3.2-1) ... Setting up libsoup2.4-1:riscv64 (2.72.0-1) ... Setting up libglvnd-dev:riscv64 (1.3.2-1) ... Setting up libgl1-mesa-dev:riscv64 (20.1.5-1) ... Setting up libsoup-gnome2.4-1:riscv64 (2.72.0-1) ... Setting up libegl1-mesa-dev:riscv64 (20.1.5-1) ... Setting up librest-0.7-0:riscv64 (0.8.1-1) ... Setting up libepoxy-dev:riscv64 (1.5.4-1) ... Setting up coq-theories (8.12.0-3) ... Setting up ocaml-compiler-libs (4.08.1-10) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.08.1-10) ... Setting up adwaita-icon-theme (3.38.0-1ubuntu1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up ocaml-nox (4.08.1-10) ... Setting up libcairo2-ocaml-dev (0.6.1+dfsg-5build1) ... Setting up libnum-ocaml-dev (1.3-1) ... Setting up libgtk-3-0:riscv64 (3.24.23-1ubuntu1) ... Setting up gir1.2-gtk-3.0:riscv64 (3.24.23-1ubuntu1) ... Setting up debhelper (13.2.1ubuntu1) ... Setting up libgtksourceview-3.0-1:riscv64 (3.24.11-2) ... Setting up humanity-icon-theme (0.6.15) ... Setting up liblablgtk3-ocaml (3.1.1-1build2) ... Setting up gir1.2-gtksource-3.0:riscv64 (3.24.11-2) ... Setting up libgtk-3-dev:riscv64 (3.24.23-1ubuntu1) ... Setting up liblablgtksourceview3-ocaml (3.1.1-1build2) ... Setting up liblablgtk3-ocaml-dev (3.1.1-1build2) ... Setting up libgtksourceview-3.0-dev:riscv64 (3.24.11-2) ... Setting up ubuntu-mono (20.10-0ubuntu1) ... Setting up libcoq-ocaml (8.12.0-3) ... Setting up coq (8.12.0-3) ... Setting up liblablgtksourceview3-ocaml-dev (3.1.1-1build2) ... Setting up libcoq-ocaml-dev (8.12.0-3) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.32-0ubuntu2) ... Processing triggers for systemd (246.4-1ubuntu1) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any all) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.4.0-21-generic #25-Ubuntu SMP Tue Mar 31 01:57:06 UTC 2020 riscv64 (riscv64) Toolchain package versions: binutils_2.35-3ubuntu1 dpkg-dev_1.20.5ubuntu2 g++-10_10.2.0-8ubuntu1 g++-9_9.3.0-17ubuntu1 gcc-10_10.2.0-8ubuntu1 gcc-9_9.3.0-17ubuntu1 libc6-dev_2.32-0ubuntu2 libstdc++-10-dev_10.2.0-8ubuntu1 libstdc++-9-dev_9.3.0-17ubuntu1 libstdc++6_10.2.0-8ubuntu1 linux-libc-dev_5.8.0-19.20 Package versions: adduser_3.118ubuntu2 advancecomp_2.1-2.1build1 adwaita-icon-theme_3.38.0-1ubuntu1 apt_2.1.10 autoconf_2.69-11.1 automake_1:1.16.2-4ubuntu1 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu12 base-passwd_3.5.47 bash_5.0-6ubuntu2 binutils_2.35-3ubuntu1 binutils-common_2.35-3ubuntu1 binutils-riscv64-linux-gnu_2.35-3ubuntu1 bsdextrautils_2.36-3ubuntu1 bsdutils_1:2.36-3ubuntu1 build-essential_12.8ubuntu3 bzip2_1.0.8-4ubuntu2 ca-certificates_20200601 coq_8.12.0-3 coq-theories_8.12.0-3 coreutils_8.32-3ubuntu1 cpp_4:10.1.0-1ubuntu1 cpp-10_10.2.0-8ubuntu1 cpp-9_9.3.0-17ubuntu1 dash_0.5.10.2-7 dbus_1.12.20-1ubuntu1 dbus-user-session_1.12.20-1ubuntu1 dconf-gsettings-backend_0.38.0-1 dconf-service_0.38.0-1 debconf_1.5.74 debhelper_13.2.1ubuntu1 debianutils_4.11.1 dh-autoreconf_19 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.9.0-1 diffutils_1:3.7-3build1 dpkg_1.20.5ubuntu2 dpkg-dev_1.20.5ubuntu2 dwz_0.13-5 e2fsprogs_1.45.6-1ubuntu1 fakeroot_1.24-1 file_1:5.38-5 findutils_4.7.0-1ubuntu1 fontconfig_2.13.1-2ubuntu3 fontconfig-config_2.13.1-2ubuntu3 fonts-dejavu-core_2.37-2 g++_4:10.1.0-1ubuntu1 g++-10_10.2.0-8ubuntu1 g++-9_9.3.0-17ubuntu1 gcc_4:10.1.0-1ubuntu1 gcc-10_10.2.0-8ubuntu1 gcc-10-base_10.2.0-8ubuntu1 gcc-8-base_8.4.0-4ubuntu1 gcc-9_9.3.0-17ubuntu1 gcc-9-base_9.3.0-17ubuntu1 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gir1.2-atk-1.0_2.36.0-0ubuntu1 gir1.2-atspi-2.0_2.38.0-2 gir1.2-freedesktop_1.64.1-1build2 gir1.2-gdkpixbuf-2.0_2.40.0+dfsg-5 gir1.2-glib-2.0_1.64.1-1build2 gir1.2-gtk-3.0_3.24.23-1ubuntu1 gir1.2-gtksource-3.0_3.24.11-2 gir1.2-harfbuzz-0.0_2.6.4-1ubuntu5 gir1.2-pango-1.0_1.46.1-1 glib-networking_2.65.90-1 glib-networking-common_2.65.90-1 glib-networking-services_2.65.90-1 gpg_2.2.20-1ubuntu1 gpg-agent_2.2.20-1ubuntu1 gpgconf_2.2.20-1ubuntu1 gpgv_2.2.20-1ubuntu1 grep_3.4-1 groff-base_1.22.4-5 gsettings-desktop-schemas_3.37.2-1ubuntu1 gtk-update-icon-cache_3.24.23-1ubuntu1 gzip_1.10-2ubuntu1 hicolor-icon-theme_0.17-2 hostname_3.23 humanity-icon-theme_0.6.15 icu-devtools_67.1-4 init-system-helpers_1.58 intltool-debian_0.35.0+20060710.5 krb5-locales_1.17-10 libacl1_2.2.53-8 libapparmor1_2.13.3-7ubuntu6 libapt-pkg6.0_2.1.10 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2build20.10.0 libassuan0_2.5.3-7.1 libatk-bridge2.0-0_2.38.0-1 libatk-bridge2.0-dev_2.38.0-1 libatk1.0-0_2.36.0-0ubuntu1 libatk1.0-data_2.36.0-0ubuntu1 libatk1.0-dev_2.36.0-0ubuntu1 libatomic1_10.2.0-8ubuntu1 libatspi2.0-0_2.38.0-2 libatspi2.0-dev_2.38.0-2 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3ubuntu1 libaudit1_1:2.8.5-3ubuntu1 libavahi-client3_0.8-3ubuntu1 libavahi-common-data_0.8-3ubuntu1 libavahi-common3_0.8-3ubuntu1 libbinutils_2.35-3ubuntu1 libblkid-dev_2.36-3ubuntu1 libblkid1_2.36-3ubuntu1 libbrotli-dev_1.0.9-2 libbrotli1_1.0.9-2 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-4ubuntu2 libc-bin_2.32-0ubuntu2 libc-dev-bin_2.32-0ubuntu2 libc6_2.32-0ubuntu2 libc6-dev_2.32-0ubuntu2 libcairo-gobject2_1.16.0-4ubuntu1 libcairo-script-interpreter2_1.16.0-4ubuntu1 libcairo2_1.16.0-4ubuntu1 libcairo2-dev_1.16.0-4ubuntu1 libcairo2-ocaml_0.6.1+dfsg-5build1 libcairo2-ocaml-dev_0.6.1+dfsg-5build1 libcap-ng0_0.7.9-2.2 libcap2_1:2.43-1 libcc1-0_10.2.0-8ubuntu1 libcolord2_1.4.4-2build1 libcom-err2_1.45.6-1ubuntu1 libcoq-ocaml_8.12.0-3 libcoq-ocaml-dev_8.12.0-3 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.16-1ubuntu1 libcrypt1_1:4.4.16-1ubuntu1 libcryptsetup12_2:2.3.3-1ubuntu5 libctf-nobfd0_2.35-3ubuntu1 libctf0_2.35-3ubuntu1 libcups2_2.3.3-3ubuntu1 libdatrie-dev_0.2.12-3 libdatrie1_0.2.12-3 libdb5.3_5.3.28+dfsg1-0.6ubuntu3 libdbus-1-3_1.12.20-1ubuntu1 libdbus-1-dev_1.12.20-1ubuntu1 libdconf1_0.38.0-1 libdebconfclient0_0.252ubuntu1 libdebhelper-perl_13.2.1ubuntu1 libdevmapper1.02.1_2:1.02.167-1ubuntu3 libdpkg-perl_1.20.5ubuntu2 libdrm-common_2.4.102-1ubuntu1 libdrm-nouveau2_2.4.102-1ubuntu1 libdrm-radeon1_2.4.102-1ubuntu1 libdrm2_2.4.102-1ubuntu1 libegl-dev_1.3.2-1 libegl-mesa0_20.1.5-1 libegl1_1.3.2-1 libegl1-mesa-dev_20.1.5-1 libelf1_0.180-1 libepoxy-dev_1.5.4-1 libepoxy0_1.5.4-1 libexpat1_2.2.9-1build1 libexpat1-dev_2.2.9-1build1 libext2fs2_1.45.6-1ubuntu1 libfakeroot_1.24-1 libffi-dev_3.4~20200819gead65ca871-0ubuntu3 libffi7_3.3-4 libffi8ubuntu1_3.4~20200819gead65ca871-0ubuntu3 libfile-stripnondeterminism-perl_1.9.0-1 libfindlib-ocaml_1.8.1-1build3 libfontconfig1_2.13.1-2ubuntu3 libfontconfig1-dev_2.13.1-2ubuntu3 libfreetype-dev_2.10.2+dfsg-3 libfreetype6_2.10.2+dfsg-3 libfreetype6-dev_2.10.2+dfsg-3 libfribidi-dev_1.0.8-2 libfribidi0_1.0.8-2 libgbm1_20.1.5-1 libgcc-10-dev_10.2.0-8ubuntu1 libgcc-9-dev_9.3.0-17ubuntu1 libgcc-s1_10.2.0-8ubuntu1 libgcrypt20_1.8.5-5ubuntu2 libgdbm-compat4_1.18.1-5.1 libgdbm6_1.18.1-5.1 libgdk-pixbuf2.0-0_2.40.0+dfsg-5 libgdk-pixbuf2.0-bin_2.40.0+dfsg-5 libgdk-pixbuf2.0-common_2.40.0+dfsg-5 libgdk-pixbuf2.0-dev_2.40.0+dfsg-5 libgirepository-1.0-1_1.64.1-1build2 libgl-dev_1.3.2-1 libgl1_1.3.2-1 libgl1-mesa-dev_20.1.5-1 libgl1-mesa-dri_20.1.5-1 libglapi-mesa_20.1.5-1 libgles-dev_1.3.2-1 libgles1_1.3.2-1 libgles2_1.3.2-1 libglib2.0-0_2.65.3-1 libglib2.0-bin_2.65.3-1 libglib2.0-data_2.66.0-1 libglib2.0-dev_2.65.3-1 libglib2.0-dev-bin_2.65.3-1 libglvnd-dev_1.3.2-1 libglvnd0_1.3.2-1 libglx-dev_1.3.2-1 libglx-mesa0_20.1.5-1 libglx0_1.3.2-1 libgmp10_2:6.2.0+dfsg-6ubuntu1 libgnutls30_3.6.13-4ubuntu5 libgomp1_10.2.0-8ubuntu1 libgpg-error0_1.38-2 libgpm2_1.20.7-6 libgraphite2-3_1.3.14-1 libgraphite2-dev_1.3.14-1 libgssapi-krb5-2_1.17-10 libgtk-3-0_3.24.23-1ubuntu1 libgtk-3-common_3.24.23-1ubuntu1 libgtk-3-dev_3.24.23-1ubuntu1 libgtksourceview-3.0-1_3.24.11-2 libgtksourceview-3.0-common_3.24.11-2 libgtksourceview-3.0-dev_3.24.11-2 libharfbuzz-dev_2.6.4-1ubuntu5 libharfbuzz-gobject0_2.6.4-1ubuntu5 libharfbuzz-icu0_2.6.4-1ubuntu5 libharfbuzz0b_2.6.4-1ubuntu5 libhogweed5_3.5.1+really3.5.1-2 libhogweed6_3.6-2 libice-dev_2:1.0.10-0ubuntu1 libice6_2:1.0.10-0ubuntu1 libicu-dev_67.1-4 libicu67_67.1-4 libidn2-0_2.3.0-1 libip4tc2_1.8.4-3ubuntu3 libisl22_0.22.1-1 libjbig0_2.1-3.1build1 libjpeg-turbo8_2.0.3-0ubuntu2 libjpeg8_8c-2ubuntu8 libjson-c5_0.15-1 libjson-glib-1.0-0_1.4.4-2ubuntu2 libjson-glib-1.0-common_1.4.4-2ubuntu2 libk5crypto3_1.17-10 libkeyutils1_1.6.1-2ubuntu1 libkmod2_27+20200310-2ubuntu1 libkrb5-3_1.17-10 libkrb5support0_1.17-10 liblablgtk3-ocaml_3.1.1-1build2 liblablgtk3-ocaml-dev_3.1.1-1build2 liblablgtksourceview3-ocaml_3.1.1-1build2 liblablgtksourceview3-ocaml-dev_3.1.1-1build2 liblcms2-2_2.9-4 liblocale-gettext-perl_1.07-4 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1ubuntu1 liblzo2-2_2.10-2 libmagic-mgc_1:5.38-5 libmagic1_1:5.38-5 libmount-dev_2.36-3ubuntu1 libmount1_2.36-3ubuntu1 libmpc3_1.2.0~rc1-1 libmpfr6_4.1.0-3 libncurses-dev_6.2-1 libncurses5-dev_6.2-1 libncurses6_6.2-1 libncursesw6_6.2-1 libnettle7_3.5.1+really3.5.1-2 libnettle8_3.6-2 libnpth0_1.6-2 libnsl-dev_1.3.0-0ubuntu3 libnsl2_1.3.0-0ubuntu3 libnss-nis_3.1-0ubuntu4 libnss-nisplus_1.3-0ubuntu4 libnum-ocaml_1.3-1 libnum-ocaml-dev_1.3-1 libopengl-dev_1.3.2-1 libopengl0_1.3.2-1 libp11-kit0_0.23.21-2build1 libpam-modules_1.3.1-5ubuntu6 libpam-modules-bin_1.3.1-5ubuntu6 libpam-runtime_1.3.1-5ubuntu6 libpam-systemd_246.4-1ubuntu1 libpam0g_1.3.1-5ubuntu6 libpango-1.0-0_1.46.1-1 libpango1.0-dev_1.46.1-1 libpangocairo-1.0-0_1.46.1-1 libpangoft2-1.0-0_1.46.1-1 libpangoxft-1.0-0_1.46.1-1 libpcre16-3_2:8.39-13 libpcre2-16-0_10.34-7 libpcre2-32-0_10.34-7 libpcre2-8-0_10.34-7 libpcre2-dev_10.34-7 libpcre2-posix2_10.34-7 libpcre3_2:8.39-13 libpcre3-dev_2:8.39-13 libpcre32-3_2:8.39-13 libpcrecpp0v5_2:8.39-13 libperl5.30_5.30.3-4 libpipeline1_1.5.3-1 libpixman-1-0_0.38.4-0ubuntu1 libpixman-1-dev_0.38.4-0ubuntu1 libpng-dev_1.6.37-2 libpng16-16_1.6.37-2 libproxy1v5_0.4.15-13 libpsl5_0.21.0-1.1 libpthread-stubs0-dev_0.4-1 libpython3-stdlib_3.8.2-0ubuntu2 libpython3.8-minimal_3.8.5-2ubuntu1 libpython3.8-stdlib_3.8.5-2ubuntu1 libreadline8_8.0-4 librest-0.7-0_0.8.1-1 libseccomp2_2.4.3-1ubuntu4 libselinux1_3.1-2 libselinux1-dev_3.1-2 libsemanage-common_3.1-1 libsemanage1_3.1-1 libsensors-config_1:3.6.0-2ubuntu1 libsensors5_1:3.6.0-2ubuntu1 libsepol1_3.1-1 libsepol1-dev_3.1-1 libsigsegv2_2.12-2build1 libsm-dev_2:1.2.3-1 libsm6_2:1.2.3-1 libsmartcols1_2.36-3ubuntu1 libsoup-gnome2.4-1_2.72.0-1 libsoup2.4-1_2.72.0-1 libsqlite3-0_3.33.0-1 libss2_1.45.6-1ubuntu1 libssl1.1_1.1.1f-1ubuntu3 libstdc++-10-dev_10.2.0-8ubuntu1 libstdc++-9-dev_9.3.0-17ubuntu1 libstdc++6_10.2.0-8ubuntu1 libsub-override-perl_0.09-2 libsystemd0_246.4-1ubuntu1 libtasn1-6_4.16.0-2 libtext-charwidth-perl_0.04-10 libtext-iconv-perl_1.7-7 libthai-data_0.1.28-3 libthai-dev_0.1.28-3 libthai0_0.1.28-3 libtiff5_4.1.0+git191117-2build1 libtinfo6_6.2-1 libtirpc-common_1.2.6-1build1 libtirpc-dev_1.2.6-1build1 libtirpc3_1.2.6-1build1 libtool_2.4.6-14 libuchardet0_0.0.7-1 libudev1_246.4-1ubuntu1 libunistring2_0.9.10-4 libuuid1_2.36-3ubuntu1 libwayland-bin_1.18.0-2~exp1.1 libwayland-client0_1.18.0-2~exp1.1 libwayland-cursor0_1.18.0-2~exp1.1 libwayland-dev_1.18.0-2~exp1.1 libwayland-egl1_1.18.0-2~exp1.1 libwayland-server0_1.18.0-2~exp1.1 libwebp6_0.6.1-2 libx11-6_2:1.6.10-3 libx11-data_2:1.6.10-3 libx11-dev_2:1.6.10-3 libx11-xcb1_2:1.6.10-3 libxau-dev_1:1.0.9-0ubuntu1 libxau6_1:1.0.9-0ubuntu1 libxcb-dri2-0_1.14-2 libxcb-dri3-0_1.14-2 libxcb-glx0_1.14-2 libxcb-present0_1.14-2 libxcb-render0_1.14-2 libxcb-render0-dev_1.14-2 libxcb-shm0_1.14-2 libxcb-shm0-dev_1.14-2 libxcb-sync1_1.14-2 libxcb-xfixes0_1.14-2 libxcb1_1.14-2 libxcb1-dev_1.14-2 libxcomposite-dev_1:0.4.5-1 libxcomposite1_1:0.4.5-1 libxcursor-dev_1:1.2.0-2 libxcursor1_1:1.2.0-2 libxdamage-dev_1:1.1.5-2 libxdamage1_1:1.1.5-2 libxdmcp-dev_1:1.1.3-0ubuntu1 libxdmcp6_1:1.1.3-0ubuntu1 libxext-dev_2:1.3.4-0ubuntu1 libxext6_2:1.3.4-0ubuntu1 libxfixes-dev_1:5.0.3-2 libxfixes3_1:5.0.3-2 libxft-dev_2.3.3-0ubuntu1 libxft2_2.3.3-0ubuntu1 libxi-dev_2:1.7.10-1 libxi6_2:1.7.10-1 libxinerama-dev_2:1.1.4-2 libxinerama1_2:1.1.4-2 libxkbcommon-dev_0.10.0-1 libxkbcommon0_0.10.0-1 libxml2_2.9.10+dfsg-5build1 libxml2-dev_2.9.10+dfsg-5build1 libxrandr-dev_2:1.5.2-0ubuntu1 libxrandr2_2:1.5.2-0ubuntu1 libxrender-dev_1:0.9.10-1 libxrender1_1:0.9.10-1 libxshmfence1_1.3-1 libxtst-dev_2:1.2.3-1 libxtst6_2:1.2.3-1 libxxf86vm1_1:1.1.4-1build1 libzstd1_1.4.5+dfsg-4 linux-libc-dev_5.8.0-19.20 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu6 logsave_1.45.6-1ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.3-4ubuntu1 man-db_2.9.3-2 mawk_1.3.4.20200120-2 mime-support_3.64ubuntu1 mount_2.36-3ubuntu1 ncurses-base_6.2-1 ncurses-bin_6.2-1 ocaml-base-nox_4.08.1-10 ocaml-compiler-libs_4.08.1-10 ocaml-findlib_1.8.1-1build3 ocaml-interp_4.08.1-10 ocaml-nox_4.08.1-10 openssl_1.1.1f-1ubuntu3 optipng_0.7.7-1 pango1.0-tools_1.46.1-1 passwd_1:4.8.1-1ubuntu6 patch_2.7.6-6 perl_5.30.3-4 perl-base_5.30.3-4 perl-modules-5.30_5.30.3-4 pinentry-curses_1.1.0-4build1 pkg-config_0.29.2-1ubuntu1 pkgbinarymangler_146 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 python3_3.8.2-0ubuntu2 python3-distutils_3.8.5-1 python3-lib2to3_3.8.5-1 python3-minimal_3.8.2-0ubuntu2 python3.8_3.8.5-2ubuntu1 python3.8-minimal_3.8.5-2ubuntu1 readline-common_8.0-4 rpcsvc-proto_1.4.2-0ubuntu3 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1build1 sensible-utils_0.0.13 shared-mime-info_1.15-1 systemd_246.4-1ubuntu1 systemd-sysv_246.4-1ubuntu1 systemd-timesyncd_246.4-1ubuntu1 sysvinit-utils_2.96-3ubuntu1 tar_1.30+dfsg-7 ubuntu-keyring_2020.06.17.1 ubuntu-mono_20.10-0ubuntu1 ucf_3.0043 util-linux_2.36-3ubuntu1 uuid-dev_2.36-3ubuntu1 wayland-protocols_1.20-1 x11-common_1:7.7+19ubuntu14 x11proto-core-dev_2019.2-1ubuntu1 x11proto-dev_2019.2-1ubuntu1 x11proto-input-dev_2019.2-1ubuntu1 x11proto-randr-dev_2019.2-1ubuntu1 x11proto-record-dev_2019.2-1ubuntu1 x11proto-xext-dev_2019.2-1ubuntu1 x11proto-xinerama-dev_2019.2-1ubuntu1 xkb-data_2.29-2 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.4.0-1 xz-utils_5.2.4-1ubuntu1 zlib1g_1:1.2.11.dfsg-2ubuntu2 zlib1g-dev_1:1.2.11.dfsg-2ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: aac-tactics Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq Architecture: any all Version: 8.11.0-1build3 Maintainer: Debian OCaml Maintainers Uploaders: Stéphane Glondu Homepage: https://github.com/coq-community/aac-tactics Standards-Version: 4.5.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git Build-Depends: debhelper-compat (= 12), ocaml-nox, coq (>= 8.9.0), libcoq-ocaml-dev, dh-ocaml Package-List: libaac-tactics-coq deb math optional arch=all libaac-tactics-ocaml deb ocaml optional arch=any libaac-tactics-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: c2b8f120640800814d756f2089261a07bb6d42d2 65363 aac-tactics_8.11.0.orig.tar.gz da81de662cdb5611bd0ffa48c29b3e22534b719a 3600 aac-tactics_8.11.0-1build3.debian.tar.xz Checksums-Sha256: 6af3a80e7c41cda36193236e5b2640beef33acdd8edff82f78592e92e58d547b 65363 aac-tactics_8.11.0.orig.tar.gz b3f5be1657e390065154e3bed3c85fa87ce2c8549fd4f43798cac8b29bd96bd7 3600 aac-tactics_8.11.0-1build3.debian.tar.xz Files: 7bc607851ba634e160597e726402172e 65363 aac-tactics_8.11.0.orig.tar.gz b8215c6688d5f0c175de2b3db1b93d8b 3600 aac-tactics_8.11.0-1build3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9CUgAACgkQ808JdE6f XdmidA//ZmubSG9vYKzaYPlvqdM98WY/utImtPQS6zTZl3EM4Z/YGXsFAER0KpnA NzgnSpKRUiplGEKfwacRLP+83Ip/P+1GmtyJgu4bsveYJnDwgAI2Y2jPXYS4wbCh aaX72Tq7MQoSQ0xsN/3g4sTWGJ1OOTOsmO9KG54R558G+twAUS0Ip1CkxudDO+uA dJz7AIpTK62CNNAjlWRtFZpiLTer0kEKFirSwVPFGA0U6afi/24yoYCz1baxo7nA ni33OZKDKW/RmiuYgmQYpgLm7ouurxBcCBX7h4Qx/ZabYDCJ88nIw3C59ABK1Oyd Pe2mdTA+fQNF4r1yOMTXmOtrkbMm+KvksfBa6mg9/vVD/IvxFO5/k1WKKI6HbnxX XD4NRtDtxsTz+LXVKvJRJgOHrGHw/DIEcpreKnysFUiqgVexGifSdMzthhlgIgJN fg/cocubWFYx5nMbYn2yY+tbeCrZUHKBouMPxeONzEMaUrm3y87VqWl4bH6iJG6Z sm8KgNzByuKS7mvVs84eG0d0GW91+lYV+3SsRRe3YPfVY+bjZ1ciJcEg3EKr7ezK +2LNSQdX9nWHJOSf8JSlC+o9iWLTbxgqTdW4V8LkY9DDrlRbN/YkJ33zZH1EX3CN 521Sk8BOLTrdL7oQ5rRqEEnD2luo7ktx68z1JxPZhGw8APhNSzw= =uCR1 -----END PGP SIGNATURE----- gpgv: Signature made Sun Aug 23 11:24:48 2020 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./aac-tactics_8.11.0-1build3.dsc dpkg-source: info: extracting aac-tactics in /<> dpkg-source: info: unpacking aac-tactics_8.11.0.orig.tar.gz dpkg-source: info: unpacking aac-tactics_8.11.0-1build3.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=8 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-19866738 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-19866738 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-19866738 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package aac-tactics dpkg-buildpackage: info: source version 8.11.0-1build3 dpkg-buildpackage: info: source distribution groovy dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' /usr/bin/make clean make[2]: Entering directory '/<>' coq_makefile -f _CoqProject -o Makefile.coq /usr/bin/make -f Makefile.coq cleanall make[3]: Entering directory '/<>' rm -f src/aac.cmo src/coq.cmo src/helper.cmo src/search_monad.cmo src/matcher.cmo src/theory.cmo src/print.cmo src/aac_rewrite.cmo src/aac_plugin.cmo rm -f src/aac.cmi src/coq.cmi src/helper.cmi src/search_monad.cmi src/matcher.cmi src/theory.cmi src/print.cmi src/aac_rewrite.cmi src/aac_plugin.cmi src/coq.cmi src/helper.cmi src/search_monad.cmi src/matcher.cmi src/theory.cmi src/print.cmi src/aac_rewrite.cmi rm -f src/aac_plugin.cma rm -f src/aac.cmx src/coq.cmx src/helper.cmx src/search_monad.cmx src/matcher.cmx src/theory.cmx src/print.cmx src/aac_rewrite.cmx src/aac_plugin.cmx rm -f src/aac_plugin.cmxa rm -f src/aac_plugin.cmxs src/aac_plugin.cmxs rm -f src/aac.o src/coq.o src/helper.o src/search_monad.o src/matcher.o src/theory.o src/print.o src/aac_rewrite.o src/aac_plugin.o rm -f src/aac_plugin.a rm -f src/aac.ml rm -f src/aac.mlg.d src/coq.ml.d src/helper.ml.d src/search_monad.ml.d src/matcher.ml.d src/theory.ml.d src/print.ml.d src/aac_rewrite.ml.d src/aac_plugin.mlpack.d src/coq.mli.d src/helper.mli.d src/search_monad.mli.d src/matcher.mli.d src/theory.mli.d src/print.mli.d src/aac_rewrite.mli.d .Makefile.coq.d rm -f find . -name .coq-native -type d -empty -delete rm -f theories/Utils.vo theories/Constants.vo theories/AAC.vo theories/Instances.vo theories/Tutorial.vo theories/Caveats.vo rm -f theories/Utils.vio theories/Constants.vio theories/AAC.vio theories/Instances.vio theories/Tutorial.vio theories/Caveats.vio rm -f theories/Utils.vos theories/Constants.vos theories/AAC.vos theories/Instances.vos theories/Tutorial.vos theories/Caveats.vos rm -f theories/Utils.vok theories/Constants.vok theories/AAC.vok theories/Instances.vok theories/Tutorial.vok theories/Caveats.vok rm -f theories/Utils.v.beautified theories/Constants.v.beautified theories/AAC.v.beautified theories/Instances.v.beautified theories/Tutorial.v.beautified theories/Caveats.v.beautified theories/Utils.v.old theories/Constants.v.old theories/AAC.v.old theories/Instances.v.old theories/Tutorial.v.old theories/Caveats.v.old rm -f all.ps all-gal.ps all.pdf all-gal.pdf all.glob all-mli.tex rm -f theories/Utils.glob theories/Constants.glob theories/AAC.glob theories/Instances.glob theories/Tutorial.glob theories/Caveats.glob rm -f theories/Utils.tex theories/Constants.tex theories/AAC.tex theories/Instances.tex theories/Tutorial.tex theories/Caveats.tex rm -f theories/Utils.g.tex theories/Constants.g.tex theories/AAC.g.tex theories/Instances.g.tex theories/Tutorial.g.tex theories/Caveats.g.tex rm -f pretty-timed-success.ok rm -rf html mlihtml rm -f theories/.Utils.aux theories/.Constants.aux theories/.AAC.aux theories/.Instances.aux theories/.Tutorial.aux theories/.Caveats.aux rm -f time-of-build.log time-of-build-before.log time-of-build-after.log time-of-build-pretty.log time-of-build-both.log rm -f theories/Utils.v.timing theories/Constants.v.timing theories/AAC.v.timing theories/Instances.v.timing theories/Tutorial.v.timing theories/Caveats.v.timing rm -f theories/Utils.v.before-timing theories/Constants.v.before-timing theories/AAC.v.before-timing theories/Instances.v.before-timing theories/Tutorial.v.before-timing theories/Caveats.v.before-timing rm -f theories/Utils.v.after-timing theories/Constants.v.after-timing theories/AAC.v.after-timing theories/Instances.v.after-timing theories/Tutorial.v.after-timing theories/Caveats.v.after-timing rm -f theories/Utils.v.timing.diff theories/Constants.v.timing.diff theories/AAC.v.timing.diff theories/Instances.v.timing.diff theories/Tutorial.v.timing.diff theories/Caveats.v.timing.diff rm -f .lia.cache .nia.cache make[3]: Leaving directory '/<>' rm -f Makefile.coq Makefile.coq.conf make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make Makefile.coq make[2]: Entering directory '/<>' coq_makefile -f _CoqProject -o Makefile.coq make[2]: Leaving directory '/<>' /usr/bin/make -f Makefile.coq byte html make[2]: Entering directory '/<>' "coqdep" -vos -dyndep var -f _CoqProject > ".Makefile.coq.d" || ( RV=$?; rm -f ".Makefile.coq.d"; exit $RV ) "coqpp" src/aac.mlg "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/aac_rewrite.mli" > "src/aac_rewrite.mli.d" || ( RV=$?; rm -f "src/aac_rewrite.mli.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/print.mli" > "src/print.mli.d" || ( RV=$?; rm -f "src/print.mli.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/theory.mli" > "src/theory.mli.d" || ( RV=$?; rm -f "src/theory.mli.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/matcher.mli" > "src/matcher.mli.d" || ( RV=$?; rm -f "src/matcher.mli.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/search_monad.mli" > "src/search_monad.mli.d" || ( RV=$?; rm -f "src/search_monad.mli.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/helper.mli" > "src/helper.mli.d" || ( RV=$?; rm -f "src/helper.mli.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/coq.mli" > "src/coq.mli.d" || ( RV=$?; rm -f "src/coq.mli.d"; exit $RV ) "ocamllibdep" -c -I src "src/aac_plugin.mlpack" > "src/aac_plugin.mlpack.d" || ( RV=$?; rm -f "src/aac_plugin.mlpack.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/aac_rewrite.ml" > "src/aac_rewrite.ml.d" || ( RV=$?; rm -f "src/aac_rewrite.ml.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/print.ml" > "src/print.ml.d" || ( RV=$?; rm -f "src/print.ml.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/theory.ml" > "src/theory.ml.d" || ( RV=$?; rm -f "src/theory.ml.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/matcher.ml" > "src/matcher.ml.d" || ( RV=$?; rm -f "src/matcher.ml.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/search_monad.ml" > "src/search_monad.ml.d" || ( RV=$?; rm -f "src/search_monad.ml.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/helper.ml" > "src/helper.ml.d" || ( RV=$?; rm -f "src/helper.ml.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/coq.ml" > "src/coq.ml.d" || ( RV=$?; rm -f "src/coq.ml.d"; exit $RV ) "/usr/bin/ocamlfind" ocamldep -slash -ml-synonym .mlpack -I src "src/aac.ml" > "src/aac.mlg.d" || ( RV=$?; rm -f "src/aac.mlg.d"; exit $RV ) /usr/bin/make all "OPT:=-byte" -f "Makefile.coq" make[3]: Entering directory '/<>' /usr/bin/make --no-print-directory -f "Makefile.coq" pre-all if [ "8.12.0" != "8.12.0" ]; then\ echo "W: This Makefile was generated by Coq 8.12.0";\ echo "W: while the current Coq version is 8.12.0";\ fi /usr/bin/make --no-print-directory -f "Makefile.coq" real-all "coqc" -q -w +default -I src -Q theories AAC_tactics -Q src AAC_tactics theories/Utils.v "coqc" -q -w +default -I src -Q theories AAC_tactics -Q src AAC_tactics theories/Constants.v "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/coq.mli File "src/coq.mli", line 147, characters 17-31: 147 | val show_proof : Proof_global.t -> unit ^^^^^^^^^^^^^^ Alert deprecated: Proof_global.t Use [Declare.Proof.t] "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/coq.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src File "src/coq.ml", line 48, characters 2-18: 48 | Refiner.tclEVARS sigma gl ^^^^^^^^^^^^^^^^ Alert deprecated: Refiner.tclEVARS Use Proofview.Unsafe.tclEVARS File "src/coq.ml", line 136, characters 25-41: 136 | Tacticals.tclTHENLIST [Refiner.tclEVARS em; k c] goal ^^^^^^^^^^^^^^^^ Alert deprecated: Refiner.tclEVARS Use Proofview.Unsafe.tclEVARS File "src/coq.ml", line 307, characters 16-37: 307 | let carrier = Typing.unsafe_type_of env sigma left in ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Typing.unsafe_type_of Use [type_of] or retyping according to your needs. File "src/coq.ml", line 352, characters 14-35: 352 | let ctype = Typing.unsafe_type_of env sigma c in ^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Typing.unsafe_type_of Use [type_of] or retyping according to your needs. "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/helper.mli findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/helper.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/search_monad.mli findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/search_monad.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/matcher.mli findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/matcher.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src File "src/matcher.ml", line 191, characters 26-44: 191 | let nf_term_compare = Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/theory.mli findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/theory.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src File "src/theory.ml", line 868, characters 24-42: 868 | cap t (List.sort (Pervasives.compare) indices) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/print.mli findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/print.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src File "src/print.ml", line 83, characters 42-60: 83 | let l = List.sort (fun (n,_) (n',_) -> Pervasives.compare n n') l in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/aac_rewrite.mli findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/aac_rewrite.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -c -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 src/aac.ml findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -linkpkg -dontlink num,str,unix,dynlink,threads -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 -pack -o src/aac_plugin.cmo src/coq.cmo src/helper.cmo src/search_monad.cmo src/matcher.cmo src/theory.cmo src/print.cmo src/aac_rewrite.cmo src/aac.cmo findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "/usr/bin/ocamlfind" ocamlc -linkpkg -dontlink num,str,unix,dynlink,threads -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67 -safe-string -strict-sequence -I src -I "/usr/lib/coq//config" -I "/usr/lib/coq//lib" -I "/usr/lib/coq//clib" -I "/usr/lib/coq//kernel" -I "/usr/lib/coq//library" -I "/usr/lib/coq//engine" -I "/usr/lib/coq//pretyping" -I "/usr/lib/coq//interp" -I "/usr/lib/coq//gramlib" -I "/usr/lib/coq//gramlib/.pack" -I "/usr/lib/coq//parsing" -I "/usr/lib/coq//proofs" -I "/usr/lib/coq//tactics" -I "/usr/lib/coq//toplevel" -I "/usr/lib/coq//printing" -I "/usr/lib/coq//ide" -I "/usr/lib/coq//stm" -I "/usr/lib/coq//vernac" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/ltac" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/ssr" -I "/usr/lib/coq//plugins/ssrmatching" -I "/usr/lib/coq//plugins/ssrsearch" -I "/usr/lib/coq//plugins/syntax" -warn-error +a-3 -a -o src/aac_plugin.cma src/aac_plugin.cmo findlib: [WARNING] Interface coq.cmi occurs in several directories: /usr/lib/coq/ide, src "coqc" -q -w +default -I src -Q theories AAC_tactics -Q src AAC_tactics theories/AAC.v "coqc" -q -w +default -I src -Q theories AAC_tactics -Q src AAC_tactics theories/Instances.v File "./theories/Instances.v", line 180, characters 88-92: Error: (in proof aac_orb_Assoc): Attempt to save an incomplete proof make[4]: *** [Makefile.coq:716: theories/Instances.vo] Error 1 make[3]: *** [Makefile.coq:339: all] Error 2 make[3]: Leaving directory '/<>' make[2]: *** [Makefile.coq:807: byte] Error 2 make[2]: Leaving directory '/<>' make[1]: *** [debian/rules:25: override_dh_auto_build] Error 2 make[1]: Leaving directory '/<>' make: *** [debian/rules:18: binary-arch] Error 2 dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2020-09-15T21:31:30Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 1468 Build-Time: 278 Distribution: groovy-proposed Fail-Stage: build Host Architecture: riscv64 Install-Time: 840 Job: aac-tactics_8.11.0-1build3.dsc Machine Architecture: riscv64 Package: aac-tactics Package-Time: 1148 Source-Version: 8.11.0-1build3 Space: 1468 Status: attempted Version: 8.11.0-1build3 -------------------------------------------------------------------------------- Finished at 2020-09-15T21:31:30Z Build needed 00:19:08, 1468k disk space E: Build failure (dpkg-buildpackage died) RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19866738 Scanning for processes to kill in build PACKAGEBUILD-19866738 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19866738 Stopping target for build PACKAGEBUILD-19866738 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19866738 Removing build PACKAGEBUILD-19866738