https://launchpad.net/ubuntu/+source/mathcomp-multinomials/1.5.5-4/+build/23780434 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-014 5.13.0-1019-generic #21~20.04.1-Ubuntu SMP Thu Mar 24 22:36:01 UTC 2022 riscv64 Buildd toolchain package versions: launchpad-buildd_212~550~ubuntu20.04.1 python3-lpbuildd_212~550~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git_1:2.25.1-1ubuntu3.2 dpkg-dev_1.19.7ubuntu3 python3-debian_0.1.36ubuntu1. Syncing the system clock with the buildd NTP service... 24 May 11:15:04 ntpdate[1714558]: adjust time server 10.211.37.1 offset 0.000119 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23780434 --image-type chroot /home/buildd/filecache-default/71606a5f218d7969dca11cc1a0a8ecfd02d5af78 Creating target for build PACKAGEBUILD-23780434 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23780434 Starting target for build PACKAGEBUILD-23780434 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23780434 'deb http://ftpmaster.internal/ubuntu kinetic main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-security main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-updates main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-23780434 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23780434 Updating target for build PACKAGEBUILD-23780434 Get:1 http://ftpmaster.internal/ubuntu kinetic InRelease [267 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic-security InRelease [90.7 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-updates InRelease [90.7 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed InRelease [118 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main riscv64 Packages [1287 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main Translation-en [510 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 Packages [13.4 MB] Get:8 http://ftpmaster.internal/ubuntu kinetic/universe Translation-en [5704 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 Packages [71.7 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic-proposed/main Translation-en [36.1 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 Packages [302 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic-proposed/universe Translation-en [123 kB] Fetched 22.0 MB in 31s (715 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: util-linux-extra The following packages will be upgraded: adduser apt binutils binutils-common binutils-riscv64-linux-gnu bsdutils cpp-11 dash dpkg dpkg-dev fakeroot g++-11 gcc-11 gcc-11-base gcc-12-base init init-system-helpers libapt-pkg6.0 libasan6 libatomic1 libbinutils libblkid1 libcc1-0 libctf-nobfd0 libctf0 libdb5.3 libdpkg-perl libfakeroot libgcc-11-dev libgcc-s1 libgcrypt20 libgomp1 libgpg-error0 libip4tc2 liblzma5 libmount1 libncurses6 libncursesw6 libpng16-16 libreadline8 libsmartcols1 libsqlite3-0 libssl3 libstdc++-11-dev libstdc++6 libtinfo6 libuuid1 libzstd1 linux-libc-dev mount ncurses-base ncurses-bin openssl pinentry-curses readline-common util-linux xz-utils 57 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 58.9 MB of archives. After this operation, 876 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic/main riscv64 bsdutils riscv64 1:2.38-4ubuntu1 [91.0 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libzstd1 riscv64 1.5.2+dfsg-1 [318 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libatomic1 riscv64 12.1.0-2ubuntu1 [7846 B] Get:4 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libgomp1 riscv64 12.1.0-2ubuntu1 [110 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main riscv64 gcc-12-base riscv64 12.1.0-2ubuntu1 [18.8 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libgcc-s1 riscv64 12.1.0-2ubuntu1 [44.0 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libcc1-0 riscv64 12.1.0-2ubuntu1 [42.8 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libstdc++6 riscv64 12.1.0-2ubuntu1 [674 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libgpg-error0 riscv64 1.45-2 [62.7 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libgcrypt20 riscv64 1.10.1-2ubuntu1 [508 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 liblzma5 riscv64 5.2.5-2.1 [93.5 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libapt-pkg6.0 riscv64 2.5.0 [904 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dpkg riscv64 1.21.7ubuntu3 [1300 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 dash riscv64 0.5.11+git20210903+057cd650a4ed-8 [83.8 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic/main riscv64 ncurses-bin riscv64 6.3+20220423-2 [176 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libblkid1 riscv64 2.38-4ubuntu1 [149 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libmount1 riscv64 2.38-4ubuntu1 [157 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libsmartcols1 riscv64 2.38-4ubuntu1 [102 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic/main riscv64 util-linux-extra riscv64 2.38-4ubuntu1 [103 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic/main riscv64 util-linux riscv64 2.38-4ubuntu1 [1142 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 init-system-helpers all 1.63 [38.7 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main riscv64 ncurses-base all 6.3+20220423-2 [21.2 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 adduser all 3.121ubuntu1 [150 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic/main riscv64 apt riscv64 2.5.0 [1336 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic/main riscv64 mount riscv64 2.38-4ubuntu1 [130 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 init riscv64 1.63 [5674 B] Get:27 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libdb5.3 riscv64 5.3.28+dfsg1-0.9 [660 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libncurses6 riscv64 6.3+20220423-2 [92.7 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libncursesw6 riscv64 6.3+20220423-2 [127 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libtinfo6 riscv64 6.3+20220423-2 [89.8 kB] Get:31 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libuuid1 riscv64 2.38-4ubuntu1 [26.2 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libip4tc2 riscv64 1.8.7-1ubuntu6 [18.0 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic/main riscv64 readline-common all 8.1.2-1.2 [53.6 kB] Get:34 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libreadline8 riscv64 8.1.2-1.2 [130 kB] Get:35 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libsqlite3-0 riscv64 3.38.5-1 [572 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libssl3 riscv64 3.0.3-0ubuntu1 [1437 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic/main riscv64 openssl riscv64 3.0.3-0ubuntu1 [1135 kB] Get:38 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libpng16-16 riscv64 1.6.37-5 [174 kB] Get:39 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 xz-utils riscv64 5.2.5-2.1 [80.4 kB] Get:40 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libctf-nobfd0 riscv64 2.38-4ubuntu1 [98.9 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libctf0 riscv64 2.38-4ubuntu1 [96.8 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils-riscv64-linux-gnu riscv64 2.38-4ubuntu1 [911 kB] Get:43 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libbinutils riscv64 2.38-4ubuntu1 [485 kB] Get:44 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils riscv64 2.38-4ubuntu1 [3090 B] Get:45 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils-common riscv64 2.38-4ubuntu1 [214 kB] Get:46 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libasan6 riscv64 11.3.0-3ubuntu1 [2093 kB] Get:47 http://ftpmaster.internal/ubuntu kinetic/main riscv64 g++-11 riscv64 11.3.0-3ubuntu1 [9258 kB] Get:48 http://ftpmaster.internal/ubuntu kinetic/main riscv64 gcc-11 riscv64 11.3.0-3ubuntu1 [15.8 MB] Get:49 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libstdc++-11-dev riscv64 11.3.0-3ubuntu1 [4587 kB] Get:50 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libgcc-11-dev riscv64 11.3.0-3ubuntu1 [2280 kB] Get:51 http://ftpmaster.internal/ubuntu kinetic/main riscv64 cpp-11 riscv64 11.3.0-3ubuntu1 [7947 kB] Get:52 http://ftpmaster.internal/ubuntu kinetic/main riscv64 gcc-11-base riscv64 11.3.0-3ubuntu1 [20.9 kB] Get:53 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dpkg-dev all 1.21.7ubuntu3 [1070 kB] Get:54 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libdpkg-perl all 1.21.7ubuntu3 [236 kB] Get:55 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libfakeroot riscv64 1.29-1ubuntu1 [26.6 kB] Get:56 http://ftpmaster.internal/ubuntu kinetic/main riscv64 fakeroot riscv64 1.29-1ubuntu1 [67.6 kB] Get:57 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 linux-libc-dev riscv64 5.15.0-28.29 [1302 kB] Get:58 http://ftpmaster.internal/ubuntu kinetic/main riscv64 pinentry-curses riscv64 1.2.0-1ubuntu1 [36.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 58.9 MB in 9s (6390 kB/s) (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.38-4ubuntu1_riscv64.deb ... Unpacking bsdutils (1:2.38-4ubuntu1) over (1:2.37.2-4ubuntu3) ... Setting up bsdutils (1:2.38-4ubuntu1) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.2+dfsg-1_riscv64.deb ... Unpacking libzstd1:riscv64 (1.5.2+dfsg-1) over (1.4.8+dfsg-3build1) ... Setting up libzstd1:riscv64 (1.5.2+dfsg-1) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libatomic1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libatomic1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../libgomp1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libgomp1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../gcc-12-base_12.1.0-2ubuntu1_riscv64.deb ... Unpacking gcc-12-base:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up gcc-12-base:riscv64 (12.1.0-2ubuntu1) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libgcc-s1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libgcc-s1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up libgcc-s1:riscv64 (12.1.0-2ubuntu1) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libcc1-0_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libcc1-0:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../libstdc++6_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libstdc++6:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up libstdc++6:riscv64 (12.1.0-2ubuntu1) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.45-2_riscv64.deb ... Unpacking libgpg-error0:riscv64 (1.45-2) over (1.43-3) ... Setting up libgpg-error0:riscv64 (1.45-2) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.10.1-2ubuntu1_riscv64.deb ... Unpacking libgcrypt20:riscv64 (1.10.1-2ubuntu1) over (1.9.4-3ubuntu3) ... Setting up libgcrypt20:riscv64 (1.10.1-2ubuntu1) ... (Reading database ... 13362 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.5-2.1_riscv64.deb ... Unpacking liblzma5:riscv64 (5.2.5-2.1) over (5.2.5-2ubuntu1) ... Setting up liblzma5:riscv64 (5.2.5-2.1) ... (Reading database ... 13362 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.5.0_riscv64.deb ... Unpacking libapt-pkg6.0:riscv64 (2.5.0) over (2.4.5) ... Setting up libapt-pkg6.0:riscv64 (2.5.0) ... (Reading database ... 13362 files and directories currently installed.) Preparing to unpack .../dpkg_1.21.7ubuntu3_riscv64.deb ... Unpacking dpkg (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Setting up dpkg (1.21.7ubuntu3) ... dpkg: warning: This system uses merged-usr-via-aliased-dirs, going behind dpkg's dpkg: warning: back, breaking its core assumptions. This can cause silent file dpkg: warning: overwrites and disappearances, and its general tools misbehavior. dpkg: warning: See . (Reading database ... 13366 files and directories currently installed.) Preparing to unpack .../dash_0.5.11+git20210903+057cd650a4ed-8_riscv64.deb ... Unpacking dash (0.5.11+git20210903+057cd650a4ed-8) over (0.5.11+git20210903+057cd650a4ed-3build1) ... Setting up dash (0.5.11+git20210903+057cd650a4ed-8) ... (Reading database ... 13367 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.3+20220423-2_riscv64.deb ... Unpacking ncurses-bin (6.3+20220423-2) over (6.3-2) ... Setting up ncurses-bin (6.3+20220423-2) ... (Reading database ... 13367 files and directories currently installed.) Preparing to unpack .../libblkid1_2.38-4ubuntu1_riscv64.deb ... Unpacking libblkid1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libblkid1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13367 files and directories currently installed.) Preparing to unpack .../libmount1_2.38-4ubuntu1_riscv64.deb ... Unpacking libmount1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libmount1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13367 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.38-4ubuntu1_riscv64.deb ... Unpacking libsmartcols1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libsmartcols1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13367 files and directories currently installed.) Preparing to unpack .../util-linux_2.38-4ubuntu1_riscv64.deb ... Unpacking util-linux (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... dpkg: warning: unable to delete old directory '/usr/lib/udev': Directory not empty Selecting previously unselected package util-linux-extra. Preparing to unpack .../util-linux-extra_2.38-4ubuntu1_riscv64.deb ... Unpacking util-linux-extra (2.38-4ubuntu1) ... Setting up util-linux-extra (2.38-4ubuntu1) ... (Reading database ... 13379 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.63_all.deb ... Unpacking init-system-helpers (1.63) over (1.62) ... Setting up init-system-helpers (1.63) ... (Reading database ... 13379 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.3+20220423-2_all.deb ... Unpacking ncurses-base (6.3+20220423-2) over (6.3-2) ... Setting up ncurses-base (6.3+20220423-2) ... (Reading database ... 13380 files and directories currently installed.) Preparing to unpack .../adduser_3.121ubuntu1_all.deb ... Unpacking adduser (3.121ubuntu1) over (3.118ubuntu5) ... Setting up adduser (3.121ubuntu1) ... Installing new version of config file /etc/deluser.conf ... (Reading database ... 13377 files and directories currently installed.) Preparing to unpack .../archives/apt_2.5.0_riscv64.deb ... Unpacking apt (2.5.0) over (2.4.5) ... Setting up apt (2.5.0) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../mount_2.38-4ubuntu1_riscv64.deb ... Unpacking mount (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Preparing to unpack .../archives/init_1.63_riscv64.deb ... Unpacking init (1.63) over (1.62) ... Preparing to unpack .../libdb5.3_5.3.28+dfsg1-0.9_riscv64.deb ... Unpacking libdb5.3:riscv64 (5.3.28+dfsg1-0.9) over (5.3.28+dfsg1-0.8ubuntu3) ... Setting up libdb5.3:riscv64 (5.3.28+dfsg1-0.9) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../libncurses6_6.3+20220423-2_riscv64.deb ... Unpacking libncurses6:riscv64 (6.3+20220423-2) over (6.3-2) ... Preparing to unpack .../libncursesw6_6.3+20220423-2_riscv64.deb ... Unpacking libncursesw6:riscv64 (6.3+20220423-2) over (6.3-2) ... Preparing to unpack .../libtinfo6_6.3+20220423-2_riscv64.deb ... Unpacking libtinfo6:riscv64 (6.3+20220423-2) over (6.3-2) ... Setting up libtinfo6:riscv64 (6.3+20220423-2) ... (Reading database ... 13377 files and directories currently installed.) Preparing to unpack .../libuuid1_2.38-4ubuntu1_riscv64.deb ... Unpacking libuuid1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libuuid1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../00-libip4tc2_1.8.7-1ubuntu6_riscv64.deb ... Unpacking libip4tc2:riscv64 (1.8.7-1ubuntu6) over (1.8.7-1ubuntu5) ... Preparing to unpack .../01-readline-common_8.1.2-1.2_all.deb ... Unpacking readline-common (8.1.2-1.2) over (8.1.2-1) ... Preparing to unpack .../02-libreadline8_8.1.2-1.2_riscv64.deb ... Unpacking libreadline8:riscv64 (8.1.2-1.2) over (8.1.2-1) ... Preparing to unpack .../03-libsqlite3-0_3.38.5-1_riscv64.deb ... Unpacking libsqlite3-0:riscv64 (3.38.5-1) over (3.37.2-2) ... Preparing to unpack .../04-libssl3_3.0.3-0ubuntu1_riscv64.deb ... Unpacking libssl3:riscv64 (3.0.3-0ubuntu1) over (3.0.2-0ubuntu1) ... Preparing to unpack .../05-openssl_3.0.3-0ubuntu1_riscv64.deb ... Unpacking openssl (3.0.3-0ubuntu1) over (3.0.2-0ubuntu1) ... Preparing to unpack .../06-libpng16-16_1.6.37-5_riscv64.deb ... Unpacking libpng16-16:riscv64 (1.6.37-5) over (1.6.37-3build5) ... Preparing to unpack .../07-xz-utils_5.2.5-2.1_riscv64.deb ... Unpacking xz-utils (5.2.5-2.1) over (5.2.5-2ubuntu1) ... Preparing to unpack .../08-libctf-nobfd0_2.38-4ubuntu1_riscv64.deb ... Unpacking libctf-nobfd0:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../09-libctf0_2.38-4ubuntu1_riscv64.deb ... Unpacking libctf0:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../10-binutils-riscv64-linux-gnu_2.38-4ubuntu1_riscv64.deb ... Unpacking binutils-riscv64-linux-gnu (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../11-libbinutils_2.38-4ubuntu1_riscv64.deb ... Unpacking libbinutils:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../12-binutils_2.38-4ubuntu1_riscv64.deb ... Unpacking binutils (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../13-binutils-common_2.38-4ubuntu1_riscv64.deb ... Unpacking binutils-common:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../14-libasan6_11.3.0-3ubuntu1_riscv64.deb ... Unpacking libasan6:riscv64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../15-g++-11_11.3.0-3ubuntu1_riscv64.deb ... Unpacking g++-11 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../16-gcc-11_11.3.0-3ubuntu1_riscv64.deb ... Unpacking gcc-11 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../17-libstdc++-11-dev_11.3.0-3ubuntu1_riscv64.deb ... Unpacking libstdc++-11-dev:riscv64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../18-libgcc-11-dev_11.3.0-3ubuntu1_riscv64.deb ... Unpacking libgcc-11-dev:riscv64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../19-cpp-11_11.3.0-3ubuntu1_riscv64.deb ... Unpacking cpp-11 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../20-gcc-11-base_11.3.0-3ubuntu1_riscv64.deb ... Unpacking gcc-11-base:riscv64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../21-dpkg-dev_1.21.7ubuntu3_all.deb ... Unpacking dpkg-dev (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Preparing to unpack .../22-libdpkg-perl_1.21.7ubuntu3_all.deb ... Unpacking libdpkg-perl (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Preparing to unpack .../23-libfakeroot_1.29-1ubuntu1_riscv64.deb ... Unpacking libfakeroot:riscv64 (1.29-1ubuntu1) over (1.28-1ubuntu1) ... Preparing to unpack .../24-fakeroot_1.29-1ubuntu1_riscv64.deb ... Unpacking fakeroot (1.29-1ubuntu1) over (1.28-1ubuntu1) ... Preparing to unpack .../25-linux-libc-dev_5.15.0-28.29_riscv64.deb ... Unpacking linux-libc-dev:riscv64 (5.15.0-28.29) over (5.15.0-27.28) ... Preparing to unpack .../26-pinentry-curses_1.2.0-1ubuntu1_riscv64.deb ... Unpacking pinentry-curses (1.2.0-1ubuntu1) over (1.1.1-1build2) ... Setting up libip4tc2:riscv64 (1.8.7-1ubuntu6) ... Setting up gcc-11-base:riscv64 (11.3.0-3ubuntu1) ... Setting up init (1.63) ... Setting up libsqlite3-0:riscv64 (3.38.5-1) ... Setting up binutils-common:riscv64 (2.38-4ubuntu1) ... Setting up libssl3:riscv64 (3.0.3-0ubuntu1) ... Setting up linux-libc-dev:riscv64 (5.15.0-28.29) ... Setting up libctf-nobfd0:riscv64 (2.38-4ubuntu1) ... Setting up libgomp1:riscv64 (12.1.0-2ubuntu1) ... Setting up libfakeroot:riscv64 (1.29-1ubuntu1) ... Setting up libasan6:riscv64 (11.3.0-3ubuntu1) ... Setting up fakeroot (1.29-1ubuntu1) ... Setting up libncurses6:riscv64 (6.3+20220423-2) ... Setting up xz-utils (5.2.5-2.1) ... Setting up libpng16-16:riscv64 (1.6.37-5) ... Setting up libatomic1:riscv64 (12.1.0-2ubuntu1) ... Setting up util-linux (2.38-4ubuntu1) ... Setting up libncursesw6:riscv64 (6.3+20220423-2) ... Setting up libdpkg-perl (1.21.7ubuntu3) ... Setting up libgcc-11-dev:riscv64 (11.3.0-3ubuntu1) ... Setting up mount (2.38-4ubuntu1) ... Setting up libbinutils:riscv64 (2.38-4ubuntu1) ... Setting up openssl (3.0.3-0ubuntu1) ... Setting up readline-common (8.1.2-1.2) ... Setting up libcc1-0:riscv64 (12.1.0-2ubuntu1) ... Setting up libctf0:riscv64 (2.38-4ubuntu1) ... Setting up pinentry-curses (1.2.0-1ubuntu1) ... Setting up cpp-11 (11.3.0-3ubuntu1) ... Setting up libreadline8:riscv64 (8.1.2-1.2) ... Setting up binutils-riscv64-linux-gnu (2.38-4ubuntu1) ... Setting up binutils (2.38-4ubuntu1) ... Setting up dpkg-dev (1.21.7ubuntu3) ... Setting up libstdc++-11-dev:riscv64 (11.3.0-3ubuntu1) ... Setting up gcc-11 (11.3.0-3ubuntu1) ... Setting up g++-11 (11.3.0-3ubuntu1) ... Processing triggers for debianutils (5.7-0.2) ... Processing triggers for libc-bin (2.35-0ubuntu3) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-23780434 riscv64 kinetic-proposed -c chroot:build-PACKAGEBUILD-23780434 --arch=riscv64 --dist=kinetic-proposed --nolog mathcomp-multinomials_1.5.5-4.dsc Initiating build PACKAGEBUILD-23780434 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 5.13.0-1019-generic #21~20.04.1-Ubuntu SMP Thu Mar 24 22:36:01 UTC 2022 riscv64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on riscv64-qemu-lcy01-014.buildd +==============================================================================+ | mathcomp-multinomials 1.5.5-4 (riscv64) Tue, 24 May 2022 11:20:28 +0000 | +==============================================================================+ Package: mathcomp-multinomials Version: 1.5.5-4 Source Version: 1.5.5-4 Distribution: kinetic-proposed Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-23780434/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-multinomials-pWJoKV/resolver-bOkAqF' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- mathcomp-multinomials_1.5.5-4.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/mathcomp-multinomials-pWJoKV/mathcomp-multinomials-1.5.5' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-multinomials-pWJoKV' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune, 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 [424 B] Get:5 copy:/<>/apt_archive ./ Packages [508 B] Fetched 1889 B in 1s (2784 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 additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcoq-core-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-fingroup libcoq-mathcomp-finmap libcoq-mathcomp-ssreflect libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libicu71 libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.10 python3.10-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.10-venv python3.10-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcoq-core-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-fingroup libcoq-mathcomp-finmap libcoq-mathcomp-ssreflect libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libicu71 libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.10 python3.10-minimal sbuild-build-depends-main-dummy 0 upgraded, 63 newly installed, 0 to remove and 0 not upgraded. Need to get 323 MB of archives. After this operation, 1178 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [722 B] Get:2 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libpython3.10-minimal riscv64 3.10.4-4 [787 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libexpat1 riscv64 2.4.8-1 [85.1 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 python3.10-minimal riscv64 3.10.4-4 [1785 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main riscv64 python3-minimal riscv64 3.10.4-0ubuntu2 [24.4 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main riscv64 media-types all 8.0.0 [24.9 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libmpdec3 riscv64 2.5.1-2build2 [85.3 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libpython3.10-stdlib riscv64 3.10.4-4 [1694 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 python3.10 riscv64 3.10.4-4 [487 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libpython3-stdlib riscv64 3.10.4-0ubuntu2 [6988 B] Get:11 http://ftpmaster.internal/ubuntu kinetic/main riscv64 python3 riscv64 3.10.4-0ubuntu2 [22.8 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libelf1 riscv64 0.187-1 [46.4 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libicu71 riscv64 71.1-3 [10.5 MB] Get:14 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libxml2 riscv64 2.9.14+dfsg-1 [597 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic/main riscv64 bsdextrautils riscv64 2.38-4ubuntu1 [81.5 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libmagic-mgc riscv64 1:5.41-4 [257 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libmagic1 riscv64 1:5.41-4 [88.7 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 file riscv64 1:5.41-4 [20.6 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic/main riscv64 gettext-base riscv64 0.21-4ubuntu4 [38.7 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libuchardet0 riscv64 0.0.7-1build2 [78.9 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic/main riscv64 groff-base riscv64 1.22.4-8build1 [925 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libpipeline1 riscv64 1.5.6-1 [26.1 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic/main riscv64 man-db riscv64 2.10.2-1 [1144 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libsigsegv2 riscv64 2.13-1ubuntu3 [13.6 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic/main riscv64 m4 riscv64 1.4.18-5ubuntu2 [193 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic/main riscv64 autoconf all 2.71-2 [338 kB] Get:27 http://ftpmaster.internal/ubuntu kinetic/main riscv64 autotools-dev all 20220109.1 [44.9 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic/main riscv64 automake all 1:1.16.5-1.3 [558 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic/main riscv64 autopoint all 0.21-4ubuntu4 [422 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 libcoq-stdlib riscv64 8.15.1+dfsg-2 [24.5 MB] Get:31 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-base riscv64 4.13.1-3ubuntu1 [505 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libzarith-ocaml riscv64 1.12-1build1 [56.0 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 libcoq-core-ocaml riscv64 8.15.1+dfsg-2 [26.7 MB] Get:34 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-compiler-libs riscv64 4.13.1-3ubuntu1 [38.7 MB] Get:35 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-interp riscv64 4.13.1-3ubuntu1 [7490 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libncurses-dev riscv64 6.3+20220423-2 [867 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libncurses5-dev riscv64 6.3+20220423-2 [796 B] Get:38 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml riscv64 4.13.1-3ubuntu1 [88.8 MB] Get:39 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-nox all 4.13.1-3ubuntu1 [3082 B] Get:40 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libfindlib-ocaml riscv64 1.9.3-1 [197 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-findlib riscv64 1.9.3-1 [518 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 coq riscv64 8.15.1+dfsg-2 [93.6 MB] Get:43 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libdebhelper-perl all 13.7.1ubuntu1 [66.9 kB] Get:44 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libtool all 2.4.7-4 [166 kB] Get:45 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dh-autoreconf all 20 [16.1 kB] Get:46 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:47 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libsub-override-perl all 0.09-2 [9532 B] Get:48 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libfile-stripnondeterminism-perl all 1.13.0-1 [18.1 kB] Get:49 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dh-strip-nondeterminism all 1.13.0-1 [5344 B] Get:50 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libdw1 riscv64 0.187-1 [227 kB] Get:51 http://ftpmaster.internal/ubuntu kinetic/main riscv64 debugedit riscv64 1:5.0-4build1 [50.0 kB] Get:52 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dwz riscv64 0.14-1build2 [105 kB] Get:53 http://ftpmaster.internal/ubuntu kinetic/main riscv64 gettext riscv64 0.21-4ubuntu4 [817 kB] Get:54 http://ftpmaster.internal/ubuntu kinetic/main riscv64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:55 http://ftpmaster.internal/ubuntu kinetic/main riscv64 po-debconf all 1.0.21+nmu1 [233 kB] Get:56 http://ftpmaster.internal/ubuntu kinetic/main riscv64 debhelper all 13.7.1ubuntu1 [940 kB] Get:57 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 libcoq-mathcomp-ssreflect riscv64 1.14.0-10 [4648 kB] Get:58 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 libcoq-mathcomp-fingroup riscv64 1.14.0-10 [2116 kB] Get:59 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 libcoq-mathcomp-algebra riscv64 1.14.0-10 [7286 kB] Get:60 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-bigenough riscv64 1.0.1-5 [27.4 kB] Get:61 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-finmap riscv64 1.5.1-5 [790 kB] Get:62 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-dune riscv64 2.9.1-1build1 [2505 kB] Get:63 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 dh-ocaml all 1.1.3 [78.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 323 MB in 50s (6505 kB/s) Selecting previously unselected package libpython3.10-minimal:riscv64. (Reading database ... 13417 files and directories currently installed.) Preparing to unpack .../libpython3.10-minimal_3.10.4-4_riscv64.deb ... Unpacking libpython3.10-minimal:riscv64 (3.10.4-4) ... Selecting previously unselected package libexpat1:riscv64. Preparing to unpack .../libexpat1_2.4.8-1_riscv64.deb ... Unpacking libexpat1:riscv64 (2.4.8-1) ... Selecting previously unselected package python3.10-minimal. Preparing to unpack .../python3.10-minimal_3.10.4-4_riscv64.deb ... Unpacking python3.10-minimal (3.10.4-4) ... Setting up libpython3.10-minimal:riscv64 (3.10.4-4) ... Setting up libexpat1:riscv64 (2.4.8-1) ... Setting up python3.10-minimal (3.10.4-4) ... Selecting previously unselected package python3-minimal. (Reading database ... 13719 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.10.4-0ubuntu2_riscv64.deb ... Unpacking python3-minimal (3.10.4-0ubuntu2) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_8.0.0_all.deb ... Unpacking media-types (8.0.0) ... Selecting previously unselected package libmpdec3:riscv64. Preparing to unpack .../2-libmpdec3_2.5.1-2build2_riscv64.deb ... Unpacking libmpdec3:riscv64 (2.5.1-2build2) ... Selecting previously unselected package libpython3.10-stdlib:riscv64. Preparing to unpack .../3-libpython3.10-stdlib_3.10.4-4_riscv64.deb ... Unpacking libpython3.10-stdlib:riscv64 (3.10.4-4) ... Selecting previously unselected package python3.10. Preparing to unpack .../4-python3.10_3.10.4-4_riscv64.deb ... Unpacking python3.10 (3.10.4-4) ... Selecting previously unselected package libpython3-stdlib:riscv64. Preparing to unpack .../5-libpython3-stdlib_3.10.4-0ubuntu2_riscv64.deb ... Unpacking libpython3-stdlib:riscv64 (3.10.4-0ubuntu2) ... Setting up python3-minimal (3.10.4-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 14120 files and directories currently installed.) Preparing to unpack .../00-python3_3.10.4-0ubuntu2_riscv64.deb ... Unpacking python3 (3.10.4-0ubuntu2) ... Selecting previously unselected package libelf1:riscv64. Preparing to unpack .../01-libelf1_0.187-1_riscv64.deb ... Unpacking libelf1:riscv64 (0.187-1) ... Selecting previously unselected package libicu71:riscv64. Preparing to unpack .../02-libicu71_71.1-3_riscv64.deb ... Unpacking libicu71:riscv64 (71.1-3) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.14+dfsg-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../04-bsdextrautils_2.38-4ubuntu1_riscv64.deb ... Unpacking bsdextrautils (2.38-4ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.41-4_riscv64.deb ... Unpacking libmagic-mgc (1:5.41-4) ... Selecting previously unselected package libmagic1:riscv64. Preparing to unpack .../06-libmagic1_1%3a5.41-4_riscv64.deb ... Unpacking libmagic1:riscv64 (1:5.41-4) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.41-4_riscv64.deb ... Unpacking file (1:5.41-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../08-gettext-base_0.21-4ubuntu4_riscv64.deb ... Unpacking gettext-base (0.21-4ubuntu4) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../09-libuchardet0_0.0.7-1build2_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.7-1build2) ... Selecting previously unselected package groff-base. Preparing to unpack .../10-groff-base_1.22.4-8build1_riscv64.deb ... Unpacking groff-base (1.22.4-8build1) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../11-libpipeline1_1.5.6-1_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.6-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.10.2-1_riscv64.deb ... Unpacking man-db (2.10.2-1) ... Selecting previously unselected package libsigsegv2:riscv64. Preparing to unpack .../13-libsigsegv2_2.13-1ubuntu3_riscv64.deb ... Unpacking libsigsegv2:riscv64 (2.13-1ubuntu3) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-5ubuntu2_riscv64.deb ... Unpacking m4 (1.4.18-5ubuntu2) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.71-2_all.deb ... Unpacking autoconf (2.71-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.21-4ubuntu4_all.deb ... Unpacking autopoint (0.21-4ubuntu4) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../19-libcoq-stdlib_8.15.1+dfsg-2_riscv64.deb ... Unpacking libcoq-stdlib (8.15.1+dfsg-2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml-base (4.13.1-3ubuntu1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../21-libzarith-ocaml_1.12-1build1_riscv64.deb ... Unpacking libzarith-ocaml (1.12-1build1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../22-libcoq-core-ocaml_8.15.1+dfsg-2_riscv64.deb ... Unpacking libcoq-core-ocaml (8.15.1+dfsg-2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../23-ocaml-compiler-libs_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml-compiler-libs (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml-interp (4.13.1-3ubuntu1) ... Selecting previously unselected package libncurses-dev:riscv64. Preparing to unpack .../25-libncurses-dev_6.3+20220423-2_riscv64.deb ... Unpacking libncurses-dev:riscv64 (6.3+20220423-2) ... Selecting previously unselected package libncurses5-dev:riscv64. Preparing to unpack .../26-libncurses5-dev_6.3+20220423-2_riscv64.deb ... Unpacking libncurses5-dev:riscv64 (6.3+20220423-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../27-ocaml_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../28-ocaml-nox_4.13.1-3ubuntu1_all.deb ... Unpacking ocaml-nox (4.13.1-3ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../29-libfindlib-ocaml_1.9.3-1_riscv64.deb ... Unpacking libfindlib-ocaml (1.9.3-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../30-ocaml-findlib_1.9.3-1_riscv64.deb ... Unpacking ocaml-findlib (1.9.3-1) ... Selecting previously unselected package coq. Preparing to unpack .../31-coq_8.15.1+dfsg-2_riscv64.deb ... Unpacking coq (8.15.1+dfsg-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../32-libdebhelper-perl_13.7.1ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.7.1ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../33-libtool_2.4.7-4_all.deb ... Unpacking libtool (2.4.7-4) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../34-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../35-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 .../36-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 .../37-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../38-dh-strip-nondeterminism_1.13.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.0-1) ... Selecting previously unselected package libdw1:riscv64. Preparing to unpack .../39-libdw1_0.187-1_riscv64.deb ... Unpacking libdw1:riscv64 (0.187-1) ... Selecting previously unselected package debugedit. Preparing to unpack .../40-debugedit_1%3a5.0-4build1_riscv64.deb ... Unpacking debugedit (1:5.0-4build1) ... Selecting previously unselected package dwz. Preparing to unpack .../41-dwz_0.14-1build2_riscv64.deb ... Unpacking dwz (0.14-1build2) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.21-4ubuntu4_riscv64.deb ... Unpacking gettext (0.21-4ubuntu4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../43-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 .../44-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../45-debhelper_13.7.1ubuntu1_all.deb ... Unpacking debhelper (13.7.1ubuntu1) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../46-libcoq-mathcomp-ssreflect_1.14.0-10_riscv64.deb ... Unpacking libcoq-mathcomp-ssreflect (1.14.0-10) ... Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../47-libcoq-mathcomp-fingroup_1.14.0-10_riscv64.deb ... Unpacking libcoq-mathcomp-fingroup (1.14.0-10) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../48-libcoq-mathcomp-algebra_1.14.0-10_riscv64.deb ... Unpacking libcoq-mathcomp-algebra (1.14.0-10) ... Selecting previously unselected package libcoq-mathcomp-bigenough. Preparing to unpack .../49-libcoq-mathcomp-bigenough_1.0.1-5_riscv64.deb ... Unpacking libcoq-mathcomp-bigenough (1.0.1-5) ... Selecting previously unselected package libcoq-mathcomp-finmap. Preparing to unpack .../50-libcoq-mathcomp-finmap_1.5.1-5_riscv64.deb ... Unpacking libcoq-mathcomp-finmap (1.5.1-5) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../51-ocaml-dune_2.9.1-1build1_riscv64.deb ... Unpacking ocaml-dune (2.9.1-1build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../52-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 .../53-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (8.0.0) ... Setting up libpipeline1:riscv64 (1.5.6-1) ... Setting up libicu71:riscv64 (71.1-3) ... Setting up libncurses-dev:riscv64 (6.3+20220423-2) ... Setting up bsdextrautils (2.38-4ubuntu1) ... Setting up libmagic-mgc (1:5.41-4) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.7.1ubuntu1) ... Setting up dh-ocaml (1.1.3) ... Setting up libmagic1:riscv64 (1:5.41-4) ... Setting up gettext-base (0.21-4ubuntu4) ... Setting up file (1:5.41-4) ... Setting up ocaml-dune (2.9.1-1build1) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.15.1+dfsg-2) ... Setting up libsigsegv2:riscv64 (2.13-1ubuntu3) ... Setting up autopoint (0.21-4ubuntu4) ... Setting up ocaml-base (4.13.1-3ubuntu1) ... Setting up libuchardet0:riscv64 (0.0.7-1build2) ... Setting up libncurses5-dev:riscv64 (6.3+20220423-2) ... Setting up libmpdec3:riscv64 (2.5.1-2build2) ... Setting up libsub-override-perl (0.09-2) ... Setting up libelf1:riscv64 (0.187-1) ... Setting up libxml2:riscv64 (2.9.14+dfsg-1) ... Setting up libfile-stripnondeterminism-perl (1.13.0-1) ... Setting up libdw1:riscv64 (0.187-1) ... Setting up gettext (0.21-4ubuntu4) ... Setting up libtool (2.4.7-4) ... Setting up libfindlib-ocaml (1.9.3-1) ... Setting up m4 (1.4.18-5ubuntu2) ... Setting up libzarith-ocaml (1.12-1build1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libpython3.10-stdlib:riscv64 (3.10.4-4) ... Setting up ocaml-findlib (1.9.3-1) ... Setting up autoconf (2.71-2) ... Setting up dh-strip-nondeterminism (1.13.0-1) ... Setting up dwz (0.14-1build2) ... Setting up libcoq-core-ocaml (8.15.1+dfsg-2) ... Setting up groff-base (1.22.4-8build1) ... Setting up debugedit (1:5.0-4build1) ... Setting up libpython3-stdlib:riscv64 (3.10.4-0ubuntu2) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3.10 (3.10.4-4) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.10.4-0ubuntu2) ... Setting up man-db (2.10.2-1) ... 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 dh-autoreconf (20) ... Setting up debhelper (13.7.1ubuntu1) ... Setting up ocaml-compiler-libs (4.13.1-3ubuntu1) ... Setting up ocaml-interp (4.13.1-3ubuntu1) ... Setting up ocaml (4.13.1-3ubuntu1) ... Setting up ocaml-nox (4.13.1-3ubuntu1) ... Setting up coq (8.15.1+dfsg-2) ... Setting up libcoq-mathcomp-ssreflect (1.14.0-10) ... Setting up libcoq-mathcomp-bigenough (1.0.1-5) ... Setting up libcoq-mathcomp-fingroup (1.14.0-10) ... Setting up libcoq-mathcomp-algebra (1.14.0-10) ... Setting up libcoq-mathcomp-finmap (1.5.1-5) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.35-0ubuntu3) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.13.0-1019-generic #21~20.04.1-Ubuntu SMP Thu Mar 24 22:36:01 UTC 2022 riscv64 (riscv64) Toolchain package versions: binutils_2.38-4ubuntu1 dpkg-dev_1.21.7ubuntu3 g++-11_11.3.0-3ubuntu1 gcc-11_11.3.0-3ubuntu1 libc6-dev_2.35-0ubuntu3 libstdc++-11-dev_11.3.0-3ubuntu1 libstdc++6_12.1.0-2ubuntu1 linux-libc-dev_5.15.0-28.29 Package versions: adduser_3.121ubuntu1 advancecomp_2.1-2.1ubuntu2 apt_2.5.0 autoconf_2.71-2 automake_1:1.16.5-1.3 autopoint_0.21-4ubuntu4 autotools-dev_20220109.1 base-files_12ubuntu5 base-passwd_3.5.52build1 bash_5.1-6ubuntu1 binutils_2.38-4ubuntu1 binutils-common_2.38-4ubuntu1 binutils-riscv64-linux-gnu_2.38-4ubuntu1 bsdextrautils_2.38-4ubuntu1 bsdutils_1:2.38-4ubuntu1 build-essential_12.9ubuntu3 bzip2_1.0.8-5build1 ca-certificates_20211016 coq_8.15.1+dfsg-2 coreutils_8.32-4.1ubuntu1 cpp_4:11.2.0-1ubuntu1 cpp-11_11.3.0-3ubuntu1 dash_0.5.11+git20210903+057cd650a4ed-8 debconf_1.5.79ubuntu1 debhelper_13.7.1ubuntu1 debianutils_5.7-0.2 debugedit_1:5.0-4build1 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.13.0-1 diffutils_1:3.8-0ubuntu2 dpkg_1.21.7ubuntu3 dpkg-dev_1.21.7ubuntu3 dwz_0.14-1build2 e2fsprogs_1.46.5-2ubuntu1 fakeroot_1.29-1ubuntu1 file_1:5.41-4 findutils_4.8.0-1ubuntu3 g++_4:11.2.0-1ubuntu1 g++-11_11.3.0-3ubuntu1 gcc_4:11.2.0-1ubuntu1 gcc-11_11.3.0-3ubuntu1 gcc-11-base_11.3.0-3ubuntu1 gcc-12-base_12.1.0-2ubuntu1 gettext_0.21-4ubuntu4 gettext-base_0.21-4ubuntu4 gpg_2.2.27-3ubuntu2 gpg-agent_2.2.27-3ubuntu2 gpgconf_2.2.27-3ubuntu2 gpgv_2.2.27-3ubuntu2 grep_3.7-1build1 groff-base_1.22.4-8build1 gzip_1.10-4ubuntu4 hostname_3.23ubuntu2 init_1.63 init-system-helpers_1.63 intltool-debian_0.35.0+20060710.5 libacl1_2.3.1-1 libapparmor1_3.0.4-2ubuntu2 libapt-pkg6.0_2.5.0 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.3 libasan6_11.3.0-3ubuntu1 libassuan0_2.5.5-3 libatomic1_12.1.0-2ubuntu1 libattr1_1:2.5.1-1build1 libaudit-common_1:3.0.7-1build1 libaudit1_1:3.0.7-1build1 libbinutils_2.38-4ubuntu1 libblkid1_2.38-4ubuntu1 libbz2-1.0_1.0.8-5build1 libc-bin_2.35-0ubuntu3 libc-dev-bin_2.35-0ubuntu3 libc6_2.35-0ubuntu3 libc6-dev_2.35-0ubuntu3 libcap-ng0_0.7.9-2.2build3 libcap2_1:2.44-1build3 libcc1-0_12.1.0-2ubuntu1 libcom-err2_1.46.5-2ubuntu1 libcoq-core-ocaml_8.15.1+dfsg-2 libcoq-mathcomp-algebra_1.14.0-10 libcoq-mathcomp-bigenough_1.0.1-5 libcoq-mathcomp-fingroup_1.14.0-10 libcoq-mathcomp-finmap_1.5.1-5 libcoq-mathcomp-ssreflect_1.14.0-10 libcoq-stdlib_8.15.1+dfsg-2 libcrypt-dev_1:4.4.27-1 libcrypt1_1:4.4.27-1 libcryptsetup12_2:2.4.3-1ubuntu1 libctf-nobfd0_2.38-4ubuntu1 libctf0_2.38-4ubuntu1 libdb5.3_5.3.28+dfsg1-0.9 libdebconfclient0_0.261ubuntu1 libdebhelper-perl_13.7.1ubuntu1 libdevmapper1.02.1_2:1.02.175-2.1ubuntu4 libdpkg-perl_1.21.7ubuntu3 libdw1_0.187-1 libelf1_0.187-1 libexpat1_2.4.8-1 libext2fs2_1.46.5-2ubuntu1 libfakeroot_1.29-1ubuntu1 libffi8_3.4.2-4 libfile-stripnondeterminism-perl_1.13.0-1 libfindlib-ocaml_1.9.3-1 libgcc-11-dev_11.3.0-3ubuntu1 libgcc-s1_12.1.0-2ubuntu1 libgcrypt20_1.10.1-2ubuntu1 libgdbm-compat4_1.23-1 libgdbm6_1.23-1 libgmp10_2:6.2.1+dfsg-3ubuntu1 libgnutls30_3.7.4-2ubuntu1 libgomp1_12.1.0-2ubuntu1 libgpg-error0_1.45-2 libgssapi-krb5-2_1.19.2-2 libhogweed6_3.7.3-1build2 libicu71_71.1-3 libidn2-0_2.3.2-2build1 libip4tc2_1.8.7-1ubuntu6 libisl23_0.24-2build1 libjson-c5_0.16-1 libk5crypto3_1.19.2-2 libkeyutils1_1.6.1-2ubuntu3 libkmod2_29-1ubuntu1 libkrb5-3_1.19.2-2 libkrb5support0_1.19.2-2 liblockfile-bin_1.17-1build2 liblockfile1_1.17-1build2 liblz4-1_1.9.3-2build2 liblzma5_5.2.5-2.1 libmagic-mgc_1:5.41-4 libmagic1_1:5.41-4 libmount1_2.38-4ubuntu1 libmpc3_1.2.1-2build1 libmpdec3_2.5.1-2build2 libmpfr6_4.1.0-3build3 libncurses-dev_6.3+20220423-2 libncurses5-dev_6.3+20220423-2 libncurses6_6.3+20220423-2 libncursesw6_6.3+20220423-2 libnettle8_3.7.3-1build2 libnpth0_1.6-3build2 libnsl-dev_1.3.0-2build2 libnsl2_1.3.0-2build2 libp11-kit0_0.24.1-1 libpam-modules_1.4.0-13ubuntu1 libpam-modules-bin_1.4.0-13ubuntu1 libpam-runtime_1.4.0-13ubuntu1 libpam0g_1.4.0-13ubuntu1 libpcre2-8-0_10.40-1 libpcre3_2:8.39-14 libperl5.34_5.34.0-3ubuntu1 libpipeline1_1.5.6-1 libpng16-16_1.6.37-5 libprocps8_2:3.3.17-6ubuntu2 libpython3-stdlib_3.10.4-0ubuntu2 libpython3.10-minimal_3.10.4-4 libpython3.10-stdlib_3.10.4-4 libreadline8_8.1.2-1.2 libseccomp2_2.5.4-1ubuntu1 libselinux1_3.3-1build2 libsemanage-common_3.3-1build2 libsemanage2_3.3-1build2 libsepol2_3.3-1build1 libsigsegv2_2.13-1ubuntu3 libsmartcols1_2.38-4ubuntu1 libsqlite3-0_3.38.5-1 libss2_1.46.5-2ubuntu1 libssl3_3.0.3-0ubuntu1 libstdc++-11-dev_11.3.0-3ubuntu1 libstdc++6_12.1.0-2ubuntu1 libsub-override-perl_0.09-2 libsystemd0_249.11-0ubuntu3.1 libtasn1-6_4.18.0-4build1 libtinfo6_6.3+20220423-2 libtirpc-common_1.3.2-2build1 libtirpc-dev_1.3.2-2build1 libtirpc3_1.3.2-2build1 libtool_2.4.7-4 libuchardet0_0.0.7-1build2 libudev1_249.11-0ubuntu3.1 libunistring2_1.0-1 libuuid1_2.38-4ubuntu1 libxml2_2.9.14+dfsg-1 libxxhash0_0.8.1-1 libzarith-ocaml_1.12-1build1 libzstd1_1.5.2+dfsg-1 linux-libc-dev_5.15.0-28.29 lockfile-progs_0.1.19build1 login_1:4.8.1-2ubuntu2 logsave_1.46.5-2ubuntu1 lsb-base_11.1.0ubuntu4 lto-disabled-list_25 m4_1.4.18-5ubuntu2 make_4.3-4.1build1 man-db_2.10.2-1 mawk_1.3.4.20200120-3 media-types_8.0.0 mount_2.38-4ubuntu1 ncurses-base_6.3+20220423-2 ncurses-bin_6.3+20220423-2 ocaml_4.13.1-3ubuntu1 ocaml-base_4.13.1-3ubuntu1 ocaml-compiler-libs_4.13.1-3ubuntu1 ocaml-dune_2.9.1-1build1 ocaml-findlib_1.9.3-1 ocaml-interp_4.13.1-3ubuntu1 ocaml-nox_4.13.1-3ubuntu1 openssl_3.0.3-0ubuntu1 optipng_0.7.7-2build1 passwd_1:4.8.1-2ubuntu2 patch_2.7.6-7build2 perl_5.34.0-3ubuntu1 perl-base_5.34.0-3ubuntu1 perl-modules-5.34_5.34.0-3ubuntu1 pinentry-curses_1.2.0-1ubuntu1 pkgbinarymangler_149 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3 procps_2:3.3.17-6ubuntu2 python3_3.10.4-0ubuntu2 python3-minimal_3.10.4-0ubuntu2 python3.10_3.10.4-4 python3.10-minimal_3.10.4-4 readline-common_8.1.2-1.2 rpcsvc-proto_1.4.2-0ubuntu6 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.8-1ubuntu2 sensible-utils_0.0.17 systemd_249.11-0ubuntu3.1 systemd-sysv_249.11-0ubuntu3.1 sysvinit-utils_3.01-1ubuntu1 tar_1.34+dfsg-1build3 tzdata_2022a-0ubuntu1 ubuntu-keyring_2021.03.26 usrmerge_25ubuntu2 util-linux_2.38-4ubuntu1 util-linux-extra_2.38-4ubuntu1 xz-utils_5.2.5-2.1 zlib1g_1:1.2.11.dfsg-2ubuntu9 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Architecture: any Version: 1.5.5-4 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/multinomials Standards-Version: 4.6.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-multinomials Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune Package-List: libcoq-mathcomp-multinomials deb ocaml optional arch=any Checksums-Sha1: 18d6cb298e6a18cfbabb16e32d184682f6b5a36b 87064 mathcomp-multinomials_1.5.5.orig.tar.gz 6ea523896276baf7ed8a95d3b3e243beeb5f2592 8588 mathcomp-multinomials_1.5.5-4.debian.tar.xz Checksums-Sha256: a80bf99229244c8f19fa6894ad38bd98b4556f02ce9b4c667c3820edd0d558c7 87064 mathcomp-multinomials_1.5.5.orig.tar.gz d76fdbfb4b916514b8c3ab60bfb9856c10c56e52919d412978076a4b5ae3f39b 8588 mathcomp-multinomials_1.5.5-4.debian.tar.xz Files: 9c11553913e0f309b807c11035e97f28 87064 mathcomp-multinomials_1.5.5.orig.tar.gz cab2117227fb945a36b3044f85007f7a 8588 mathcomp-multinomials_1.5.5-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKMhGQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoE0P/0uI6GsNGoe9sMGj7JYspeaPsdoHSQBc PlDe6/3VPBuzyh2/M2RRovB6v+YV4eZ8igenUNELKKlDIpQWbsL5bZpA6xd3JFhY 0rx/X8MJst3H3LGLZWFRX97itxc2JQ3kOzsT2xheUuEHiiSrO0g7b1s48ypMwFK0 Fi10o3HffC0l9bo2cNDtXbu1cMrD4UzUCApiv+FEGBPgMv7B5VL4CM+k6QAUzXZS ZZbYUpYT22eB3nBiE68cMjuZZklHDUx6WPRZ6F6/uCXT9yFbrvFrgLAo+87mzobo z4FUTDSCWJdhfz/gWimFuBBS9bdbGhswXTGrMM58neKpoNExpRs3mktvYQ/i+DFj GOpC4hVLLU40myKQRCWo09in54B+QnJmXljQPDfLmDmjRgPjek+juZYG+P6JHL2m zEp3bf5rl1bVdP+m9mjndYx43ro0bNX+Tku4AmVWrRLmi+VHORZRw+iaQNLW0rQM oBzg/Op4nSOp4J8ajNqrhgUg7h228ciyJ6RhyuhSl+/xEvxO/By7N/XgzSDmyXp3 Mus13y0ztgtELqfK+Tuoduex06GDBL8iiLDR7+dV9ym7wq3bT+3Ek8R4VRSWV9dd qbSwky3LwGRsom+iLu28IEA4TezpkTAr35zYfeFzATuAqXSQ96q5+hk9ZrqR4uMC Z7W2GHLkwhkS =TcC6 -----END PGP SIGNATURE----- gpgv: Signature made Tue May 24 07:08:20 2022 UTC gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify signature ./mathcomp-multinomials_1.5.5-4.dsc dpkg-source: info: extracting mathcomp-multinomials in /<> dpkg-source: info: unpacking mathcomp-multinomials_1.5.5.orig.tar.gz dpkg-source: info: unpacking mathcomp-multinomials_1.5.5-4.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-23780434 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-23780434 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-23780434 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 mathcomp-multinomials dpkg-buildpackage: info: source version 1.5.5-4 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j8 clean make[1]: Entering directory '/<>' dune clean 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 debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure --prefix=/usr Warning: Ignore argument '--prefix=/usr' coq-native support disabled. make[1]: Leaving directory '/<>' debian/rules override_dh_auto_build make[1]: Entering directory '/<>' dune build File "./src/ssrcomplements.v", line 190, characters 32-42: Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead. [deprecated-syntactic-definition,deprecated] File "./src/ssrcomplements.v", line 192, characters 0-29: Warning: The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] File "./src/ssrcomplements.v", line 197, characters 13-23: Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead. [deprecated-syntactic-definition,deprecated] File "./src/monalg.v", line 51, characters 0-111: Warning: grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead. [deprecated-ident-entry,deprecated] File "./src/monalg.v", line 53, characters 0-93: Warning: grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead. [deprecated-ident-entry,deprecated] File "./src/mpoly.v", line 991, characters 0-31: Warning: The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] File "./src/mpoly.v", line 1507, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1507, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1507, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1513, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1513, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1513, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1541, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1541, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1541, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1549, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1549, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1549, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1945, characters 11-21: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1945, characters 11-21: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1945, characters 11-21: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1962, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1962, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1962, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1967, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1967, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1967, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2106, characters 27-39: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2106, characters 27-39: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2489, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2489, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2489, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2876, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2876, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2876, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 4834, characters 10-22: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 4834, characters 10-22: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5068, characters 25-35: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5068, characters 25-35: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5068, characters 25-35: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5179, characters 0-82: Warning: The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] make[1]: Leaving directory '/<>' dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' dune install --destdir /<>/debian/tmp --prefix=/usr --libdir=../usr/lib/ocaml Installing /<>/debian/tmp/usr/lib/ocaml/coq-mathcomp-multinomials/META Installing /<>/debian/tmp/usr/lib/ocaml/coq-mathcomp-multinomials/dune-package Installing /<>/debian/tmp/usr/lib/ocaml/coq-mathcomp-multinomials/opam Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.v Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.vo Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.v Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.vo Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.v Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.vo Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.v Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.vo Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.v Installing /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.vo Installing /<>/debian/tmp/usr/doc/coq-mathcomp-multinomials/LICENSE Installing /<>/debian/tmp/usr/doc/coq-mathcomp-multinomials/README.md find /<>/debian/tmp -name LICENSE -delete make[1]: Leaving directory '/<>' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a debian/rules override_dh_gencontrol make[1]: Entering directory '/<>' dh_gencontrol -- -VF:CoqABI="8.15.1+4.13.1" dpkg-gencontrol: warning: Provides field of package libcoq-mathcomp-multinomials: substitution variable ${ocaml:Provides} used, but is not defined make[1]: Leaving directory '/<>' dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 149 pkgstriptranslations: processing libcoq-mathcomp-multinomials (in debian/libcoq-mathcomp-multinomials); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libcoq-mathcomp-multinomials/DEBIAN/control, package libcoq-mathcomp-multinomials, directory debian/libcoq-mathcomp-multinomials pkgstripfiles: Running PNG optimization (using 8 cpus) for package libcoq-mathcomp-multinomials ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-mathcomp-multinomials' in '../libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb'. dpkg-genbuildinfo --build=any -O../mathcomp-multinomials_1.5.5-4_riscv64.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../mathcomp-multinomials_1.5.5-4_riscv64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2022-05-24T11:36:53Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ mathcomp-multinomials_1.5.5-4_riscv64.changes: ---------------------------------------------- Format: 1.8 Date: Tue, 24 May 2022 09:08:01 +0200 Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Built-For-Profiles: noudeb Architecture: riscv64 Version: 1.5.5-4 Distribution: kinetic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Julien Puydt Description: libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components Changes: mathcomp-multinomials (1.5.5-4) unstable; urgency=medium . * Re-upload because of ABI breakage. Checksums-Sha1: ecc5fa31b905464b21fa7ffad04f998ac22b0b24 1536500 libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb 76f63ee1fcaa3ea0158b4ef72581766bbc2d0827 6575 mathcomp-multinomials_1.5.5-4_riscv64.buildinfo Checksums-Sha256: cab53b97b7fc64f7f957528589ce50dbfc131d36d141579b3d657115ae1d88bf 1536500 libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb 206841c1d7fc7d8c3b62c968f9e1ed1b90d331d89fcdc60f29882ef6879355ce 6575 mathcomp-multinomials_1.5.5-4_riscv64.buildinfo Files: 368197fbb8acf285e1e01bf48d79af22 1536500 ocaml optional libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb 326e34b1ded8fd83bbf81df19508a6c4 6575 ocaml optional mathcomp-multinomials_1.5.5-4_riscv64.buildinfo /<>/mathcomp-multinomials_1.5.5-4_riscv64.changes.new could not be renamed to /<>/mathcomp-multinomials_1.5.5-4_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Architecture: riscv64 Version: 1.5.5-4 Checksums-Md5: 368197fbb8acf285e1e01bf48d79af22 1536500 libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb Checksums-Sha1: ecc5fa31b905464b21fa7ffad04f998ac22b0b24 1536500 libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb Checksums-Sha256: cab53b97b7fc64f7f957528589ce50dbfc131d36d141579b3d657115ae1d88bf 1536500 libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Tue, 24 May 2022 11:36:48 +0000 Build-Path: /<> Build-Tainted-By: merged-usr-via-aliased-dirs usr-local-has-programs Installed-Build-Depends: autoconf (= 2.71-2), automake (= 1:1.16.5-1.3), autopoint (= 0.21-4ubuntu4), autotools-dev (= 20220109.1), base-files (= 12ubuntu5), base-passwd (= 3.5.52build1), bash (= 5.1-6ubuntu1), binutils (= 2.38-4ubuntu1), binutils-common (= 2.38-4ubuntu1), binutils-riscv64-linux-gnu (= 2.38-4ubuntu1), bsdextrautils (= 2.38-4ubuntu1), bsdutils (= 1:2.38-4ubuntu1), build-essential (= 12.9ubuntu3), bzip2 (= 1.0.8-5build1), coq (= 8.15.1+dfsg-2), coreutils (= 8.32-4.1ubuntu1), cpp (= 4:11.2.0-1ubuntu1), cpp-11 (= 11.3.0-3ubuntu1), dash (= 0.5.11+git20210903+057cd650a4ed-8), debconf (= 1.5.79ubuntu1), debhelper (= 13.7.1ubuntu1), debianutils (= 5.7-0.2), debugedit (= 1:5.0-4build1), dh-autoreconf (= 20), dh-ocaml (= 1.1.3), dh-strip-nondeterminism (= 1.13.0-1), diffutils (= 1:3.8-0ubuntu2), dpkg (= 1.21.7ubuntu3), dpkg-dev (= 1.21.7ubuntu3), dwz (= 0.14-1build2), file (= 1:5.41-4), findutils (= 4.8.0-1ubuntu3), g++ (= 4:11.2.0-1ubuntu1), g++-11 (= 11.3.0-3ubuntu1), gcc (= 4:11.2.0-1ubuntu1), gcc-11 (= 11.3.0-3ubuntu1), gcc-11-base (= 11.3.0-3ubuntu1), gcc-12-base (= 12.1.0-2ubuntu1), gettext (= 0.21-4ubuntu4), gettext-base (= 0.21-4ubuntu4), grep (= 3.7-1build1), groff-base (= 1.22.4-8build1), gzip (= 1.10-4ubuntu4), hostname (= 3.23ubuntu2), init-system-helpers (= 1.63), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.3.1-1), libarchive-zip-perl (= 1.68-1), libasan6 (= 11.3.0-3ubuntu1), libatomic1 (= 12.1.0-2ubuntu1), libattr1 (= 1:2.5.1-1build1), libaudit-common (= 1:3.0.7-1build1), libaudit1 (= 1:3.0.7-1build1), libbinutils (= 2.38-4ubuntu1), libblkid1 (= 2.38-4ubuntu1), libbz2-1.0 (= 1.0.8-5build1), libc-bin (= 2.35-0ubuntu3), libc-dev-bin (= 2.35-0ubuntu3), libc6 (= 2.35-0ubuntu3), libc6-dev (= 2.35-0ubuntu3), libcap-ng0 (= 0.7.9-2.2build3), libcap2 (= 1:2.44-1build3), libcc1-0 (= 12.1.0-2ubuntu1), libcom-err2 (= 1.46.5-2ubuntu1), libcoq-core-ocaml (= 8.15.1+dfsg-2), libcoq-mathcomp-algebra (= 1.14.0-10), libcoq-mathcomp-bigenough (= 1.0.1-5), libcoq-mathcomp-fingroup (= 1.14.0-10), libcoq-mathcomp-finmap (= 1.5.1-5), libcoq-mathcomp-ssreflect (= 1.14.0-10), libcoq-stdlib (= 8.15.1+dfsg-2), libcrypt-dev (= 1:4.4.27-1), libcrypt1 (= 1:4.4.27-1), libctf-nobfd0 (= 2.38-4ubuntu1), libctf0 (= 2.38-4ubuntu1), libdb5.3 (= 5.3.28+dfsg1-0.9), libdebconfclient0 (= 0.261ubuntu1), libdebhelper-perl (= 13.7.1ubuntu1), libdpkg-perl (= 1.21.7ubuntu3), libdw1 (= 0.187-1), libelf1 (= 0.187-1), libexpat1 (= 2.4.8-1), libffi8 (= 3.4.2-4), libfile-stripnondeterminism-perl (= 1.13.0-1), libfindlib-ocaml (= 1.9.3-1), libgcc-11-dev (= 11.3.0-3ubuntu1), libgcc-s1 (= 12.1.0-2ubuntu1), libgcrypt20 (= 1.10.1-2ubuntu1), libgdbm-compat4 (= 1.23-1), libgdbm6 (= 1.23-1), libgmp10 (= 2:6.2.1+dfsg-3ubuntu1), libgomp1 (= 12.1.0-2ubuntu1), libgpg-error0 (= 1.45-2), libgssapi-krb5-2 (= 1.19.2-2), libicu71 (= 71.1-3), libisl23 (= 0.24-2build1), libk5crypto3 (= 1.19.2-2), libkeyutils1 (= 1.6.1-2ubuntu3), libkrb5-3 (= 1.19.2-2), libkrb5support0 (= 1.19.2-2), liblz4-1 (= 1.9.3-2build2), liblzma5 (= 5.2.5-2.1), libmagic-mgc (= 1:5.41-4), libmagic1 (= 1:5.41-4), libmount1 (= 2.38-4ubuntu1), libmpc3 (= 1.2.1-2build1), libmpdec3 (= 2.5.1-2build2), libmpfr6 (= 4.1.0-3build3), libncurses-dev (= 6.3+20220423-2), libncurses5-dev (= 6.3+20220423-2), libncurses6 (= 6.3+20220423-2), libncursesw6 (= 6.3+20220423-2), libnsl-dev (= 1.3.0-2build2), libnsl2 (= 1.3.0-2build2), libpam-modules (= 1.4.0-13ubuntu1), libpam-modules-bin (= 1.4.0-13ubuntu1), libpam-runtime (= 1.4.0-13ubuntu1), libpam0g (= 1.4.0-13ubuntu1), libpcre2-8-0 (= 10.40-1), libpcre3 (= 2:8.39-14), libperl5.34 (= 5.34.0-3ubuntu1), libpipeline1 (= 1.5.6-1), libpython3-stdlib (= 3.10.4-0ubuntu2), libpython3.10-minimal (= 3.10.4-4), libpython3.10-stdlib (= 3.10.4-4), libreadline8 (= 8.1.2-1.2), libselinux1 (= 3.3-1build2), libsigsegv2 (= 2.13-1ubuntu3), libsmartcols1 (= 2.38-4ubuntu1), libsqlite3-0 (= 3.38.5-1), libssl3 (= 3.0.3-0ubuntu1), libstdc++-11-dev (= 11.3.0-3ubuntu1), libstdc++6 (= 12.1.0-2ubuntu1), libsub-override-perl (= 0.09-2), libsystemd0 (= 249.11-0ubuntu3.1), libtinfo6 (= 6.3+20220423-2), libtirpc-common (= 1.3.2-2build1), libtirpc-dev (= 1.3.2-2build1), libtirpc3 (= 1.3.2-2build1), libtool (= 2.4.7-4), libuchardet0 (= 0.0.7-1build2), libudev1 (= 249.11-0ubuntu3.1), libunistring2 (= 1.0-1), libuuid1 (= 2.38-4ubuntu1), libxml2 (= 2.9.14+dfsg-1), libzarith-ocaml (= 1.12-1build1), libzstd1 (= 1.5.2+dfsg-1), linux-libc-dev (= 5.15.0-28.29), login (= 1:4.8.1-2ubuntu2), lsb-base (= 11.1.0ubuntu4), lto-disabled-list (= 25), m4 (= 1.4.18-5ubuntu2), make (= 4.3-4.1build1), man-db (= 2.10.2-1), mawk (= 1.3.4.20200120-3), media-types (= 8.0.0), ncurses-base (= 6.3+20220423-2), ncurses-bin (= 6.3+20220423-2), ocaml (= 4.13.1-3ubuntu1), ocaml-base (= 4.13.1-3ubuntu1), ocaml-compiler-libs (= 4.13.1-3ubuntu1), ocaml-dune (= 2.9.1-1build1), ocaml-findlib (= 1.9.3-1), ocaml-interp (= 4.13.1-3ubuntu1), ocaml-nox (= 4.13.1-3ubuntu1), patch (= 2.7.6-7build2), perl (= 5.34.0-3ubuntu1), perl-base (= 5.34.0-3ubuntu1), perl-modules-5.34 (= 5.34.0-3ubuntu1), po-debconf (= 1.0.21+nmu1), python3 (= 3.10.4-0ubuntu2), python3-minimal (= 3.10.4-0ubuntu2), python3.10 (= 3.10.4-4), python3.10-minimal (= 3.10.4-4), readline-common (= 8.1.2-1.2), rpcsvc-proto (= 1.4.2-0ubuntu6), sed (= 4.8-1ubuntu2), sensible-utils (= 0.0.17), sysvinit-utils (= 3.01-1ubuntu1), tar (= 1.34+dfsg-1build3), util-linux (= 2.38-4ubuntu1), util-linux-extra (= 2.38-4ubuntu1), xz-utils (= 5.2.5-2.1), zlib1g (= 1:1.2.11.dfsg-2ubuntu9) Environment: DEB_BUILD_OPTIONS="nocheck parallel=8" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1653376081" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-mathcomp-multinomials_1.5.5-4_riscv64.deb ------------------------------------------------ new Debian package, version 2.0. size 1536500 bytes: control archive=1153 bytes. 972 bytes, 21 lines control 1435 bytes, 16 lines md5sums Package: libcoq-mathcomp-multinomials Source: mathcomp-multinomials Version: 1.5.5-4 Architecture: riscv64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 3294 Depends: coq-8.15.1+4.13.1, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect Suggests: ocaml-findlib Section: ocaml Priority: optional Homepage: https://github.com/math-comp/multinomials Description: Multivariate polynomials for Mathematical Components This package provides an extension to Mathematical Components for monomial algebra, multivariate polynomials over ring structures and an extended theory for polynomials whose coefficients live in abelian rings and integral domains. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. drwxr-xr-x root/root 0 2022-05-24 07:08 ./ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/lib/ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/lib/ocaml/coq-mathcomp-multinomials/ -rw-r--r-- root/root 0 2022-05-24 07:08 ./usr/lib/ocaml/coq-mathcomp-multinomials/META -rw-r--r-- root/root 49 2022-05-24 07:08 ./usr/lib/ocaml/coq-mathcomp-multinomials/dune-package -rw-r--r-- root/root 945 2022-05-24 07:08 ./usr/lib/ocaml/coq-mathcomp-multinomials/opam drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ -rw-r--r-- root/root 49133 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.v -rw-r--r-- root/root 324485 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.vo -rw-r--r-- root/root 65523 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.v -rw-r--r-- root/root 416939 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.vo -rw-r--r-- root/root 189960 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.v -rw-r--r-- root/root 2170647 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.vo -rw-r--r-- root/root 9277 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.v -rw-r--r-- root/root 79284 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.vo -rw-r--r-- root/root 1327 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.v -rw-r--r-- root/root 21888 2022-05-24 07:08 ./usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.vo drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/share/ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/share/doc/ drwxr-xr-x root/root 0 2022-05-24 07:08 ./usr/share/doc/libcoq-mathcomp-multinomials/ -rw-r--r-- root/root 1383 2022-05-24 07:08 ./usr/share/doc/libcoq-mathcomp-multinomials/README.md -rw-r--r-- root/root 304 2022-05-24 07:08 ./usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.gz -rw-r--r-- root/root 22387 2022-05-24 07:08 ./usr/share/doc/libcoq-mathcomp-multinomials/copyright +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 14956 Build-Time: 512 Distribution: kinetic-proposed Host Architecture: riscv64 Install-Time: 446 Job: mathcomp-multinomials_1.5.5-4.dsc Machine Architecture: riscv64 Package: mathcomp-multinomials Package-Time: 985 Source-Version: 1.5.5-4 Space: 14956 Status: successful Version: 1.5.5-4 -------------------------------------------------------------------------------- Finished at 2022-05-24T11:36:53Z Build needed 00:16:25, 14956k disk space Adding user buildd to group lxd RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23780434 Scanning for processes to kill in build PACKAGEBUILD-23780434 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23780434 Stopping target for build PACKAGEBUILD-23780434 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23780434 Removing build PACKAGEBUILD-23780434