https://launchpad.net/ubuntu/+archive/test-rebuild-20220617-kinetic/+build/24036138 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lgw01-amd64-038 5.4.0-120-generic #136-Ubuntu SMP Fri Jun 10 13:40:48 UTC 2022 x86_64 Buildd toolchain package versions: launchpad-buildd_215~563~ubuntu20.04.1 python3-lpbuildd_215~563~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.4 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1. Syncing the system clock with the buildd NTP service... 23 Jun 04:16:43 ntpdate[1827]: adjust time server 10.211.37.1 offset -0.001226 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=kinetic --arch=amd64 PACKAGEBUILD-24036138 --image-type chroot /home/buildd/filecache-default/4d18961cd05542d5def75b14497015b674c37821 Creating target for build PACKAGEBUILD-24036138 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=kinetic --arch=amd64 PACKAGEBUILD-24036138 Starting target for build PACKAGEBUILD-24036138 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=kinetic --arch=amd64 PACKAGEBUILD-24036138 'deb http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic main' 'deb http://ftpmaster.internal/ubuntu kinetic main universe' Overriding sources.list in build-PACKAGEBUILD-24036138 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=kinetic --arch=amd64 PACKAGEBUILD-24036138 Adding trusted keys to build-PACKAGEBUILD-24036138 pub rsa1024/1E9377A2BA9EF27F 2009-10-22 [SC] Key fingerprint = 60C3 1780 3A41 BA51 845E 371A 1E93 77A2 BA9E F27F uid Launchpad Toolchain builds RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=kinetic --arch=amd64 PACKAGEBUILD-24036138 Updating target for build PACKAGEBUILD-24036138 Get:1 http://ftpmaster.internal/ubuntu kinetic InRelease [267 kB] Get:2 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic InRelease [23.8 kB] Get:3 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 Packages [9632 B] Get:4 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main Translation-en [4132 B] Get:5 http://ftpmaster.internal/ubuntu kinetic/main amd64 Packages [1398 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main Translation-en [510 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/universe amd64 Packages [14.3 MB] Get:8 http://ftpmaster.internal/ubuntu kinetic/universe Translation-en [5729 kB] Fetched 22.2 MB in 7s (3380 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: libgprofng0 util-linux-extra The following packages will be upgraded: adduser apt base-files binutils binutils-common binutils-x86-64-linux-gnu bsdutils cpp-11 dpkg dpkg-dev e2fsprogs fakeroot g++-11 gcc-11 gcc-11-base gcc-12-base init init-system-helpers libapparmor1 libapt-pkg6.0 libasan6 libatomic1 libbinutils libblkid1 libcap-ng0 libcc1-0 libcom-err2 libctf-nobfd0 libctf0 libdb5.3 libdpkg-perl libext2fs2 libfakeroot libgcc-11-dev libgcc-s1 libgcrypt20 libgnutls30 libgomp1 libgpg-error0 libip4tc2 libitm1 libkeyutils1 liblsan0 liblzma5 libmount1 libncurses6 libncursesw6 libpng16-16 libquadmath0 libreadline8 libselinux1 libsemanage-common libsemanage2 libsepol2 libsmartcols1 libsqlite3-0 libss2 libssl3 libstdc++-11-dev libstdc++6 libsystemd0 libtinfo6 libtsan0 libubsan1 libudev1 libuuid1 libzstd1 login logsave lto-disabled-list mawk mount ncurses-base ncurses-bin openssl passwd pinentry-curses policyrcd-script-zg2 readline-common systemd systemd-sysv util-linux xz-utils 83 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 79.7 MB of archives. After this operation, 5304 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic/main amd64 base-files amd64 12.2ubuntu1 [62.6 kB] Get:2 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 libctf0 amd64 2.38.50.20220615-4ubuntu1 [103 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic/main amd64 bsdutils amd64 1:2.38-4ubuntu1 [80.7 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic/main amd64 libzstd1 amd64 1.5.2+dfsg-1 [270 kB] Get:5 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 libctf-nobfd0 amd64 2.38.50.20220615-4ubuntu1 [107 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatomic1 amd64 12.1.0-2ubuntu1 [10.4 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/main amd64 libubsan1 amd64 12.1.0-2ubuntu1 [969 kB] Get:8 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 binutils-x86-64-linux-gnu amd64 2.38.50.20220615-4ubuntu1 [2476 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic/main amd64 libquadmath0 amd64 12.1.0-2ubuntu1 [152 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblsan0 amd64 12.1.0-2ubuntu1 [1060 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic/main amd64 libitm1 amd64 12.1.0-2ubuntu1 [29.5 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgomp1 amd64 12.1.0-2ubuntu1 [125 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/main amd64 gcc-12-base amd64 12.1.0-2ubuntu1 [18.8 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgcc-s1 amd64 12.1.0-2ubuntu1 [54.2 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcc1-0 amd64 12.1.0-2ubuntu1 [46.6 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic/main amd64 libstdc++6 amd64 12.1.0-2ubuntu1 [679 kB] Get:17 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 libbinutils amd64 2.38.50.20220615-4ubuntu1 [655 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgpg-error0 amd64 1.45-2 [69.0 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgcrypt20 amd64 1.10.1-2ubuntu1 [524 kB] Get:20 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 binutils amd64 2.38.50.20220615-4ubuntu1 [3292 B] Get:21 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 binutils-common amd64 2.38.50.20220615-4ubuntu1 [224 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblzma5 amd64 5.2.5-2.1 [99.2 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic/main amd64 systemd-sysv amd64 249.11-0ubuntu4 [10.2 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic/main amd64 libapparmor1 amd64 3.0.4-2ubuntu3 [38.0 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgnutls30 amd64 3.7.6-2ubuntu1 [968 kB] Get:26 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/binutils/ubuntu kinetic/main amd64 libgprofng0 amd64 2.38.50.20220615-4ubuntu1 [963 kB] Get:27 http://ftpmaster.internal/ubuntu kinetic/main amd64 libip4tc2 amd64 1.8.7-1ubuntu6 [19.7 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic/main amd64 libblkid1 amd64 2.38-4ubuntu1 [103 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic/main amd64 libselinux1 amd64 3.4-1 [77.6 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmount1 amd64 2.38-4ubuntu1 [121 kB] Get:31 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsmartcols1 amd64 2.38-4ubuntu1 [50.8 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic/main amd64 login amd64 1:4.11.1+dfsg1-2ubuntu1 [183 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic/main amd64 util-linux-extra amd64 2.38-4ubuntu1 [83.8 kB] Get:34 http://ftpmaster.internal/ubuntu kinetic/main amd64 util-linux amd64 2.38-4ubuntu1 [1069 kB] Get:35 http://ftpmaster.internal/ubuntu kinetic/main amd64 mount amd64 2.38-4ubuntu1 [114 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsemanage-common all 3.4-1 [9828 B] Get:37 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsepol2 amd64 3.4-2 [294 kB] Get:38 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsemanage2 amd64 3.4-1 [91.8 kB] Get:39 http://ftpmaster.internal/ubuntu kinetic/main amd64 passwd amd64 1:4.11.1+dfsg1-2ubuntu1 [765 kB] Get:40 http://ftpmaster.internal/ubuntu kinetic/main amd64 adduser all 3.121ubuntu1 [150 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic/main amd64 systemd amd64 249.11-0ubuntu4 [4517 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsystemd0 amd64 249.11-0ubuntu4 [314 kB] Get:43 http://ftpmaster.internal/ubuntu kinetic/main amd64 libudev1 amd64 249.11-0ubuntu4 [76.1 kB] Get:44 http://ftpmaster.internal/ubuntu kinetic/main amd64 libapt-pkg6.0 amd64 2.5.0 [896 kB] Get:45 http://ftpmaster.internal/ubuntu kinetic/main amd64 dpkg amd64 1.21.8ubuntu1 [1333 kB] Get:46 http://ftpmaster.internal/ubuntu kinetic/main amd64 ncurses-bin amd64 6.3+20220423-2 [183 kB] Get:47 http://ftpmaster.internal/ubuntu kinetic/main amd64 init-system-helpers all 1.63 [38.7 kB] Get:48 http://ftpmaster.internal/ubuntu kinetic/main amd64 ncurses-base all 6.3+20220423-2 [21.2 kB] Get:49 http://ftpmaster.internal/ubuntu kinetic/main amd64 apt amd64 2.5.0 [1370 kB] Get:50 http://ftpmaster.internal/ubuntu kinetic/main amd64 logsave amd64 1.46.5-2ubuntu2 [9914 B] Get:51 http://ftpmaster.internal/ubuntu kinetic/main amd64 libext2fs2 amd64 1.46.5-2ubuntu2 [205 kB] Get:52 http://ftpmaster.internal/ubuntu kinetic/main amd64 e2fsprogs amd64 1.46.5-2ubuntu2 [585 kB] Get:53 http://ftpmaster.internal/ubuntu kinetic/main amd64 init amd64 1.63 [5674 B] Get:54 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcap-ng0 amd64 0.7.9-4 [12.1 kB] Get:55 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdb5.3 amd64 5.3.28+dfsg1-0.9 [717 kB] Get:56 http://ftpmaster.internal/ubuntu kinetic/main amd64 libncurses6 amd64 6.3+20220423-2 [110 kB] Get:57 http://ftpmaster.internal/ubuntu kinetic/main amd64 libncursesw6 amd64 6.3+20220423-2 [146 kB] Get:58 http://ftpmaster.internal/ubuntu kinetic/main amd64 libtinfo6 amd64 6.3+20220423-2 [99.6 kB] Get:59 http://ftpmaster.internal/ubuntu kinetic/main amd64 libuuid1 amd64 2.38-4ubuntu1 [23.2 kB] Get:60 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcom-err2 amd64 1.46.5-2ubuntu2 [9074 B] Get:61 http://ftpmaster.internal/ubuntu kinetic/main amd64 libss2 amd64 1.46.5-2ubuntu2 [12.3 kB] Get:62 http://ftpmaster.internal/ubuntu kinetic/main amd64 mawk amd64 1.3.4.20200120-3.1 [109 kB] Get:63 http://ftpmaster.internal/ubuntu kinetic/main amd64 libkeyutils1 amd64 1.6.1-3ubuntu1 [10.1 kB] Get:64 http://ftpmaster.internal/ubuntu kinetic/main amd64 readline-common all 8.1.2-1.2 [53.6 kB] Get:65 http://ftpmaster.internal/ubuntu kinetic/main amd64 libreadline8 amd64 8.1.2-1.2 [153 kB] Get:66 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsqlite3-0 amd64 3.38.5-1 [646 kB] Get:67 http://ftpmaster.internal/ubuntu kinetic/main amd64 libssl3 amd64 3.0.3-5ubuntu3 [1897 kB] Get:68 http://ftpmaster.internal/ubuntu kinetic/main amd64 openssl amd64 3.0.3-5ubuntu3 [1175 kB] Get:69 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpng16-16 amd64 1.6.37-5 [187 kB] Get:70 http://ftpmaster.internal/ubuntu kinetic/main amd64 xz-utils amd64 5.2.5-2.1 [83.8 kB] Get:71 http://ftpmaster.internal/ubuntu kinetic/main amd64 g++-11 amd64 11.3.0-3ubuntu1 [11.3 MB] Get:72 http://ftpmaster.internal/ubuntu kinetic/main amd64 libstdc++-11-dev amd64 11.3.0-3ubuntu1 [2074 kB] Get:73 http://ftpmaster.internal/ubuntu kinetic/main amd64 libasan6 amd64 11.3.0-3ubuntu1 [2265 kB] Get:74 http://ftpmaster.internal/ubuntu kinetic/main amd64 gcc-11 amd64 11.3.0-3ubuntu1 [20.0 MB] Get:75 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgcc-11-dev amd64 11.3.0-3ubuntu1 [2484 kB] Get:76 http://ftpmaster.internal/ubuntu kinetic/main amd64 libtsan0 amd64 11.3.0-3ubuntu1 [2241 kB] Get:77 http://ftpmaster.internal/ubuntu kinetic/main amd64 cpp-11 amd64 11.3.0-3ubuntu1 [9910 kB] Get:78 http://ftpmaster.internal/ubuntu kinetic/main amd64 gcc-11-base amd64 11.3.0-3ubuntu1 [20.8 kB] Get:79 http://ftpmaster.internal/ubuntu kinetic/main amd64 dpkg-dev all 1.21.8ubuntu1 [1069 kB] Get:80 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdpkg-perl all 1.21.8ubuntu1 [237 kB] Get:81 http://ftpmaster.internal/ubuntu kinetic/main amd64 lto-disabled-list all 27 [12.4 kB] Get:82 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfakeroot amd64 1.29-1ubuntu1 [31.1 kB] Get:83 http://ftpmaster.internal/ubuntu kinetic/main amd64 fakeroot amd64 1.29-1ubuntu1 [60.0 kB] Get:84 http://ftpmaster.internal/ubuntu kinetic/main amd64 pinentry-curses amd64 1.2.0-1ubuntu1 [34.5 kB] Get:85 http://ftpmaster.internal/ubuntu kinetic/main amd64 policyrcd-script-zg2 all 0.1-3.1 [5730 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 79.7 MB in 5s (14.9 MB/s) (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../base-files_12.2ubuntu1_amd64.deb ... Unpacking base-files (12.2ubuntu1) over (12ubuntu5) ... Setting up base-files (12.2ubuntu1) ... (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.38-4ubuntu1_amd64.deb ... Unpacking bsdutils (1:2.38-4ubuntu1) over (1:2.37.2-4ubuntu3) ... Setting up bsdutils (1:2.38-4ubuntu1) ... (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.2+dfsg-1_amd64.deb ... Unpacking libzstd1:amd64 (1.5.2+dfsg-1) over (1.4.8+dfsg-3build1) ... Setting up libzstd1:amd64 (1.5.2+dfsg-1) ... (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../0-libatomic1_12.1.0-2ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../1-libubsan1_12.1.0-2ubuntu1_amd64.deb ... Unpacking libubsan1:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../2-libquadmath0_12.1.0-2ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../3-liblsan0_12.1.0-2ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../4-libitm1_12.1.0-2ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../5-libgomp1_12.1.0-2ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../6-gcc-12-base_12.1.0-2ubuntu1_amd64.deb ... Unpacking gcc-12-base:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up gcc-12-base:amd64 (12.1.0-2ubuntu1) ... (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../libgcc-s1_12.1.0-2ubuntu1_amd64.deb ... Unpacking libgcc-s1:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up libgcc-s1:amd64 (12.1.0-2ubuntu1) ... (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../libcc1-0_12.1.0-2ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../libstdc++6_12.1.0-2ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up libstdc++6:amd64 (12.1.0-2ubuntu1) ... (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.45-2_amd64.deb ... Unpacking libgpg-error0:amd64 (1.45-2) over (1.43-3) ... Setting up libgpg-error0:amd64 (1.45-2) ... (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.10.1-2ubuntu1_amd64.deb ... Unpacking libgcrypt20:amd64 (1.10.1-2ubuntu1) over (1.9.4-3ubuntu3) ... Setting up libgcrypt20:amd64 (1.10.1-2ubuntu1) ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.5-2.1_amd64.deb ... Unpacking liblzma5:amd64 (5.2.5-2.1) over (5.2.5-2ubuntu1) ... Setting up liblzma5:amd64 (5.2.5-2.1) ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../systemd-sysv_249.11-0ubuntu4_amd64.deb ... Unpacking systemd-sysv (249.11-0ubuntu4) over (249.11-0ubuntu3.1) ... Preparing to unpack .../libapparmor1_3.0.4-2ubuntu3_amd64.deb ... Unpacking libapparmor1:amd64 (3.0.4-2ubuntu3) over (3.0.4-2ubuntu2) ... Preparing to unpack .../libgnutls30_3.7.6-2ubuntu1_amd64.deb ... Unpacking libgnutls30:amd64 (3.7.6-2ubuntu1) over (3.7.4-2ubuntu1) ... Setting up libgnutls30:amd64 (3.7.6-2ubuntu1) ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../libip4tc2_1.8.7-1ubuntu6_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.7-1ubuntu6) over (1.8.7-1ubuntu5) ... Preparing to unpack .../libblkid1_2.38-4ubuntu1_amd64.deb ... Unpacking libblkid1:amd64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libblkid1:amd64 (2.38-4ubuntu1) ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../libselinux1_3.4-1_amd64.deb ... Unpacking libselinux1:amd64 (3.4-1) over (3.3-1build2) ... Setting up libselinux1:amd64 (3.4-1) ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../libmount1_2.38-4ubuntu1_amd64.deb ... Unpacking libmount1:amd64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libmount1:amd64 (2.38-4ubuntu1) ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.38-4ubuntu1_amd64.deb ... Unpacking libsmartcols1:amd64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libsmartcols1:amd64 (2.38-4ubuntu1) ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../login_1%3a4.11.1+dfsg1-2ubuntu1_amd64.deb ... Unpacking login (1:4.11.1+dfsg1-2ubuntu1) over (1:4.8.1-2ubuntu2) ... Setting up login (1:4.11.1+dfsg1-2ubuntu1) ... Installing new version of config file /etc/login.defs ... (Reading database ... 13451 files and directories currently installed.) Preparing to unpack .../util-linux_2.38-4ubuntu1_amd64.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_amd64.deb ... Unpacking util-linux-extra (2.38-4ubuntu1) ... Setting up util-linux-extra (2.38-4ubuntu1) ... (Reading database ... 13463 files and directories currently installed.) Preparing to unpack .../mount_2.38-4ubuntu1_amd64.deb ... Unpacking mount (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Preparing to unpack .../libsemanage-common_3.4-1_all.deb ... Unpacking libsemanage-common (3.4-1) over (3.3-1build2) ... Setting up libsemanage-common (3.4-1) ... Installing new version of config file /etc/selinux/semanage.conf ... (Reading database ... 13463 files and directories currently installed.) Preparing to unpack .../libsepol2_3.4-2_amd64.deb ... Unpacking libsepol2:amd64 (3.4-2) over (3.3-1build1) ... Setting up libsepol2:amd64 (3.4-2) ... (Reading database ... 13463 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.4-1_amd64.deb ... Unpacking libsemanage2:amd64 (3.4-1) over (3.3-1build2) ... Setting up libsemanage2:amd64 (3.4-1) ... (Reading database ... 13463 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.11.1+dfsg1-2ubuntu1_amd64.deb ... Unpacking passwd (1:4.11.1+dfsg1-2ubuntu1) over (1:4.8.1-2ubuntu2) ... Setting up passwd (1:4.11.1+dfsg1-2ubuntu1) ... Installing new version of config file /etc/default/useradd ... (Reading database ... 13463 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 ... 13460 files and directories currently installed.) Preparing to unpack .../systemd_249.11-0ubuntu4_amd64.deb ... Unpacking systemd (249.11-0ubuntu4) over (249.11-0ubuntu3.1) ... Preparing to unpack .../libsystemd0_249.11-0ubuntu4_amd64.deb ... Unpacking libsystemd0:amd64 (249.11-0ubuntu4) over (249.11-0ubuntu3.1) ... Setting up libsystemd0:amd64 (249.11-0ubuntu4) ... (Reading database ... 13460 files and directories currently installed.) Preparing to unpack .../libudev1_249.11-0ubuntu4_amd64.deb ... Unpacking libudev1:amd64 (249.11-0ubuntu4) over (249.11-0ubuntu3.1) ... Setting up libudev1:amd64 (249.11-0ubuntu4) ... (Reading database ... 13460 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.5.0_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.5.0) over (2.4.5) ... Setting up libapt-pkg6.0:amd64 (2.5.0) ... (Reading database ... 13460 files and directories currently installed.) Preparing to unpack .../dpkg_1.21.8ubuntu1_amd64.deb ... Unpacking dpkg (1.21.8ubuntu1) over (1.21.1ubuntu2) ... Setting up dpkg (1.21.8ubuntu1) ... (Reading database ... 13464 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.3+20220423-2_amd64.deb ... Unpacking ncurses-bin (6.3+20220423-2) over (6.3-2) ... Setting up ncurses-bin (6.3+20220423-2) ... (Reading database ... 13464 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 ... 13464 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 ... 13465 files and directories currently installed.) Preparing to unpack .../archives/apt_2.5.0_amd64.deb ... Unpacking apt (2.5.0) over (2.4.5) ... Setting up apt (2.5.0) ... (Reading database ... 13466 files and directories currently installed.) Preparing to unpack .../logsave_1.46.5-2ubuntu2_amd64.deb ... Unpacking logsave (1.46.5-2ubuntu2) over (1.46.5-2ubuntu1) ... Preparing to unpack .../libext2fs2_1.46.5-2ubuntu2_amd64.deb ... Unpacking libext2fs2:amd64 (1.46.5-2ubuntu2) over (1.46.5-2ubuntu1) ... Setting up libext2fs2:amd64 (1.46.5-2ubuntu2) ... (Reading database ... 13466 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.46.5-2ubuntu2_amd64.deb ... Unpacking e2fsprogs (1.46.5-2ubuntu2) over (1.46.5-2ubuntu1) ... Setting up libapparmor1:amd64 (3.0.4-2ubuntu3) ... Setting up libip4tc2:amd64 (1.8.7-1ubuntu6) ... Setting up util-linux (2.38-4ubuntu1) ... Setting up mount (2.38-4ubuntu1) ... Setting up systemd (249.11-0ubuntu4) ... Initializing machine ID from random generator. Setting up systemd-sysv (249.11-0ubuntu4) ... (Reading database ... 13466 files and directories currently installed.) Preparing to unpack .../archives/init_1.63_amd64.deb ... Unpacking init (1.63) over (1.62) ... Preparing to unpack .../libcap-ng0_0.7.9-4_amd64.deb ... Unpacking libcap-ng0:amd64 (0.7.9-4) over (0.7.9-2.2build3) ... Setting up libcap-ng0:amd64 (0.7.9-4) ... (Reading database ... 13466 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28+dfsg1-0.9_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28+dfsg1-0.9) over (5.3.28+dfsg1-0.8ubuntu3) ... Setting up libdb5.3:amd64 (5.3.28+dfsg1-0.9) ... (Reading database ... 13466 files and directories currently installed.) Preparing to unpack .../libncurses6_6.3+20220423-2_amd64.deb ... Unpacking libncurses6:amd64 (6.3+20220423-2) over (6.3-2) ... Preparing to unpack .../libncursesw6_6.3+20220423-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.3+20220423-2) over (6.3-2) ... Preparing to unpack .../libtinfo6_6.3+20220423-2_amd64.deb ... Unpacking libtinfo6:amd64 (6.3+20220423-2) over (6.3-2) ... Setting up libtinfo6:amd64 (6.3+20220423-2) ... (Reading database ... 13465 files and directories currently installed.) Preparing to unpack .../libuuid1_2.38-4ubuntu1_amd64.deb ... Unpacking libuuid1:amd64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libuuid1:amd64 (2.38-4ubuntu1) ... (Reading database ... 13466 files and directories currently installed.) Preparing to unpack .../00-libcom-err2_1.46.5-2ubuntu2_amd64.deb ... Unpacking libcom-err2:amd64 (1.46.5-2ubuntu2) over (1.46.5-2ubuntu1) ... Preparing to unpack .../01-libss2_1.46.5-2ubuntu2_amd64.deb ... Unpacking libss2:amd64 (1.46.5-2ubuntu2) over (1.46.5-2ubuntu1) ... Preparing to unpack .../02-mawk_1.3.4.20200120-3.1_amd64.deb ... Unpacking mawk (1.3.4.20200120-3.1) over (1.3.4.20200120-3) ... Preparing to unpack .../03-libkeyutils1_1.6.1-3ubuntu1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.1-3ubuntu1) over (1.6.1-2ubuntu3) ... Preparing to unpack .../04-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 .../05-libreadline8_8.1.2-1.2_amd64.deb ... Unpacking libreadline8:amd64 (8.1.2-1.2) over (8.1.2-1) ... Preparing to unpack .../06-libsqlite3-0_3.38.5-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.38.5-1) over (3.37.2-2) ... Preparing to unpack .../07-libssl3_3.0.3-5ubuntu3_amd64.deb ... Unpacking libssl3:amd64 (3.0.3-5ubuntu3) over (3.0.2-0ubuntu1) ... Preparing to unpack .../08-openssl_3.0.3-5ubuntu3_amd64.deb ... Unpacking openssl (3.0.3-5ubuntu3) over (3.0.2-0ubuntu1) ... Preparing to unpack .../09-libpng16-16_1.6.37-5_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.37-5) over (1.6.37-3build5) ... Preparing to unpack .../10-xz-utils_5.2.5-2.1_amd64.deb ... Unpacking xz-utils (5.2.5-2.1) over (5.2.5-2ubuntu1) ... Preparing to unpack .../11-libctf0_2.38.50.20220615-4ubuntu1_amd64.deb ... Unpacking libctf0:amd64 (2.38.50.20220615-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../12-libctf-nobfd0_2.38.50.20220615-4ubuntu1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.38.50.20220615-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../13-binutils-x86-64-linux-gnu_2.38.50.20220615-4ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.38.50.20220615-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../14-libbinutils_2.38.50.20220615-4ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.38.50.20220615-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../15-binutils_2.38.50.20220615-4ubuntu1_amd64.deb ... Unpacking binutils (2.38.50.20220615-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../16-binutils-common_2.38.50.20220615-4ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.38.50.20220615-4ubuntu1) over (2.38-3ubuntu1) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../17-libgprofng0_2.38.50.20220615-4ubuntu1_amd64.deb ... Unpacking libgprofng0:amd64 (2.38.50.20220615-4ubuntu1) ... Preparing to unpack .../18-g++-11_11.3.0-3ubuntu1_amd64.deb ... Unpacking g++-11 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../19-libstdc++-11-dev_11.3.0-3ubuntu1_amd64.deb ... Unpacking libstdc++-11-dev:amd64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../20-libasan6_11.3.0-3ubuntu1_amd64.deb ... Unpacking libasan6:amd64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../21-gcc-11_11.3.0-3ubuntu1_amd64.deb ... Unpacking gcc-11 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../22-libgcc-11-dev_11.3.0-3ubuntu1_amd64.deb ... Unpacking libgcc-11-dev:amd64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../23-libtsan0_11.3.0-3ubuntu1_amd64.deb ... Unpacking libtsan0:amd64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../24-cpp-11_11.3.0-3ubuntu1_amd64.deb ... Unpacking cpp-11 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../25-gcc-11-base_11.3.0-3ubuntu1_amd64.deb ... Unpacking gcc-11-base:amd64 (11.3.0-3ubuntu1) over (11.3.0-1ubuntu1) ... Preparing to unpack .../26-dpkg-dev_1.21.8ubuntu1_all.deb ... Unpacking dpkg-dev (1.21.8ubuntu1) over (1.21.1ubuntu2) ... Preparing to unpack .../27-libdpkg-perl_1.21.8ubuntu1_all.deb ... Unpacking libdpkg-perl (1.21.8ubuntu1) over (1.21.1ubuntu2) ... Preparing to unpack .../28-lto-disabled-list_27_all.deb ... Unpacking lto-disabled-list (27) over (25) ... Preparing to unpack .../29-libfakeroot_1.29-1ubuntu1_amd64.deb ... Unpacking libfakeroot:amd64 (1.29-1ubuntu1) over (1.28-1ubuntu1) ... Preparing to unpack .../30-fakeroot_1.29-1ubuntu1_amd64.deb ... Unpacking fakeroot (1.29-1ubuntu1) over (1.28-1ubuntu1) ... Preparing to unpack .../31-pinentry-curses_1.2.0-1ubuntu1_amd64.deb ... Unpacking pinentry-curses (1.2.0-1ubuntu1) over (1.1.1-1build2) ... Preparing to unpack .../32-policyrcd-script-zg2_0.1-3.1_all.deb ... Unpacking policyrcd-script-zg2 (0.1-3.1) over (0.1-3) ... Setting up gcc-11-base:amd64 (11.3.0-3ubuntu1) ... Setting up libkeyutils1:amd64 (1.6.1-3ubuntu1) ... Setting up lto-disabled-list (27) ... Setting up init (1.63) ... Setting up libsqlite3-0:amd64 (3.38.5-1) ... Setting up binutils-common:amd64 (2.38.50.20220615-4ubuntu1) ... Setting up libssl3:amd64 (3.0.3-5ubuntu3) ... Setting up libctf-nobfd0:amd64 (2.38.50.20220615-4ubuntu1) ... Setting up libcom-err2:amd64 (1.46.5-2ubuntu2) ... Setting up libgomp1:amd64 (12.1.0-2ubuntu1) ... Setting up libfakeroot:amd64 (1.29-1ubuntu1) ... Setting up libasan6:amd64 (11.3.0-3ubuntu1) ... Setting up fakeroot (1.29-1ubuntu1) ... Setting up policyrcd-script-zg2 (0.1-3.1) ... Setting up libncurses6:amd64 (6.3+20220423-2) ... Setting up xz-utils (5.2.5-2.1) ... Setting up libquadmath0:amd64 (12.1.0-2ubuntu1) ... Setting up libpng16-16:amd64 (1.6.37-5) ... Setting up libatomic1:amd64 (12.1.0-2ubuntu1) ... Setting up libss2:amd64 (1.46.5-2ubuntu2) ... Setting up libncursesw6:amd64 (6.3+20220423-2) ... Setting up libdpkg-perl (1.21.8ubuntu1) ... Setting up logsave (1.46.5-2ubuntu2) ... Setting up libubsan1:amd64 (12.1.0-2ubuntu1) ... Setting up mawk (1.3.4.20200120-3.1) ... Setting up libbinutils:amd64 (2.38.50.20220615-4ubuntu1) ... Setting up openssl (3.0.3-5ubuntu3) ... Installing new version of config file /etc/ssl/openssl.cnf ... Setting up readline-common (8.1.2-1.2) ... Setting up libcc1-0:amd64 (12.1.0-2ubuntu1) ... Setting up liblsan0:amd64 (12.1.0-2ubuntu1) ... Setting up libitm1:amd64 (12.1.0-2ubuntu1) ... Setting up libtsan0:amd64 (11.3.0-3ubuntu1) ... Setting up libctf0:amd64 (2.38.50.20220615-4ubuntu1) ... Setting up pinentry-curses (1.2.0-1ubuntu1) ... Setting up cpp-11 (11.3.0-3ubuntu1) ... Setting up libreadline8:amd64 (8.1.2-1.2) ... Setting up e2fsprogs (1.46.5-2ubuntu2) ... Setting up libgprofng0:amd64 (2.38.50.20220615-4ubuntu1) ... Setting up libgcc-11-dev:amd64 (11.3.0-3ubuntu1) ... Setting up binutils-x86-64-linux-gnu (2.38.50.20220615-4ubuntu1) ... Setting up binutils (2.38.50.20220615-4ubuntu1) ... Setting up dpkg-dev (1.21.8ubuntu1) ... Setting up libstdc++-11-dev:amd64 (11.3.0-3ubuntu1) ... Setting up gcc-11 (11.3.0-3ubuntu1) ... Setting up g++-11 (11.3.0-3ubuntu1) ... Processing triggers for libc-bin (2.35-0ubuntu3) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-24036138 amd64 kinetic -c chroot:build-PACKAGEBUILD-24036138 --arch=amd64 --dist=kinetic --nolog -A mathcomp-algebra-tactics_1.0.0-3.dsc Initiating build PACKAGEBUILD-24036138 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.4.0-120-generic #136-Ubuntu SMP Fri Jun 10 13:40:48 UTC 2022 x86_64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on lgw01-amd64-038.buildd +==============================================================================+ | mathcomp-algebra-tactics 1.0.0-3 (amd64) Thu, 23 Jun 2022 04:17:37 +0000 | +==============================================================================+ Package: mathcomp-algebra-tactics Version: 1.0.0-3 Source Version: 1.0.0-3 Distribution: kinetic Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: binary I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-24036138/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-algebra-tactics-41GJyI/resolver-WkYCVJ' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- mathcomp-algebra-tactics_1.0.0-3.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/mathcomp-algebra-tactics-41GJyI/mathcomp-algebra-tactics-1.0.0' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-algebra-tactics-41GJyI' 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 0s (53.3 kB/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 337 MB of archives. After this operation, 1196 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [698 B] Get:2 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpython3.10-minimal amd64 3.10.5-1 [804 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic/main amd64 libexpat1 amd64 2.4.8-1 [90.6 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3.10-minimal amd64 3.10.5-1 [2228 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3-minimal amd64 3.10.4-0ubuntu2 [24.4 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main amd64 media-types all 8.0.0 [24.9 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmpdec3 amd64 2.5.1-2build2 [86.8 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpython3.10-stdlib amd64 3.10.5-1 [1805 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3.10 amd64 3.10.5-1 [491 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpython3-stdlib amd64 3.10.4-0ubuntu2 [6990 B] Get:11 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3 amd64 3.10.4-0ubuntu2 [22.8 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic/main amd64 libelf1 amd64 0.187-1 [51.3 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/main amd64 libicu71 amd64 71.1-3 [10.6 MB] Get:14 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxml2 amd64 2.9.14+dfsg-1 [756 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic/main amd64 bsdextrautils amd64 2.38-4ubuntu1 [71.1 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmagic-mgc amd64 1:5.41-4 [257 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmagic1 amd64 1:5.41-4 [87.3 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic/main amd64 file amd64 1:5.41-4 [21.5 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic/main amd64 gettext-base amd64 0.21-6 [37.9 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic/main amd64 libuchardet0 amd64 0.0.7-1build2 [76.9 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic/main amd64 groff-base amd64 1.22.4-8build1 [955 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpipeline1 amd64 1.5.6-1 [23.1 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic/main amd64 man-db amd64 2.10.2-1 [1187 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsigsegv2 amd64 2.13-1ubuntu3 [14.6 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic/main amd64 m4 amd64 1.4.18-5ubuntu2 [199 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic/main amd64 autoconf all 2.71-2 [338 kB] Get:27 http://ftpmaster.internal/ubuntu kinetic/main amd64 autotools-dev all 20220109.1 [44.9 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic/main amd64 automake all 1:1.16.5-1.3 [558 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic/main amd64 autopoint all 0.21-6 [421 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-stdlib amd64 8.15.2+dfsg-2 [24.5 MB] Get:31 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-base amd64 4.13.1-3ubuntu1 [589 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libzarith-ocaml amd64 1.12-1build1 [60.1 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-core-ocaml amd64 8.15.2+dfsg-2 [26.8 MB] Get:34 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-compiler-libs amd64 4.13.1-3ubuntu1 [36.2 MB] Get:35 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-interp amd64 4.13.1-3ubuntu1 [7488 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic/main amd64 libncurses-dev amd64 6.3+20220423-2 [379 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic/main amd64 libncurses5-dev amd64 6.3+20220423-2 [792 B] Get:38 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml amd64 4.13.1-3ubuntu1 [87.7 MB] Get:39 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-nox all 4.13.1-3ubuntu1 [3082 B] Get:40 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libfindlib-ocaml amd64 1.9.3-1 [198 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-findlib amd64 1.9.3-1 [539 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic/universe amd64 coq amd64 8.15.2+dfsg-2 [94.9 MB] Get:43 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdebhelper-perl all 13.7.1ubuntu1 [66.9 kB] Get:44 http://ftpmaster.internal/ubuntu kinetic/main amd64 libtool all 2.4.7-4 [166 kB] Get:45 http://ftpmaster.internal/ubuntu kinetic/main amd64 dh-autoreconf all 20 [16.1 kB] Get:46 http://ftpmaster.internal/ubuntu kinetic/main amd64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:47 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsub-override-perl all 0.09-3 [9756 B] Get:48 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfile-stripnondeterminism-perl all 1.13.0-1 [18.1 kB] Get:49 http://ftpmaster.internal/ubuntu kinetic/main amd64 dh-strip-nondeterminism all 1.13.0-1 [5344 B] Get:50 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdw1 amd64 0.187-1 [247 kB] Get:51 http://ftpmaster.internal/ubuntu kinetic/main amd64 debugedit amd64 1:5.0-4build1 [47.2 kB] Get:52 http://ftpmaster.internal/ubuntu kinetic/main amd64 dwz amd64 0.14-1build2 [105 kB] Get:53 http://ftpmaster.internal/ubuntu kinetic/main amd64 gettext amd64 0.21-6 [862 kB] Get:54 http://ftpmaster.internal/ubuntu kinetic/main amd64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:55 http://ftpmaster.internal/ubuntu kinetic/main amd64 po-debconf all 1.0.21+nmu1 [233 kB] Get:56 http://ftpmaster.internal/ubuntu kinetic/main amd64 debhelper all 13.7.1ubuntu1 [940 kB] Get:57 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libresult-ocaml amd64 1.5-1build2 [7232 B] Get:58 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libsexplib0-ocaml amd64 0.14.0-1build2 [110 kB] Get:59 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libppx-deriving-ocaml amd64 5.2.1-1build1 [4284 kB] Get:60 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libelpi-ocaml amd64 1.15.2-1 [6299 kB] Get:61 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-elpi-ocaml amd64 1.14.0-5 [8301 kB] Get:62 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-elpi amd64 1.14.0-5 [507 kB] Get:63 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-mathcomp-ssreflect amd64 1.14.0-12 [4648 kB] Get:64 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-mathcomp-fingroup amd64 1.14.0-12 [2116 kB] Get:65 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-mathcomp-algebra amd64 1.14.0-12 [7286 kB] Get:66 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcoq-mathcomp-zify amd64 1.2.0+1.12+8.13-4 [269 kB] Get:67 http://ftpmaster.internal/ubuntu kinetic/universe amd64 dh-ocaml all 1.1.3 [78.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 337 MB in 19s (18.1 MB/s) Selecting previously unselected package libpython3.10-minimal:amd64. (Reading database ... 13495 files and directories currently installed.) Preparing to unpack .../libpython3.10-minimal_3.10.5-1_amd64.deb ... Unpacking libpython3.10-minimal:amd64 (3.10.5-1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.4.8-1_amd64.deb ... Unpacking libexpat1:amd64 (2.4.8-1) ... Selecting previously unselected package python3.10-minimal. Preparing to unpack .../python3.10-minimal_3.10.5-1_amd64.deb ... Unpacking python3.10-minimal (3.10.5-1) ... Setting up libpython3.10-minimal:amd64 (3.10.5-1) ... Setting up libexpat1:amd64 (2.4.8-1) ... Setting up python3.10-minimal (3.10.5-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 13797 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.10.4-0ubuntu2_amd64.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:amd64. Preparing to unpack .../2-libmpdec3_2.5.1-2build2_amd64.deb ... Unpacking libmpdec3:amd64 (2.5.1-2build2) ... Selecting previously unselected package libpython3.10-stdlib:amd64. Preparing to unpack .../3-libpython3.10-stdlib_3.10.5-1_amd64.deb ... Unpacking libpython3.10-stdlib:amd64 (3.10.5-1) ... Selecting previously unselected package python3.10. Preparing to unpack .../4-python3.10_3.10.5-1_amd64.deb ... Unpacking python3.10 (3.10.5-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../5-libpython3-stdlib_3.10.4-0ubuntu2_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.10.4-0ubuntu2) ... Setting up python3-minimal (3.10.4-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 14198 files and directories currently installed.) Preparing to unpack .../00-python3_3.10.4-0ubuntu2_amd64.deb ... Unpacking python3 (3.10.4-0ubuntu2) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../01-libelf1_0.187-1_amd64.deb ... Unpacking libelf1:amd64 (0.187-1) ... Selecting previously unselected package libicu71:amd64. Preparing to unpack .../02-libicu71_71.1-3_amd64.deb ... Unpacking libicu71:amd64 (71.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../04-bsdextrautils_2.38-4ubuntu1_amd64.deb ... Unpacking bsdextrautils (2.38-4ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.41-4_amd64.deb ... Unpacking libmagic-mgc (1:5.41-4) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../06-libmagic1_1%3a5.41-4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.41-4) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.41-4_amd64.deb ... Unpacking file (1:5.41-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../08-gettext-base_0.21-6_amd64.deb ... Unpacking gettext-base (0.21-6) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../09-libuchardet0_0.0.7-1build2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1build2) ... Selecting previously unselected package groff-base. Preparing to unpack .../10-groff-base_1.22.4-8build1_amd64.deb ... Unpacking groff-base (1.22.4-8build1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../11-libpipeline1_1.5.6-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.6-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.10.2-1_amd64.deb ... Unpacking man-db (2.10.2-1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../13-libsigsegv2_2.13-1ubuntu3_amd64.deb ... Unpacking libsigsegv2:amd64 (2.13-1ubuntu3) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-5ubuntu2_amd64.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-6_all.deb ... Unpacking autopoint (0.21-6) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../19-libcoq-stdlib_8.15.2+dfsg-2_amd64.deb ... Unpacking libcoq-stdlib (8.15.2+dfsg-2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.13.1-3ubuntu1_amd64.deb ... Unpacking ocaml-base (4.13.1-3ubuntu1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../21-libzarith-ocaml_1.12-1build1_amd64.deb ... Unpacking libzarith-ocaml (1.12-1build1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../22-libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb ... Unpacking libcoq-core-ocaml (8.15.2+dfsg-2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../23-ocaml-compiler-libs_4.13.1-3ubuntu1_amd64.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_amd64.deb ... Unpacking ocaml-interp (4.13.1-3ubuntu1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../25-libncurses-dev_6.3+20220423-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.3+20220423-2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../26-libncurses5-dev_6.3+20220423-2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.3+20220423-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../27-ocaml_4.13.1-3ubuntu1_amd64.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_amd64.deb ... Unpacking libfindlib-ocaml (1.9.3-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../30-ocaml-findlib_1.9.3-1_amd64.deb ... Unpacking ocaml-findlib (1.9.3-1) ... Selecting previously unselected package coq. Preparing to unpack .../31-coq_8.15.2+dfsg-2_amd64.deb ... Unpacking coq (8.15.2+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-3_all.deb ... Unpacking libsub-override-perl (0.09-3) ... 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:amd64. Preparing to unpack .../39-libdw1_0.187-1_amd64.deb ... Unpacking libdw1:amd64 (0.187-1) ... Selecting previously unselected package debugedit. Preparing to unpack .../40-debugedit_1%3a5.0-4build1_amd64.deb ... Unpacking debugedit (1:5.0-4build1) ... Selecting previously unselected package dwz. Preparing to unpack .../41-dwz_0.14-1build2_amd64.deb ... Unpacking dwz (0.14-1build2) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.21-6_amd64.deb ... Unpacking gettext (0.21-6) ... 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_amd64.deb ... Unpacking libresult-ocaml (1.5-1build2) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../47-libsexplib0-ocaml_0.14.0-1build2_amd64.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_amd64.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_amd64.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-5_amd64.deb ... Unpacking libcoq-elpi-ocaml (1.14.0-5) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../51-libcoq-elpi_1.14.0-5_amd64.deb ... Unpacking libcoq-elpi (1.14.0-5) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../52-libcoq-mathcomp-ssreflect_1.14.0-12_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (1.14.0-12) ... Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../53-libcoq-mathcomp-fingroup_1.14.0-12_amd64.deb ... Unpacking libcoq-mathcomp-fingroup (1.14.0-12) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../54-libcoq-mathcomp-algebra_1.14.0-12_amd64.deb ... Unpacking libcoq-mathcomp-algebra (1.14.0-12) ... Selecting previously unselected package libcoq-mathcomp-zify. Preparing to unpack .../55-libcoq-mathcomp-zify_1.2.0+1.12+8.13-4_amd64.deb ... Unpacking libcoq-mathcomp-zify (1.2.0+1.12+8.13-4) ... 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_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (8.0.0) ... Setting up libpipeline1:amd64 (1.5.6-1) ... Setting up libicu71:amd64 (71.1-3) ... Setting up libncurses-dev:amd64 (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:amd64 (1:5.41-4) ... Setting up gettext-base (0.21-6) ... Setting up file (1:5.41-4) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.15.2+dfsg-2) ... Setting up libsigsegv2:amd64 (2.13-1ubuntu3) ... Setting up autopoint (0.21-6) ... Setting up ocaml-base (4.13.1-3ubuntu1) ... Setting up libsexplib0-ocaml (0.14.0-1build2) ... Setting up libuchardet0:amd64 (0.0.7-1build2) ... Setting up libncurses5-dev:amd64 (6.3+20220423-2) ... Setting up libmpdec3:amd64 (2.5.1-2build2) ... Setting up libsub-override-perl (0.09-3) ... Setting up libresult-ocaml (1.5-1build2) ... Setting up libelf1:amd64 (0.187-1) ... Setting up libxml2:amd64 (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:amd64 (0.187-1) ... Setting up gettext (0.21-6) ... 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:amd64 (3.10.5-1) ... 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.2+dfsg-2) ... Setting up groff-base (1.22.4-8build1) ... Setting up debugedit (1:5.0-4build1) ... Setting up libcoq-elpi-ocaml (1.14.0-5) ... Setting up libpython3-stdlib:amd64 (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 libcoq-elpi (1.14.0-5) ... Setting up python3.10 (3.10.5-1) ... Setting up libcoq-mathcomp-ssreflect (1.14.0-12) ... 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 libcoq-mathcomp-fingroup (1.14.0-12) ... Setting up libcoq-mathcomp-algebra (1.14.0-12) ... 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.2+dfsg-2) ... Setting up libcoq-mathcomp-zify (1.2.0+1.12+8.13-4) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.35-0ubuntu3) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.4.0-120-generic #136-Ubuntu SMP Fri Jun 10 13:40:48 UTC 2022 amd64 (x86_64) Toolchain package versions: binutils_2.38.50.20220615-4ubuntu1 dpkg-dev_1.21.8ubuntu1 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-27.28 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-6 autotools-dev_20220109.1 base-files_12.2ubuntu1 base-passwd_3.5.52build1 bash_5.1-6ubuntu1 binutils_2.38.50.20220615-4ubuntu1 binutils-common_2.38.50.20220615-4ubuntu1 binutils-x86-64-linux-gnu_2.38.50.20220615-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.2+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-3build1 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.8ubuntu1 dpkg-dev_1.21.8ubuntu1 dwz_0.14-1build2 e2fsprogs_1.46.5-2ubuntu2 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-6 gettext-base_0.21-6 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-2ubuntu3 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.50.20220615-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-4 libcap2_1:2.44-1build3 libcc1-0_12.1.0-2ubuntu1 libcom-err2_1.46.5-2ubuntu2 libcoq-core-ocaml_8.15.2+dfsg-2 libcoq-elpi_1.14.0-5 libcoq-elpi-ocaml_1.14.0-5 libcoq-mathcomp-algebra_1.14.0-12 libcoq-mathcomp-fingroup_1.14.0-12 libcoq-mathcomp-ssreflect_1.14.0-12 libcoq-mathcomp-zify_1.2.0+1.12+8.13-4 libcoq-stdlib_8.15.2+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.50.20220615-4ubuntu1 libctf0_2.38.50.20220615-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.8ubuntu1 libdw1_0.187-1 libelf1_0.187-1 libelpi-ocaml_1.15.2-1 libexpat1_2.4.8-1 libext2fs2_1.46.5-2ubuntu2 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.6-2ubuntu1 libgomp1_12.1.0-2ubuntu1 libgpg-error0_1.45-2 libgprofng0_2.38.50.20220615-4ubuntu1 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 libitm1_12.1.0-2ubuntu1 libjson-c5_0.16-1 libk5crypto3_1.19.2-2 libkeyutils1_1.6.1-3ubuntu1 libkmod2_29-1ubuntu1 libkrb5-3_1.19.2-2 libkrb5support0_1.19.2-2 liblockfile-bin_1.17-1build2 liblockfile1_1.17-1build2 liblsan0_12.1.0-2ubuntu1 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.5-1 libpython3.10-stdlib_3.10.5-1 libquadmath0_12.1.0-2ubuntu1 libreadline8_8.1.2-1.2 libresult-ocaml_1.5-1build2 libseccomp2_2.5.4-1ubuntu1 libselinux1_3.4-1 libsemanage-common_3.4-1 libsemanage2_3.4-1 libsepol2_3.4-2 libsexplib0-ocaml_0.14.0-1build2 libsigsegv2_2.13-1ubuntu3 libsmartcols1_2.38-4ubuntu1 libsqlite3-0_3.38.5-1 libss2_1.46.5-2ubuntu2 libssl3_3.0.3-5ubuntu3 libstdc++-11-dev_11.3.0-3ubuntu1 libstdc++6_12.1.0-2ubuntu1 libsub-override-perl_0.09-3 libsystemd0_249.11-0ubuntu4 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 libtsan0_11.3.0-3ubuntu1 libubsan1_12.1.0-2ubuntu1 libuchardet0_0.0.7-1build2 libudev1_249.11-0ubuntu4 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-27.28 lockfile-progs_0.1.19build1 login_1:4.11.1+dfsg1-2ubuntu1 logsave_1.46.5-2ubuntu2 lsb-base_11.1.0ubuntu4 lto-disabled-list_27 m4_1.4.18-5ubuntu2 make_4.3-4.1build1 man-db_2.10.2-1 mawk_1.3.4.20200120-3.1 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-5ubuntu3 optipng_0.7.7-2build1 passwd_1:4.11.1+dfsg1-2ubuntu1 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.1 procps_2:3.3.17-6ubuntu2 python3_3.10.4-0ubuntu2 python3-minimal_3.10.4-0ubuntu2 python3.10_3.10.5-1 python3.10-minimal_3.10.5-1 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-0ubuntu4 systemd-sysv_249.11-0ubuntu4 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: 1.0.0-3 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/algebra-tactics Standards-Version: 4.6.1 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: aa1c3cfce1fef380c1f084d965e9f39e05197579 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz b8c8b2da79ae59e655e95a4d76e087ab92377500 8540 mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz Checksums-Sha256: fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz b3a2706dc7ec7bb4efd2cdd8f281287909a4d73dee48bfeb63561ee4baf2d66c 8540 mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz Files: 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz bae103d42dcabf3cc25aee5c82b6be5f 8540 mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYn9sSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRUqMQAInfPx7Q8MtRDfcEvw7AWUtV5l879U0U JKSR6AlCisri9jEWEKH28hH1tPMFQJ58jjgK9mceBY0CpP4OUjVNYtVGMjWlbS75 XokaBEqAtQkpGYMFBHEYPsAVM1oPfVwYOj/wwTnGDulAynvI50WLMU2oK/9jlgFr k9r9WjT2AME+IN0ZgDMnDyuKX3lxJ99mkZZgb/d4QS6cTV8DB7bFgoAviRqS/YVh XnDinxUgB7T+jpBy6UQV6DRptKhrdsVPpO195aVC1U1XgEHYaxqRP6qOETEAvwwg Lt+iLu+OoWI+i9KjCIzY42eu4xVKzoNfgPw7FhJGa9aYCAKe0AEs573qXV8y4nV3 bfZCBW1LTTxAQJEaXcHUwO4nuZRvO7bWCOp7ASGkQu3dcJN35kjZ33hsx7GrI+yW FZQZB78aF/rL8t6877//1PkB1O527CbUL+Ze+dRdHuhqI2TPm2TUZJ2J3Z+DkODj +nm0VdZ6VCeTUEVBKYPHDM3V4cXG4VSWR/tnrDuLvB7EqB54nFHKOoaY9xdQ5xE1 Hj48KBfPXWWY5DP7k1w/uRvXWip6oETn2E9q+Or5q8TwV+bd2bHywHcvcEQRxlD/ m4eIQ4gPULWAs1hElNHt66rUWgNVLrfdyWAwq4cv2eSpUf/TB5WLVwrCjSW+aOge xU0+kga/8zW2 =TkOm -----END PGP SIGNATURE----- gpgv: Signature made Thu Jun 2 11:32:43 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_1.0.0-3.dsc dpkg-source: info: extracting mathcomp-algebra-tactics in /<> dpkg-source: info: unpacking mathcomp-algebra-tactics_1.0.0.orig.tar.gz dpkg-source: info: unpacking mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=noautodbgsym parallel=4 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-24036138 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-24036138 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-24036138 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 1.0.0-3 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j4 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 dh binary --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure 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 695, 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 696, 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 706, 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 707, 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 '/<>' debian/rules override_dh_auto_test make[1]: Entering directory '/<>' make test-suite make[2]: Entering directory '/<>' coq_makefile -f Make.test-suite -R theories mathcomp.algebra_tactics -o Makefile.test-suite.coq coq_makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq make[4]: Nothing to be done for 'real-all'. make --no-print-directory -f Makefile.test-suite.coq COQDEP VFILES COQC examples/field_examples_check.v File "./examples/field_examples_check.v", line 1, characters 0-68: 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 "./examples/field_examples_check.v", line 1, characters 0-68: 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 "./examples/field_examples_check.v", line 1, characters 0-68: 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 "./examples/field_examples_check.v", line 1, characters 0-68: 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 "./examples/field_examples_check.v", line 1, characters 0-68: 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 "./examples/field_examples_check.v", line 1, characters 0-68: 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 "./examples/field_examples_check.v", line 1, characters 0-68: 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] COQC examples/field_examples_no_check.v File "./examples/field_examples_no_check.v", line 1, characters 0-68: 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 "./examples/field_examples_no_check.v", line 1, characters 0-68: 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 "./examples/field_examples_no_check.v", line 1, characters 0-68: 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 "./examples/field_examples_no_check.v", line 1, characters 0-68: 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 "./examples/field_examples_no_check.v", line 1, characters 0-68: 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 "./examples/field_examples_no_check.v", line 1, characters 0-68: 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 "./examples/field_examples_no_check.v", line 1, characters 0-68: 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] COQC examples/ring_examples_check.v File "./examples/ring_examples_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_check.v", line 1, characters 0-68: 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] Reification: 0.006811 sec. Reflection: 0.008034 sec. File "./examples/ring_examples_check.v", line 4, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] File "./examples/ring_examples_check.v", line 4, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] Finished transaction in 0.086 secs (0.086u,0.s) (successful) File "./examples/ring_examples_check.v", line 4, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] Finished transaction in 0.075 secs (0.075u,0.s) (successful) Finished transaction in 0.012 secs (0.012u,0.s) (successful) File "./examples/ring_examples_check.v", line 4, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] Finished transaction in 0.095 secs (0.095u,0.s) (successful) Finished transaction in 0.048 secs (0.048u,0.s) (successful) COQC examples/ring_examples_no_check.v File "./examples/ring_examples_no_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_no_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_no_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_no_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_no_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_no_check.v", line 1, characters 0-68: 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 "./examples/ring_examples_no_check.v", line 1, characters 0-68: 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] Reification: 0.006842 sec. Reflection: 0.004299 sec. File "./examples/ring_examples_no_check.v", line 6, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] File "./examples/ring_examples_no_check.v", line 6, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] Finished transaction in 0.067 secs (0.064u,0.003s) (successful) File "./examples/ring_examples_no_check.v", line 6, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] Finished transaction in 0.066 secs (0.063u,0.003s) (successful) Finished transaction in 0.009 secs (0.009u,0.s) (successful) File "./examples/ring_examples_no_check.v", line 6, characters 0-23: Warning: To avoid stack overflow, large numbers in nat are interpreted as applications of Nat.of_num_uint. [abstract-large-number,numbers] Finished transaction in 0.04 secs (0.04u,0.s) (successful) Finished transaction in 0.088 secs (0.087u,0.001s) (successful) COQC examples/from_sander.v File "./examples/from_sander.v", line 1, characters 0-68: 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 "./examples/from_sander.v", line 1, characters 0-68: 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 "./examples/from_sander.v", line 1, characters 0-68: 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 "./examples/from_sander.v", line 1, characters 0-68: 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 "./examples/from_sander.v", line 1, characters 0-68: 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 "./examples/from_sander.v", line 1, characters 0-68: 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 "./examples/from_sander.v", line 1, characters 0-68: 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] Finished transaction in 21.712 secs (21.702u,0.s) (successful) Finished transaction in 3.055 secs (3.01u,0.039s) (successful) Finished transaction in 17.226 secs (17.104u,0.098s) (successful) Finished transaction in 2.569 secs (2.526u,0.042s) (successful) Finished transaction in 22.734 secs (22.693u,0.036s) (successful) Finished transaction in 2.859 secs (2.859u,0.s) (successful) Finished transaction in 14.471 secs (14.47u,0.s) (successful) Finished transaction in 2.951 secs (2.946u,0.s) (successful) Finished transaction in 14.421 secs (14.412u,0.008s) (successful) Finished transaction in 2.57 secs (2.536u,0.033s) (successful) Finished transaction in 16.622 secs (16.562u,0.043s) (successful) Finished transaction in 3.311 secs (3.291u,0.019s) (successful) COQC examples/zmodule.v File "./examples/zmodule.v", line 8, 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 "./examples/zmodule.v", line 8, 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 "./examples/zmodule.v", line 8, 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 "./examples/zmodule.v", line 8, 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 "./examples/zmodule.v", line 8, 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 "./examples/zmodule.v", line 8, 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 "./examples/zmodule.v", line 8, 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] eq_op 0 1 : bool eq_op (0, 0) (0, 1) : bool File "./examples/zmodule.v", line 202, characters 0-164: Warning: Command Restart. is not recommended in batch mode. In particular, going back in the document is not efficient in batch mode due to Coq not caching previous states for memory optimization reasons. If your use is intentional, you may want to disable this warning and pass the "-async-proofs-cache force" option to Coq. [undo-batch-mode,non-interactive] File "./examples/zmodule.v", line 487, characters 0-57: Warning: Ignoring canonical projection to Logic.eq_refl by zifyRingE in zify_one: redundant with zify_zero [redundant-canonical-projection,typechecker] File "./examples/zmodule.v", line 507, characters 0-98: Warning: Ignoring canonical projection to zify_mulrz_subproof by zifyRingE in zify_mulrz: redundant with zify_mulrn [redundant-canonical-projection,typechecker] File "./examples/zmodule.v", line 523, characters 0-13: Warning: Ignoring canonical projection to Logic.eq_refl by zifyRingE in zify_one: redundant with zify_zero [redundant-canonical-projection,typechecker] File "./examples/zmodule.v", line 523, characters 0-13: Warning: Ignoring canonical projection to zify_mulrz_subproof by zifyRingE in zify_mulrz: redundant with zify_mulrn [redundant-canonical-projection,typechecker] make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp dh_prep 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 dh_ocamldoc dh_installdocs dh_installchangelogs dh_installexamples dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_ocaml debian/rules override_dh_gencontrol make[1]: Entering directory '/<>' dh_gencontrol -- -VF:CoqABI="8.15.2+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 dh_builddeb 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 4 cpus) for package libcoq-mathcomp-algebra-tactics ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-mathcomp-algebra-tactics' in '../libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb'. dpkg-genbuildinfo --build=binary -O../mathcomp-algebra-tactics_1.0.0-3_amd64.buildinfo dpkg-genchanges --build=binary -mLaunchpad Build Daemon -O../mathcomp-algebra-tactics_1.0.0-3_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2022-06-23T04:21:45Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ mathcomp-algebra-tactics_1.0.0-3_amd64.changes: ----------------------------------------------- Format: 1.8 Date: Thu, 02 Jun 2022 13:32:21 +0200 Source: mathcomp-algebra-tactics Binary: libcoq-mathcomp-algebra-tactics Built-For-Profiles: noudeb Architecture: amd64 Version: 1.0.0-3 Distribution: kinetic Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Julien Puydt Description: libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components Changes: mathcomp-algebra-tactics (1.0.0-3) unstable; urgency=medium . * Re-upload to fix ABI breakage. Checksums-Sha1: 1225ff64822bb6d4b65126ece31ef96a671c1c06 255364 libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb 20d3f6098e42cc64acf747a9414945c1549c318c 7014 mathcomp-algebra-tactics_1.0.0-3_amd64.buildinfo Checksums-Sha256: 20e7ae005cd71cff1836223b98fc41e869a39f571ec58df9075f9cdb625a792f 255364 libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb 5e2d8ab28bb2a8bb47c3eaf4b23850dd2471029a928dbab6ccb48ee2f1216128 7014 mathcomp-algebra-tactics_1.0.0-3_amd64.buildinfo Files: 2e613f1df9bcfe7c978632256adac406 255364 ocaml optional libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb ba91693fc840a9528ec1bc51f891fae5 7014 ocaml optional mathcomp-algebra-tactics_1.0.0-3_amd64.buildinfo /<>/mathcomp-algebra-tactics_1.0.0-3_amd64.changes.new could not be renamed to /<>/mathcomp-algebra-tactics_1.0.0-3_amd64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: mathcomp-algebra-tactics Binary: libcoq-mathcomp-algebra-tactics Architecture: amd64 Version: 1.0.0-3 Checksums-Md5: 2e613f1df9bcfe7c978632256adac406 255364 libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb Checksums-Sha1: 1225ff64822bb6d4b65126ece31ef96a671c1c06 255364 libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb Checksums-Sha256: 20e7ae005cd71cff1836223b98fc41e869a39f571ec58df9075f9cdb625a792f 255364 libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb Build-Origin: Ubuntu Build-Architecture: amd64 Build-Date: Thu, 23 Jun 2022 04:21:45 +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-6), autotools-dev (= 20220109.1), base-files (= 12.2ubuntu1), base-passwd (= 3.5.52build1), bash (= 5.1-6ubuntu1), binutils (= 2.38.50.20220615-4ubuntu1), binutils-common (= 2.38.50.20220615-4ubuntu1), binutils-x86-64-linux-gnu (= 2.38.50.20220615-4ubuntu1), bsdextrautils (= 2.38-4ubuntu1), bsdutils (= 1:2.38-4ubuntu1), build-essential (= 12.9ubuntu3), bzip2 (= 1.0.8-5build1), coq (= 8.15.2+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-3build1), 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.8ubuntu1), dpkg-dev (= 1.21.8ubuntu1), 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-6), gettext-base (= 0.21-6), 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.50.20220615-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-4), libcap2 (= 1:2.44-1build3), libcc1-0 (= 12.1.0-2ubuntu1), libcom-err2 (= 1.46.5-2ubuntu2), libcoq-core-ocaml (= 8.15.2+dfsg-2), libcoq-elpi (= 1.14.0-5), libcoq-elpi-ocaml (= 1.14.0-5), libcoq-mathcomp-algebra (= 1.14.0-12), libcoq-mathcomp-fingroup (= 1.14.0-12), libcoq-mathcomp-ssreflect (= 1.14.0-12), libcoq-mathcomp-zify (= 1.2.0+1.12+8.13-4), libcoq-stdlib (= 8.15.2+dfsg-2), libcrypt-dev (= 1:4.4.27-1), libcrypt1 (= 1:4.4.27-1), libctf-nobfd0 (= 2.38.50.20220615-4ubuntu1), libctf0 (= 2.38.50.20220615-4ubuntu1), libdb5.3 (= 5.3.28+dfsg1-0.9), libdebconfclient0 (= 0.261ubuntu1), libdebhelper-perl (= 13.7.1ubuntu1), libdpkg-perl (= 1.21.8ubuntu1), 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-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), libgprofng0 (= 2.38.50.20220615-4ubuntu1), libgssapi-krb5-2 (= 1.19.2-2), libicu71 (= 71.1-3), libisl23 (= 0.24-2build1), libitm1 (= 12.1.0-2ubuntu1), libk5crypto3 (= 1.19.2-2), libkeyutils1 (= 1.6.1-3ubuntu1), libkrb5-3 (= 1.19.2-2), libkrb5support0 (= 1.19.2-2), liblsan0 (= 12.1.0-2ubuntu1), 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.5-1), libpython3.10-stdlib (= 3.10.5-1), libquadmath0 (= 12.1.0-2ubuntu1), libreadline8 (= 8.1.2-1.2), libresult-ocaml (= 1.5-1build2), libseccomp2 (= 2.5.4-1ubuntu1), libselinux1 (= 3.4-1), libsexplib0-ocaml (= 0.14.0-1build2), libsigsegv2 (= 2.13-1ubuntu3), libsmartcols1 (= 2.38-4ubuntu1), libsqlite3-0 (= 3.38.5-1), libssl3 (= 3.0.3-5ubuntu3), libstdc++-11-dev (= 11.3.0-3ubuntu1), libstdc++6 (= 12.1.0-2ubuntu1), libsub-override-perl (= 0.09-3), libsystemd0 (= 249.11-0ubuntu4), 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), libtsan0 (= 11.3.0-3ubuntu1), libubsan1 (= 12.1.0-2ubuntu1), libuchardet0 (= 0.0.7-1build2), libudev1 (= 249.11-0ubuntu4), 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-27.28), login (= 1:4.11.1+dfsg1-2ubuntu1), lsb-base (= 11.1.0ubuntu4), lto-disabled-list (= 27), m4 (= 1.4.18-5ubuntu2), make (= 4.3-4.1build1), man-db (= 2.10.2-1), mawk (= 1.3.4.20200120-3.1), 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.5-1), python3.10-minimal (= 3.10.5-1), 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="noautodbgsym parallel=4" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1654169541" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb ------------------------------------------------- new Debian package, version 2.0. size 255364 bytes: control archive=1114 bytes. 868 bytes, 20 lines control 1542 bytes, 15 lines md5sums Package: libcoq-mathcomp-algebra-tactics Source: mathcomp-algebra-tactics Version: 1.0.0-3 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 792 Depends: coq-8.15.2+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-06-02 11:32 ./ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/lib/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/lib/ocaml/coq/user-contrib/mathcomp/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ -rw-r--r-- root/root 223077 2022-06-02 11:32 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ring.glob -rw-r--r-- root/root 30024 2022-06-02 11:32 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ring.v -rw-r--r-- root/root 449194 2022-06-02 11:32 ./usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics/ring.vo drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/share/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/share/doc/ drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/ -rw-r--r-- root/root 2896 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/README.md -rw-r--r-- root/root 301 2022-06-02 11:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/changelog.Debian.gz -rw-r--r-- root/root 22286 2022-06-02 11:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/copyright drwxr-xr-x root/root 0 2022-06-02 11:32 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ -rw-r--r-- root/root 1895 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/field_examples.v -rw-r--r-- root/root 130 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/field_examples_check.v -rw-r--r-- root/root 184 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/field_examples_no_check.v -rw-r--r-- root/root 38151 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/from_sander.v -rw-r--r-- root/root 456 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_error.v -rw-r--r-- root/root 2990 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_examples.v -rw-r--r-- root/root 129 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_examples_check.v -rw-r--r-- root/root 181 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/ring_examples_no_check.v -rw-r--r-- root/root 17840 2022-04-25 12:53 ./usr/share/doc/libcoq-mathcomp-algebra-tactics/examples/zmodule.v +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: binary Build-Space: 6104 Build-Time: 183 Distribution: kinetic Host Architecture: amd64 Install-Time: 61 Job: mathcomp-algebra-tactics_1.0.0-3.dsc Machine Architecture: amd64 Package: mathcomp-algebra-tactics Package-Time: 248 Source-Version: 1.0.0-3 Space: 6104 Status: successful Version: 1.0.0-3 -------------------------------------------------------------------------------- Finished at 2022-06-23T04:21:45Z Build needed 00:04:08, 6104k disk space Adding user buildd to group lxd RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=kinetic --arch=amd64 PACKAGEBUILD-24036138 Scanning for processes to kill in build PACKAGEBUILD-24036138