https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/0.3.0-1/+build/23752845 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-030 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... 17 May 03:59:46 ntpdate[3397682]: adjust time server 10.211.37.1 offset -0.000782 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23752845 --image-type chroot /home/buildd/filecache-default/71606a5f218d7969dca11cc1a0a8ecfd02d5af78 Creating target for build PACKAGEBUILD-23752845 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23752845 Starting target for build PACKAGEBUILD-23752845 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23752845 '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-23752845 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23752845 Updating target for build PACKAGEBUILD-23752845 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 [1288 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main Translation-en [510 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 Packages [13.1 MB] Get:8 http://ftpmaster.internal/ubuntu kinetic/universe Translation-en [5704 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 Packages [137 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic-proposed/main Translation-en [64.4 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 Packages [641 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic-proposed/universe Translation-en [282 kB] Fetched 22.2 MB in 35s (643 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: binutils binutils-common binutils-riscv64-linux-gnu bsdutils dash dpkg dpkg-dev gcc-12-base libatomic1 libbinutils libblkid1 libcc1-0 libctf-nobfd0 libctf0 libdpkg-perl libgcc-s1 libgomp1 libgpg-error0 libip4tc2 liblzma5 libmount1 libncurses6 libncursesw6 libpng16-16 libreadline8 libsmartcols1 libsqlite3-0 libssl3 libstdc++6 libtinfo6 libuuid1 libzstd1 linux-libc-dev mount ncurses-base ncurses-bin openssl pinentry-curses readline-common util-linux xz-utils 41 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 13.2 MB of archives. After this operation, 858 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 bsdutils riscv64 1:2.38-4ubuntu1 [91.0 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libzstd1 riscv64 1.5.2+dfsg-1 [318 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 dpkg riscv64 1.21.7ubuntu3 [1300 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 dash riscv64 0.5.11+git20210903+057cd650a4ed-8 [83.8 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 ncurses-bin riscv64 6.3+20220423-2 [176 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libblkid1 riscv64 2.38-4ubuntu1 [149 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libmount1 riscv64 2.38-4ubuntu1 [157 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libsmartcols1 riscv64 2.38-4ubuntu1 [102 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 util-linux-extra riscv64 2.38-4ubuntu1 [103 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 util-linux riscv64 2.38-4ubuntu1 [1142 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 ncurses-base all 6.3+20220423-2 [21.2 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 mount riscv64 2.38-4ubuntu1 [130 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 gcc-12-base riscv64 12.1.0-2ubuntu1 [18.8 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libstdc++6 riscv64 12.1.0-2ubuntu1 [674 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libgomp1 riscv64 12.1.0-2ubuntu1 [110 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libcc1-0 riscv64 12.1.0-2ubuntu1 [42.8 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libatomic1 riscv64 12.1.0-2ubuntu1 [7846 B] Get:18 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libgcc-s1 riscv64 12.1.0-2ubuntu1 [44.0 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libgpg-error0 riscv64 1.45-2 [62.7 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 liblzma5 riscv64 5.2.5-2.1 [93.5 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libncursesw6 riscv64 6.3+20220423-2 [127 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libncurses6 riscv64 6.3+20220423-2 [92.7 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libtinfo6 riscv64 6.3+20220423-2 [89.8 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libuuid1 riscv64 2.38-4ubuntu1 [26.2 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libip4tc2 riscv64 1.8.7-1ubuntu6 [18.0 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 readline-common all 8.1.2-1.2 [53.6 kB] Get:27 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libreadline8 riscv64 8.1.2-1.2 [130 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libsqlite3-0 riscv64 3.38.5-1 [572 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libssl3 riscv64 3.0.3-0ubuntu1 [1437 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 openssl riscv64 3.0.3-0ubuntu1 [1135 kB] Get:31 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libpng16-16 riscv64 1.6.37-5 [174 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 xz-utils riscv64 5.2.5-2.1 [80.4 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libctf-nobfd0 riscv64 2.38-4ubuntu1 [98.9 kB] Get:34 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libctf0 riscv64 2.38-4ubuntu1 [96.8 kB] Get:35 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils-riscv64-linux-gnu riscv64 2.38-4ubuntu1 [911 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libbinutils riscv64 2.38-4ubuntu1 [485 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils riscv64 2.38-4ubuntu1 [3090 B] Get:38 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils-common riscv64 2.38-4ubuntu1 [214 kB] Get:39 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 dpkg-dev all 1.21.7ubuntu3 [1070 kB] Get:40 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libdpkg-perl all 1.21.7ubuntu3 [236 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 linux-libc-dev riscv64 5.15.0-28.29 [1302 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 pinentry-curses riscv64 1.2.0-1 [37.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 13.2 MB in 5s (2568 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 .../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 ... 13364 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 ... 13365 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 ... 13365 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 ... 13365 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 ... 13365 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 ... 13365 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 ... 13377 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 ... 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 .../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 ... 13378 files and directories currently installed.) 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 ... 13378 files and directories currently installed.) Preparing to unpack .../libgomp1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libgomp1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... 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 .../libatomic1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libatomic1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... 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 ... 13378 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 ... 13378 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 ... 13378 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.3+20220423-2_riscv64.deb ... Unpacking libncursesw6:riscv64 (6.3+20220423-2) over (6.3-2) ... Preparing to unpack .../libncurses6_6.3+20220423-2_riscv64.deb ... Unpacking libncurses6: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-dpkg-dev_1.21.7ubuntu3_all.deb ... Unpacking dpkg-dev (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Preparing to unpack .../15-libdpkg-perl_1.21.7ubuntu3_all.deb ... Unpacking libdpkg-perl (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Preparing to unpack .../16-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 .../17-pinentry-curses_1.2.0-1_riscv64.deb ... Unpacking pinentry-curses (1.2.0-1) over (1.1.1-1build2) ... Setting up libip4tc2:riscv64 (1.8.7-1ubuntu6) ... 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 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 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-1) ... 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) ... Processing triggers for libc-bin (2.35-0ubuntu3) ... Processing triggers for debianutils (5.7-0.2) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-23752845 riscv64 kinetic-proposed -c chroot:build-PACKAGEBUILD-23752845 --arch=riscv64 --dist=kinetic-proposed --nolog mathcomp-algebra-tactics_0.3.0-1.dsc Initiating build PACKAGEBUILD-23752845 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-030.buildd +==============================================================================+ | mathcomp-algebra-tactics 0.3.0-1 (riscv64) Tue, 17 May 2022 04:05:23 +0000 | +==============================================================================+ Package: mathcomp-algebra-tactics Version: 0.3.0-1 Source Version: 0.3.0-1 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-23752845/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-algebra-tactics-hzaUlb/resolver-3hOSCB' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- mathcomp-algebra-tactics_0.3.0-1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/mathcomp-algebra-tactics-hzaUlb/mathcomp-algebra-tactics-0.3.0' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-algebra-tactics-hzaUlb' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi, libcoq-mathcomp-zify, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi, libcoq-mathcomp-zify, 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 [398 B] Get:5 copy:/<>/apt_archive ./ Packages [480 B] Fetched 1835 B in 1s (3115 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-elpi libcoq-elpi-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-mathcomp-zify libcoq-stdlib libdebhelper-perl libdw1 libelf1 libelpi-ocaml libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libicu71 libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libppx-deriving-ocaml libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libresult-ocaml libsexplib0-ocaml libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs 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-elpi libcoq-elpi-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-mathcomp-zify libcoq-stdlib libdebhelper-perl libdw1 libelf1 libelpi-ocaml libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libicu71 libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libppx-deriving-ocaml libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libresult-ocaml libsexplib0-ocaml libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.10 python3.10-minimal sbuild-build-depends-main-dummy 0 upgraded, 67 newly installed, 0 to remove and 0 not upgraded. Need to get 339 MB of archives. After this operation, 1238 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [696 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-proposed/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-proposed/main riscv64 libelf1 riscv64 0.187-1 [46.4 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libicu71 riscv64 71.1-3 [10.5 MB] Get:14 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libxml2 riscv64 2.9.14+dfsg-1 [597 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic-proposed/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/universe riscv64 libcoq-stdlib riscv64 8.15.1+dfsg-1build1 [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/universe riscv64 libcoq-core-ocaml riscv64 8.15.1+dfsg-1build1 [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-proposed/main riscv64 libncurses-dev riscv64 6.3+20220423-2 [867 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic-proposed/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/universe riscv64 coq riscv64 8.15.1+dfsg-1build1 [93.7 MB] Get:43 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libdebhelper-perl all 13.7.1ubuntu1 [66.9 kB] Get:44 http://ftpmaster.internal/ubuntu kinetic-proposed/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-proposed/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-proposed/main riscv64 debhelper all 13.7.1ubuntu1 [940 kB] Get:57 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libresult-ocaml riscv64 1.5-1build2 [7070 B] Get:58 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libsexplib0-ocaml riscv64 0.14.0-1build2 [110 kB] Get:59 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libppx-deriving-ocaml riscv64 5.2.1-1build1 [4228 kB] Get:60 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libelpi-ocaml riscv64 1.15.2-1 [6314 kB] Get:61 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-elpi-ocaml riscv64 1.14.0-1 [8337 kB] Get:62 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-elpi riscv64 1.14.0-1 [508 kB] Get:63 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-ssreflect riscv64 1.14.0-9build1 [4648 kB] Get:64 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-fingroup riscv64 1.14.0-9build1 [2116 kB] Get:65 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-algebra riscv64 1.14.0-9build1 [7286 kB] Get:66 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 libcoq-mathcomp-zify riscv64 1.2.0+1.12+8.13-1 [269 kB] Get:67 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 339 MB in 60s (5627 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-1build1_riscv64.deb ... Unpacking libcoq-stdlib (8.15.1+dfsg-1build1) ... 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-1build1_riscv64.deb ... Unpacking libcoq-core-ocaml (8.15.1+dfsg-1build1) ... 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-1build1_riscv64.deb ... Unpacking coq (8.15.1+dfsg-1build1) ... 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 libresult-ocaml. Preparing to unpack .../46-libresult-ocaml_1.5-1build2_riscv64.deb ... Unpacking libresult-ocaml (1.5-1build2) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../47-libsexplib0-ocaml_0.14.0-1build2_riscv64.deb ... Unpacking libsexplib0-ocaml (0.14.0-1build2) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../48-libppx-deriving-ocaml_5.2.1-1build1_riscv64.deb ... Unpacking libppx-deriving-ocaml (5.2.1-1build1) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../49-libelpi-ocaml_1.15.2-1_riscv64.deb ... Unpacking libelpi-ocaml (1.15.2-1) ... Selecting previously unselected package libcoq-elpi-ocaml. Preparing to unpack .../50-libcoq-elpi-ocaml_1.14.0-1_riscv64.deb ... Unpacking libcoq-elpi-ocaml (1.14.0-1) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../51-libcoq-elpi_1.14.0-1_riscv64.deb ... Unpacking libcoq-elpi (1.14.0-1) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../52-libcoq-mathcomp-ssreflect_1.14.0-9build1_riscv64.deb ... Unpacking libcoq-mathcomp-ssreflect (1.14.0-9build1) ... Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../53-libcoq-mathcomp-fingroup_1.14.0-9build1_riscv64.deb ... Unpacking libcoq-mathcomp-fingroup (1.14.0-9build1) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../54-libcoq-mathcomp-algebra_1.14.0-9build1_riscv64.deb ... Unpacking libcoq-mathcomp-algebra (1.14.0-9build1) ... Selecting previously unselected package libcoq-mathcomp-zify. Preparing to unpack .../55-libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_riscv64.deb ... Unpacking libcoq-mathcomp-zify (1.2.0+1.12+8.13-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../56-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 .../57-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 autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.15.1+dfsg-1build1) ... Setting up libsigsegv2:riscv64 (2.13-1ubuntu3) ... Setting up autopoint (0.21-4ubuntu4) ... Setting up ocaml-base (4.13.1-3ubuntu1) ... Setting up libsexplib0-ocaml (0.14.0-1build2) ... 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 libresult-ocaml (1.5-1build2) ... 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 libppx-deriving-ocaml (5.2.1-1build1) ... 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 libelpi-ocaml (1.15.2-1) ... Setting up dwz (0.14-1build2) ... Setting up libcoq-core-ocaml (8.15.1+dfsg-1build1) ... 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-1build1) ... Setting up libcoq-elpi-ocaml (1.14.0-1) ... Setting up libcoq-elpi (1.14.0-1) ... Setting up libcoq-mathcomp-ssreflect (1.14.0-9build1) ... Setting up libcoq-mathcomp-fingroup (1.14.0-9build1) ... Setting up libcoq-mathcomp-algebra (1.14.0-9build1) ... Setting up libcoq-mathcomp-zify (1.2.0+1.12+8.13-1) ... 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-1ubuntu1 gcc-11_11.3.0-1ubuntu1 libc6-dev_2.35-0ubuntu3 libstdc++-11-dev_11.3.0-1ubuntu1 libstdc++6_12.1.0-2ubuntu1 linux-libc-dev_5.15.0-28.29 Package versions: adduser_3.118ubuntu5 advancecomp_2.1-2.1ubuntu2 apt_2.4.5 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-1build1 coreutils_8.32-4.1ubuntu1 cpp_4:11.2.0-1ubuntu1 cpp-11_11.3.0-1ubuntu1 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.28-1ubuntu1 file_1:5.41-4 findutils_4.8.0-1ubuntu3 g++_4:11.2.0-1ubuntu1 g++-11_11.3.0-1ubuntu1 gcc_4:11.2.0-1ubuntu1 gcc-11_11.3.0-1ubuntu1 gcc-11-base_11.3.0-1ubuntu1 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.62 init-system-helpers_1.62 intltool-debian_0.35.0+20060710.5 libacl1_2.3.1-1 libapparmor1_3.0.4-2ubuntu2 libapt-pkg6.0_2.4.5 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.3 libasan6_11.3.0-1ubuntu1 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-1build1 libcoq-elpi_1.14.0-1 libcoq-elpi-ocaml_1.14.0-1 libcoq-mathcomp-algebra_1.14.0-9build1 libcoq-mathcomp-fingroup_1.14.0-9build1 libcoq-mathcomp-ssreflect_1.14.0-9build1 libcoq-mathcomp-zify_1.2.0+1.12+8.13-1 libcoq-stdlib_8.15.1+dfsg-1build1 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.8ubuntu3 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 libelpi-ocaml_1.15.2-1 libexpat1_2.4.8-1 libext2fs2_1.46.5-2ubuntu1 libfakeroot_1.28-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-1ubuntu1 libgcc-s1_12.1.0-2ubuntu1 libgcrypt20_1.9.4-3ubuntu3 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 libppx-deriving-ocaml_5.2.1-1build1 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 libresult-ocaml_1.5-1build2 libseccomp2_2.5.4-1ubuntu1 libselinux1_3.3-1build2 libsemanage-common_3.3-1build2 libsemanage2_3.3-1build2 libsepol2_3.3-1build1 libsexplib0-ocaml_0.14.0-1build2 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-1ubuntu1 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-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-1 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-algebra-tactics Binary: libcoq-mathcomp-algebra-tactics Architecture: any Version: 0.3.0-1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/algebra-tactics Standards-Version: 4.6.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi, libcoq-mathcomp-zify Package-List: libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any Checksums-Sha1: d5d1d1a9c294947936c1eb46be782a302c7fb9b7 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz 6cf56eae937ac8048eae370c1212a403755c92a7 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz Checksums-Sha256: 5539bedd4ec15bdccfd52412c618d63b7e69447189bf23289f5169d9e23a8dcc 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz 3b1a757b1d71f13edca6563ef6fd8aa2675a427cb37b596d196df60a2c0e64b1 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz Files: 4056c4fa92303092f4f2abf40dd0d039 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz 2e719a5b322066357fbc727a13bd7a50 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+RIISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRFvIP/0+2JZgvHg4IT7JWvNClpENTuXpc24G9 1vFCdXV3Tq5Djmp59vFje7OEdzdShkT0o5V8Y7zJtBfiGRapdBogj5RB3SNu39DF PE7HaqERT1Grg3gTgE5JCd74qlw3CjhyeU2w2uMHD262FjMszsh22uzSel8lF8KM ic0++EfPWvD/3nL7kq1IrshMglhsOmfOQPHHMU8ujB4wY+jF0uNibvXWgWTFjUx0 2WVzDY8IcZWsndHgLS4OxpGzLteBm4faVPbJVPZN5nnQhFC5spGz1ajdiMmQ1VnO MMMN2qO5HtnqTzxGs823MRO6bhhr3vhQrhHc4ZIrVGQy84OcSXq0Nv6JsOB4+z1q JO3KZlomkAMtai6Ldih35ZdIJd8fxblVQl5rdaeGO+n/Oa6v/GqopRBMMBOFH3yY bhd37huzyIL/Gey0F3CUhnUb2Lj9Z5yExhFhI89hbIczz3JYoPpbUjD2I8vfe9V1 vysH+wp6CtFgDH71FRoZTvYIMLXdoFQV1sWtc9D/R412LIpuFj2EFVDl3eZ2fERd CEz7umsuctEc7r3TJo0NImsUptpeD1d19BAWFzpbqQUvpzVed6i9kwi1N930z1rl Jb1E71rXaRbdfuGwWiTDs1/Kw8hNbF2qlgjuBqFn8OAf0Uq+Bc3yiC8WP+B01aox YLhfzqXgdKvW =hKk6 -----END PGP SIGNATURE----- gpgv: Signature made Fri May 13 11:44:02 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-algebra-tactics_0.3.0-1.dsc dpkg-source: info: extracting mathcomp-algebra-tactics in /<> dpkg-source: info: unpacking mathcomp-algebra-tactics_0.3.0.orig.tar.gz dpkg-source: info: unpacking mathcomp-algebra-tactics_0.3.0-1.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-23752845 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-23752845 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-23752845 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-algebra-tactics dpkg-buildpackage: info: source version 0.3.0-1 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 distclean make[1]: Entering directory '/<>' rm -f Makefile.coq Makefile.coq.conf rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf 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 '/<>' make make[2]: Entering directory '/<>' coq_makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq COQDEP VFILES COQC theories/ring.v File "./theories/ring.v", line 4, characters 0-77: Warning: New coercion path [GRing.subring_closedM; GRing.smulr_closedN] : GRing.subring_closed >-> GRing.oppr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedN] : GRing.subring_closed >-> GRing.oppr_closed. [ambiguous-paths,typechecker] File "./theories/ring.v", line 4, characters 0-77: Warning: New coercion path [GRing.subring_closed_semi; GRing.semiring_closedM] : GRing.subring_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.subring_closedM; GRing.smulr_closedM] : GRing.subring_closed >-> GRing.mulr_closed. New coercion path [GRing.subring_closed_semi; GRing.semiring_closedD] : GRing.subring_closed >-> GRing.addr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedD] : GRing.subring_closed >-> GRing.addr_closed. [ambiguous-paths,typechecker] File "./theories/ring.v", line 4, characters 0-77: Warning: New coercion path [GRing.sdivr_closed_div; GRing.divr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.sdivr_closedM; GRing.smulr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed. [ambiguous-paths,typechecker] File "./theories/ring.v", line 4, characters 0-77: Warning: New coercion path [GRing.subalg_closedBM; GRing.subring_closedB] : GRing.subalg_closed >-> GRing.zmod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closedB] : GRing.subalg_closed >-> GRing.zmod_closed. [ambiguous-paths,typechecker] File "./theories/ring.v", line 4, characters 0-77: Warning: New coercion path [GRing.divring_closed_div; GRing.sdivr_closedM] : GRing.divring_closed >-> GRing.smulr_closed is ambiguous with existing [GRing.divring_closedBM; GRing.subring_closedM] : GRing.divring_closed >-> GRing.smulr_closed. [ambiguous-paths,typechecker] File "./theories/ring.v", line 4, characters 0-77: Warning: New coercion path [GRing.divalg_closedBdiv; GRing.divring_closedBM] : GRing.divalg_closed >-> GRing.subring_closed is ambiguous with existing [GRing.divalg_closedZ; GRing.subalg_closedBM] : GRing.divalg_closed >-> GRing.subring_closed. [ambiguous-paths,typechecker] File "./theories/ring.v", line 4, characters 0-77: Warning: New coercion path [GRing.Pred.subring_smul; GRing.Pred.smul_mul] : GRing.Pred.subring >-> GRing.Pred.mul is ambiguous with existing [GRing.Pred.subring_semi; GRing.Pred.semiring_mul] : GRing.Pred.subring >-> GRing.Pred.mul. [ambiguous-paths,typechecker] File "./theories/ring.v", line 701, characters 0-44: Warning: The syntax 'Elpi Accumulate File "path"' is deprecated, use 'Elpi Accumulate File "path" From logpath' [elpi.accumulate-syntax,elpi.deprecated] File "./theories/ring.v", line 702, characters 0-42: Warning: The syntax 'Elpi Accumulate File "path"' is deprecated, use 'Elpi Accumulate File "path" From logpath' [elpi.accumulate-syntax,elpi.deprecated] File "./theories/ring.v", line 709, characters 0-44: Warning: The syntax 'Elpi Accumulate File "path"' is deprecated, use 'Elpi Accumulate File "path" From logpath' [elpi.accumulate-syntax,elpi.deprecated] File "./theories/ring.v", line 710, characters 0-43: Warning: The syntax 'Elpi Accumulate File "path"' is deprecated, use 'Elpi Accumulate File "path" From logpath' [elpi.accumulate-syntax,elpi.deprecated] make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' make install DESTDIR=/<>/debian/tmp make[2]: Entering directory '/<>' coq_makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq install INSTALL theories/ring.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/algebra_tactics/ INSTALL theories/ring.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/algebra_tactics/ INSTALL theories/ring.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/algebra_tactics/ make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -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-algebra-tactics: 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-algebra-tactics (in debian/libcoq-mathcomp-algebra-tactics); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libcoq-mathcomp-algebra-tactics/DEBIAN/control, package libcoq-mathcomp-algebra-tactics, directory debian/libcoq-mathcomp-algebra-tactics pkgstripfiles: Running PNG optimization (using 8 cpus) for package libcoq-mathcomp-algebra-tactics ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-mathcomp-algebra-tactics' in '../libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb'. dpkg-genbuildinfo --build=any -O../mathcomp-algebra-tactics_0.3.0-1_riscv64.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../mathcomp-algebra-tactics_0.3.0-1_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-17T04:16:40Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ mathcomp-algebra-tactics_0.3.0-1_riscv64.changes: ------------------------------------------------- Format: 1.8 Date: Fri, 22 Apr 2022 13:02:06 +0200 Source: mathcomp-algebra-tactics Binary: libcoq-mathcomp-algebra-tactics Built-For-Profiles: noudeb Architecture: riscv64 Version: 0.3.0-1 Distribution: kinetic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Julien Puydt Description: libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components Closes: 1010014 Changes: mathcomp-algebra-tactics (0.3.0-1) unstable; urgency=medium . * Initial release. (Closes: #1010014) Checksums-Sha1: 5ce3153e7e2310bed1a14b39eade613277154b58 251438 libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb 9fa0faf8f5a127210a02961d70f283af1952c78c 6773 mathcomp-algebra-tactics_0.3.0-1_riscv64.buildinfo Checksums-Sha256: 781c6a5046e71195fe469ee655efc9591f764ec41f690bab228c98afe9603667 251438 libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb 0d29ba4bba7c436e9f549e453ea1fc390f5fcfb6dff9e2d2ed4e0f9a9ef655a8 6773 mathcomp-algebra-tactics_0.3.0-1_riscv64.buildinfo Files: 36056763fa99a5881627d2e91f38acd5 251438 ocaml optional libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb 31decf86813984fc6c6e73c39e8ec1fe 6773 ocaml optional mathcomp-algebra-tactics_0.3.0-1_riscv64.buildinfo /<>/mathcomp-algebra-tactics_0.3.0-1_riscv64.changes.new could not be renamed to /<>/mathcomp-algebra-tactics_0.3.0-1_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: mathcomp-algebra-tactics Binary: libcoq-mathcomp-algebra-tactics Architecture: riscv64 Version: 0.3.0-1 Checksums-Md5: 36056763fa99a5881627d2e91f38acd5 251438 libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb Checksums-Sha1: 5ce3153e7e2310bed1a14b39eade613277154b58 251438 libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb Checksums-Sha256: 781c6a5046e71195fe469ee655efc9591f764ec41f690bab228c98afe9603667 251438 libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Tue, 17 May 2022 04:16:35 +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-1build1), coreutils (= 8.32-4.1ubuntu1), cpp (= 4:11.2.0-1ubuntu1), cpp-11 (= 11.3.0-1ubuntu1), 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-1ubuntu1), gcc (= 4:11.2.0-1ubuntu1), gcc-11 (= 11.3.0-1ubuntu1), gcc-11-base (= 11.3.0-1ubuntu1), 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.62), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.3.1-1), libarchive-zip-perl (= 1.68-1), libasan6 (= 11.3.0-1ubuntu1), 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-1build1), libcoq-elpi (= 1.14.0-1), libcoq-elpi-ocaml (= 1.14.0-1), libcoq-mathcomp-algebra (= 1.14.0-9build1), libcoq-mathcomp-fingroup (= 1.14.0-9build1), libcoq-mathcomp-ssreflect (= 1.14.0-9build1), libcoq-mathcomp-zify (= 1.2.0+1.12+8.13-1), libcoq-stdlib (= 8.15.1+dfsg-1build1), 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.8ubuntu3), libdebconfclient0 (= 0.261ubuntu1), libdebhelper-perl (= 13.7.1ubuntu1), libdpkg-perl (= 1.21.7ubuntu3), libdw1 (= 0.187-1), libelf1 (= 0.187-1), libelpi-ocaml (= 1.15.2-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-1ubuntu1), libgcc-s1 (= 12.1.0-2ubuntu1), libgcrypt20 (= 1.9.4-3ubuntu3), 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), libppx-deriving-ocaml (= 5.2.1-1build1), 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), libresult-ocaml (= 1.5-1build2), libselinux1 (= 3.3-1build2), libsexplib0-ocaml (= 0.14.0-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-1ubuntu1), 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-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="1650625326" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb --------------------------------------------------- new Debian package, version 2.0. size 251438 bytes: control archive=948 bytes. 870 bytes, 20 lines control 889 bytes, 9 lines md5sums Package: libcoq-mathcomp-algebra-tactics Source: mathcomp-algebra-tactics Version: 0.3.0-1 Architecture: riscv64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 770 Depends: coq-8.15.1+4.13.1, libcoq-elpi, libcoq-mathcomp-zify Suggests: ocaml-findlib Section: ocaml Priority: optional Homepage: https://github.com/math-comp/algebra-tactics Description: Ring and field tactics for Mathematical Components This package provides the 'ring' and 'field' tactics for the Mathematical Components library, that work for any instance of 'comRingType' and 'fieldType' through canonical structure inference. . 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-04-22 11:02 ./ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/lib/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/lib/ocaml/coq/user-contrib/mathcomp/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ -rw-r--r-- root/root 223486 2022-04-22 11:02 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ring.glob -rw-r--r-- root/root 29812 2022-04-22 11:02 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ring.v -rw-r--r-- root/root 449706 2022-04-22 11:02 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ring.vo drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/share/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/share/doc/ drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/ -rw-r--r-- root/root 2272 2022-02-07 19:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/README.md -rw-r--r-- root/root 168 2022-04-22 11:02 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/changelog.Debian.gz -rw-r--r-- root/root 22286 2022-04-22 11:02 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/copyright drwxr-xr-x root/root 0 2022-04-22 11:02 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ -rw-r--r-- root/root 1754 2022-02-07 19:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/field_examples.v -rw-r--r-- root/root 37542 2022-02-07 19:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/from_sander.v -rw-r--r-- root/root 3001 2022-02-07 19:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_examples.v +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 2892 Build-Time: 213 Distribution: kinetic-proposed Host Architecture: riscv64 Install-Time: 438 Job: mathcomp-algebra-tactics_0.3.0-1.dsc Machine Architecture: riscv64 Package: mathcomp-algebra-tactics Package-Time: 677 Source-Version: 0.3.0-1 Space: 2892 Status: successful Version: 0.3.0-1 -------------------------------------------------------------------------------- Finished at 2022-05-17T04:16:40Z Build needed 00:11:17, 2892k 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-23752845 Scanning for processes to kill in build PACKAGEBUILD-23752845 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23752845 Stopping target for build PACKAGEBUILD-23752845 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23752845 Removing build PACKAGEBUILD-23752845