https://launchpad.net/ubuntu/+source/aac-tactics/8.6.1-2build1/+build/16281737 RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux bos02-ppc64el-007 4.4.0-141-generic #167-Ubuntu SMP Wed Dec 5 10:33:00 UTC 2018 ppc64le Buildd toolchain package versions: launchpad-buildd_165 python-lpbuildd_165 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.6 dpkg-dev_1.18.4ubuntu1.5 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 31 Jan 12:05:14 ntpdate[1787]: adjust time server 10.211.37.1 offset 0.017838 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=disco --arch=ppc64el PACKAGEBUILD-16281737 /home/buildd/filecache-default/8ecade3ba39252410f2285d8b2f76e6336361d85 Creating target for build PACKAGEBUILD-16281737 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=disco --arch=ppc64el PACKAGEBUILD-16281737 Starting target for build PACKAGEBUILD-16281737 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=disco --arch=ppc64el PACKAGEBUILD-16281737 'deb http://ftpmaster.internal/ubuntu disco main universe' 'deb http://ftpmaster.internal/ubuntu disco-security main universe' 'deb http://ftpmaster.internal/ubuntu disco-updates main universe' 'deb http://ftpmaster.internal/ubuntu disco-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-16281737 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=disco --arch=ppc64el PACKAGEBUILD-16281737 Updating target for build PACKAGEBUILD-16281737 Get:1 http://ftpmaster.internal/ubuntu disco InRelease [243 kB] Get:2 http://ftpmaster.internal/ubuntu disco-security InRelease [65.4 kB] Get:3 http://ftpmaster.internal/ubuntu disco-updates InRelease [65.4 kB] Get:4 http://ftpmaster.internal/ubuntu disco-proposed InRelease [93.2 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main ppc64el Packages [969 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main Translation-en [512 kB] Get:7 http://ftpmaster.internal/ubuntu disco/universe ppc64el Packages [8710 kB] Get:8 http://ftpmaster.internal/ubuntu disco/universe Translation-en [5214 kB] Get:9 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el Packages [56.9 kB] Get:10 http://ftpmaster.internal/ubuntu disco-proposed/main Translation-en [29.9 kB] Get:11 http://ftpmaster.internal/ubuntu disco-proposed/universe ppc64el Packages [160 kB] Get:12 http://ftpmaster.internal/ubuntu disco-proposed/universe Translation-en [99.4 kB] Fetched 16.2 MB in 3s (4770 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following package was automatically installed and is no longer required: libreadline7 Use 'sudo apt autoremove' to remove it. The following NEW packages will be installed: libreadline8 The following packages will be upgraded: apt bash binutils binutils-common binutils-powerpc64le-linux-gnu bsdutils ca-certificates coreutils cpp-8 dash debconf debianutils dpkg dpkg-dev e2fslibs e2fsprogs fdisk findutils g++-8 gcc-8 gcc-8-base gpg gpg-agent gpgconf gpgv grep gzip init init-system-helpers libapt-pkg5.0 libargon2-1 libasan5 libassuan0 libatomic1 libbinutils libblkid1 libcap-ng0 libcc1-0 libcom-err2 libcomerr2 libdpkg-perl libext2fs2 libfdisk1 libgcc-8-dev libgcc1 libgdbm-compat4 libgdbm6 libgnutls30 libgomp1 libgpg-error0 libhogweed4 libitm1 libjson-c3 liblsan0 liblz4-1 liblzma5 libmount1 libmpfr6 libnettle6 libpng16-16 libquadmath0 libsemanage-common libsemanage1 libsmartcols1 libsqlite3-0 libss2 libstdc++-8-dev libstdc++6 libsystemd0 libtsan0 libubsan1 libudev1 libuuid1 libzstd1 linux-libc-dev login mount passwd readline-common sed systemd systemd-sysv tar tzdata util-linux xz-utils zlib1g 87 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 59.2 MB of archives. After this operation, 8944 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu disco/main ppc64el debianutils ppc64el 4.8.6.1 [86.4 kB] Get:2 http://ftpmaster.internal/ubuntu disco/main ppc64el bash ppc64el 5.0-2ubuntu1 [730 kB] Get:3 http://ftpmaster.internal/ubuntu disco/main ppc64el bsdutils ppc64el 1:2.33.1-0.1ubuntu1 [69.5 kB] Get:4 http://ftpmaster.internal/ubuntu disco/main ppc64el coreutils ppc64el 8.30-1ubuntu1 [1313 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main ppc64el tar ppc64el 1.30+dfsg-4 [287 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main ppc64el dpkg ppc64el 1.19.2ubuntu2 [1138 kB] Get:7 http://ftpmaster.internal/ubuntu disco/main ppc64el debconf all 1.5.70 [122 kB] Get:8 http://ftpmaster.internal/ubuntu disco/main ppc64el dash ppc64el 0.5.10.2-4ubuntu1 [101 kB] Get:9 http://ftpmaster.internal/ubuntu disco/main ppc64el findutils ppc64el 4.6.0+git+20190105-2 [367 kB] Get:10 http://ftpmaster.internal/ubuntu disco/main ppc64el grep ppc64el 3.3-1 [157 kB] Get:11 http://ftpmaster.internal/ubuntu disco/main ppc64el gzip ppc64el 1.9-3 [107 kB] Get:12 http://ftpmaster.internal/ubuntu disco/main ppc64el libsmartcols1 ppc64el 2.33.1-0.1ubuntu1 [108 kB] Get:13 http://ftpmaster.internal/ubuntu disco/main ppc64el libuuid1 ppc64el 2.33.1-0.1ubuntu1 [22.6 kB] Get:14 http://ftpmaster.internal/ubuntu disco/main ppc64el libblkid1 ppc64el 2.33.1-0.1ubuntu1 [159 kB] Get:15 http://ftpmaster.internal/ubuntu disco/main ppc64el libfdisk1 ppc64el 2.33.1-0.1ubuntu1 [196 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main ppc64el libmount1 ppc64el 2.33.1-0.1ubuntu1 [173 kB] Get:17 http://ftpmaster.internal/ubuntu disco/main ppc64el fdisk ppc64el 2.33.1-0.1ubuntu1 [130 kB] Get:18 http://ftpmaster.internal/ubuntu disco/main ppc64el login ppc64el 1:4.5-1.1ubuntu1 [269 kB] Get:19 http://ftpmaster.internal/ubuntu disco/main ppc64el util-linux ppc64el 2.33.1-0.1ubuntu1 [1056 kB] Get:20 http://ftpmaster.internal/ubuntu disco/main ppc64el sed ppc64el 4.7-1 [203 kB] Get:21 http://ftpmaster.internal/ubuntu disco/main ppc64el init-system-helpers all 1.56+nmu1 [38.2 kB] Get:22 http://ftpmaster.internal/ubuntu disco/main ppc64el libnettle6 ppc64el 3.4.1-1 [145 kB] Get:23 http://ftpmaster.internal/ubuntu disco/main ppc64el libhogweed4 ppc64el 3.4.1-1 [145 kB] Get:24 http://ftpmaster.internal/ubuntu disco/main ppc64el libgnutls30 ppc64el 3.6.5-2ubuntu1 [758 kB] Get:25 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libcc1-0 ppc64el 8.2.0-16ubuntu1 [52.6 kB] Get:26 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el gcc-8-base ppc64el 8.2.0-16ubuntu1 [18.8 kB] Get:27 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libgcc1 ppc64el 1:8.2.0-16ubuntu1 [30.2 kB] Get:28 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libgomp1 ppc64el 8.2.0-16ubuntu1 [80.0 kB] Get:29 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libitm1 ppc64el 8.2.0-16ubuntu1 [29.5 kB] Get:30 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libatomic1 ppc64el 8.2.0-16ubuntu1 [9884 B] Get:31 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libasan5 ppc64el 8.2.0-16ubuntu1 [387 kB] Get:32 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el liblsan0 ppc64el 8.2.0-16ubuntu1 [144 kB] Get:33 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libtsan0 ppc64el 8.2.0-16ubuntu1 [296 kB] Get:34 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libubsan1 ppc64el 8.2.0-16ubuntu1 [133 kB] Get:35 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libquadmath0 ppc64el 8.2.0-16ubuntu1 [136 kB] Get:36 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el g++-8 ppc64el 8.2.0-16ubuntu1 [10.7 MB] Get:37 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libstdc++-8-dev ppc64el 8.2.0-16ubuntu1 [1595 kB] Get:38 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libgcc-8-dev ppc64el 8.2.0-16ubuntu1 [1206 kB] Get:39 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el gcc-8 ppc64el 8.2.0-16ubuntu1 [10.2 MB] Get:40 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el cpp-8 ppc64el 8.2.0-16ubuntu1 [9353 kB] Get:41 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libstdc++6 ppc64el 8.2.0-16ubuntu1 [444 kB] Get:42 http://ftpmaster.internal/ubuntu disco/main ppc64el libmpfr6 ppc64el 4.0.2~rc1-1 [263 kB] Get:43 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el zlib1g ppc64el 1:1.2.11.dfsg-1ubuntu2 [57.9 kB] Get:44 http://ftpmaster.internal/ubuntu disco/main ppc64el libbinutils ppc64el 2.31.1-11ubuntu1 [521 kB] Get:45 http://ftpmaster.internal/ubuntu disco/main ppc64el binutils-common ppc64el 2.31.1-11ubuntu1 [194 kB] Get:46 http://ftpmaster.internal/ubuntu disco/main ppc64el binutils ppc64el 2.31.1-11ubuntu1 [3388 B] Get:47 http://ftpmaster.internal/ubuntu disco/main ppc64el binutils-powerpc64le-linux-gnu ppc64el 2.31.1-11ubuntu1 [2049 kB] Get:48 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el liblz4-1 ppc64el 1.8.3-1ubuntu1 [74.0 kB] Get:49 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el liblzma5 ppc64el 5.2.4-1 [110 kB] Get:50 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libudev1 ppc64el 240-5ubuntu2 [82.7 kB] Get:51 http://ftpmaster.internal/ubuntu disco/main ppc64el libzstd1 ppc64el 1.3.8+dfsg-3 [291 kB] Get:52 http://ftpmaster.internal/ubuntu disco/main ppc64el libapt-pkg5.0 ppc64el 1.8.0~beta1 [898 kB] Get:53 http://ftpmaster.internal/ubuntu disco/main ppc64el libgpg-error0 ppc64el 1.33-3 [70.4 kB] Get:54 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el gpgv ppc64el 2.2.12-1ubuntu3 [237 kB] Get:55 http://ftpmaster.internal/ubuntu disco/main ppc64el apt ppc64el 1.8.0~beta1 [1207 kB] Get:56 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el systemd-sysv ppc64el 240-5ubuntu2 [9392 B] Get:57 http://ftpmaster.internal/ubuntu disco/main ppc64el mount ppc64el 2.33.1-0.1ubuntu1 [122 kB] Get:58 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el systemd ppc64el 240-5ubuntu2 [4031 kB] Get:59 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libsystemd0 ppc64el 240-5ubuntu2 [304 kB] Get:60 http://ftpmaster.internal/ubuntu disco/main ppc64el libext2fs2 ppc64el 1.44.5-1 [191 kB] Get:61 http://ftpmaster.internal/ubuntu disco/main ppc64el e2fsprogs ppc64el 1.44.5-1 [554 kB] Get:62 http://ftpmaster.internal/ubuntu disco/main ppc64el init ppc64el 1.56+nmu1 [6080 B] Get:63 http://ftpmaster.internal/ubuntu disco/main ppc64el libcap-ng0 ppc64el 0.7.9-2 [12.4 kB] Get:64 http://ftpmaster.internal/ubuntu disco/main ppc64el libsemanage-common all 2.8-2 [7016 B] Get:65 http://ftpmaster.internal/ubuntu disco/main ppc64el libsemanage1 ppc64el 2.8-2 [97.5 kB] Get:66 http://ftpmaster.internal/ubuntu disco/main ppc64el passwd ppc64el 1:4.5-1.1ubuntu1 [829 kB] Get:67 http://ftpmaster.internal/ubuntu disco/main ppc64el libcom-err2 ppc64el 1.44.5-1 [9956 B] Get:68 http://ftpmaster.internal/ubuntu disco/main ppc64el libss2 ppc64el 1.44.5-1 [12.6 kB] Get:69 http://ftpmaster.internal/ubuntu disco/main ppc64el ca-certificates all 20190110 [146 kB] Get:70 http://ftpmaster.internal/ubuntu disco/main ppc64el libargon2-1 ppc64el 0~20171227-0.2 [21.9 kB] Get:71 http://ftpmaster.internal/ubuntu disco/main ppc64el libjson-c3 ppc64el 0.12.1+ds-2 [24.8 kB] Get:72 http://ftpmaster.internal/ubuntu disco/main ppc64el readline-common all 8.0-1 [53.4 kB] Get:73 http://ftpmaster.internal/ubuntu disco/main ppc64el libreadline8 ppc64el 8.0-1 [144 kB] Get:74 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el libsqlite3-0 ppc64el 3.26.0+fossilbc891ac6b-2 [564 kB] Get:75 http://ftpmaster.internal/ubuntu disco/main ppc64el tzdata all 2018i-1 [189 kB] Get:76 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el xz-utils ppc64el 5.2.4-1 [87.9 kB] Get:77 http://ftpmaster.internal/ubuntu disco/main ppc64el libgdbm6 ppc64el 1.18.1-2build1 [32.1 kB] Get:78 http://ftpmaster.internal/ubuntu disco/main ppc64el libpng16-16 ppc64el 1.6.36-3 [209 kB] Get:79 http://ftpmaster.internal/ubuntu disco/main ppc64el dpkg-dev all 1.19.2ubuntu2 [549 kB] Get:80 http://ftpmaster.internal/ubuntu disco/main ppc64el libdpkg-perl all 1.19.2ubuntu2 [227 kB] Get:81 http://ftpmaster.internal/ubuntu disco/main ppc64el e2fslibs ppc64el 1.44.5-1 [2704 B] Get:82 http://ftpmaster.internal/ubuntu disco/main ppc64el libassuan0 ppc64el 2.5.2-1 [38.7 kB] Get:83 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el gpg ppc64el 2.2.12-1ubuntu3 [540 kB] Get:84 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el gpgconf ppc64el 2.2.12-1ubuntu3 [147 kB] Get:85 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el gpg-agent ppc64el 2.2.12-1ubuntu3 [268 kB] Get:86 http://ftpmaster.internal/ubuntu disco/main ppc64el libcomerr2 ppc64el 1.44.5-1 [2700 B] Get:87 http://ftpmaster.internal/ubuntu disco/main ppc64el libgdbm-compat4 ppc64el 1.18.1-2build1 [6680 B] Get:88 http://ftpmaster.internal/ubuntu disco-proposed/main ppc64el linux-libc-dev ppc64el 4.19.0-12.13 [1064 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 59.2 MB in 1s (69.1 MB/s) (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.6.1_ppc64el.deb ... Unpacking debianutils (4.8.6.1) over (4.8.6) ... Setting up debianutils (4.8.6.1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../bash_5.0-2ubuntu1_ppc64el.deb ... Unpacking bash (5.0-2ubuntu1) over (4.4.18-2ubuntu3) ... Setting up bash (5.0-2ubuntu1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking bsdutils (1:2.33.1-0.1ubuntu1) over (1:2.32-0.1ubuntu2) ... Setting up bsdutils (1:2.33.1-0.1ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../coreutils_8.30-1ubuntu1_ppc64el.deb ... Unpacking coreutils (8.30-1ubuntu1) over (8.28-1ubuntu2) ... Setting up coreutils (8.30-1ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../tar_1.30+dfsg-4_ppc64el.deb ... Unpacking tar (1.30+dfsg-4) over (1.30+dfsg-3) ... Setting up tar (1.30+dfsg-4) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.2ubuntu2_ppc64el.deb ... Unpacking dpkg (1.19.2ubuntu2) over (1.19.2ubuntu1) ... Setting up dpkg (1.19.2ubuntu2) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../debconf_1.5.70_all.deb ... Unpacking debconf (1.5.70) over (1.5.69) ... Setting up debconf (1.5.70) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../dash_0.5.10.2-4ubuntu1_ppc64el.deb ... Unpacking dash (0.5.10.2-4ubuntu1) over (0.5.10.2-2) ... Setting up dash (0.5.10.2-4ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20190105-2_ppc64el.deb ... Unpacking findutils (4.6.0+git+20190105-2) over (4.6.0+git+20181018-1) ... Setting up findutils (4.6.0+git+20190105-2) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../grep_3.3-1_ppc64el.deb ... Unpacking grep (3.3-1) over (3.1-3) ... Setting up grep (3.3-1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../gzip_1.9-3_ppc64el.deb ... Unpacking gzip (1.9-3) over (1.6-5ubuntu2) ... Setting up gzip (1.9-3) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking libsmartcols1:ppc64el (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Setting up libsmartcols1:ppc64el (2.33.1-0.1ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../libuuid1_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking libuuid1:ppc64el (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Setting up libuuid1:ppc64el (2.33.1-0.1ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../libblkid1_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking libblkid1:ppc64el (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Setting up libblkid1:ppc64el (2.33.1-0.1ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking libfdisk1:ppc64el (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Setting up libfdisk1:ppc64el (2.33.1-0.1ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../libmount1_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking libmount1:ppc64el (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Setting up libmount1:ppc64el (2.33.1-0.1ubuntu1) ... (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../fdisk_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking fdisk (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Setting up fdisk (2.33.1-0.1ubuntu1) ... (Reading database ... 12599 files and directories currently installed.) Preparing to unpack .../util-linux_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking util-linux (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Replacing files in old package login (1:4.5-1ubuntu1) ... Preparing to unpack .../login_1%3a4.5-1.1ubuntu1_ppc64el.deb ... Unpacking login (1:4.5-1.1ubuntu1) over (1:4.5-1ubuntu1) ... Setting up login (1:4.5-1.1ubuntu1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../archives/sed_4.7-1_ppc64el.deb ... Unpacking sed (4.7-1) over (4.5-2) ... Setting up sed (4.7-1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.56+nmu1_all.deb ... Unpacking init-system-helpers (1.56+nmu1) over (1.56) ... Setting up init-system-helpers (1.56+nmu1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libnettle6_3.4.1-1_ppc64el.deb ... Unpacking libnettle6:ppc64el (3.4.1-1) over (3.4.1~rc1-1) ... Setting up libnettle6:ppc64el (3.4.1-1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libhogweed4_3.4.1-1_ppc64el.deb ... Unpacking libhogweed4:ppc64el (3.4.1-1) over (3.4.1~rc1-1) ... Setting up libhogweed4:ppc64el (3.4.1-1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.5-2ubuntu1_ppc64el.deb ... Unpacking libgnutls30:ppc64el (3.6.5-2ubuntu1) over (3.6.4-2ubuntu2) ... Setting up libgnutls30:ppc64el (3.6.5-2ubuntu1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libcc1-0_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libcc1-0:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../gcc-8-base_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking gcc-8-base:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Setting up gcc-8-base:ppc64el (8.2.0-16ubuntu1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libgcc1:ppc64el (1:8.2.0-16ubuntu1) over (1:8.2.0-12ubuntu1) ... Setting up libgcc1:ppc64el (1:8.2.0-16ubuntu1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../00-libgomp1_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libgomp1:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../01-libitm1_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libitm1:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../02-libatomic1_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libatomic1:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../03-libasan5_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libasan5:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../04-liblsan0_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking liblsan0:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../05-libtsan0_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libtsan0:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../06-libubsan1_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libubsan1:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../07-libquadmath0_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libquadmath0:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../08-g++-8_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking g++-8 (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../09-libstdc++-8-dev_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libstdc++-8-dev:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../10-libgcc-8-dev_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libgcc-8-dev:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../11-gcc-8_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking gcc-8 (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../12-cpp-8_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking cpp-8 (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../13-libstdc++6_8.2.0-16ubuntu1_ppc64el.deb ... Unpacking libstdc++6:ppc64el (8.2.0-16ubuntu1) over (8.2.0-12ubuntu1) ... Setting up libstdc++6:ppc64el (8.2.0-16ubuntu1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libmpfr6_4.0.2~rc1-1_ppc64el.deb ... Unpacking libmpfr6:ppc64el (4.0.2~rc1-1) over (4.0.1-2) ... Preparing to unpack .../zlib1g_1%3a1.2.11.dfsg-1ubuntu2_ppc64el.deb ... Unpacking zlib1g:ppc64el (1:1.2.11.dfsg-1ubuntu2) over (1:1.2.11.dfsg-0ubuntu2) ... Setting up zlib1g:ppc64el (1:1.2.11.dfsg-1ubuntu2) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libbinutils_2.31.1-11ubuntu1_ppc64el.deb ... Unpacking libbinutils:ppc64el (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../binutils-common_2.31.1-11ubuntu1_ppc64el.deb ... Unpacking binutils-common:ppc64el (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../binutils_2.31.1-11ubuntu1_ppc64el.deb ... Unpacking binutils (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../binutils-powerpc64le-linux-gnu_2.31.1-11ubuntu1_ppc64el.deb ... Unpacking binutils-powerpc64le-linux-gnu (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../liblz4-1_1.8.3-1ubuntu1_ppc64el.deb ... Unpacking liblz4-1:ppc64el (1.8.3-1ubuntu1) over (1.8.2-1ubuntu1) ... Setting up liblz4-1:ppc64el (1.8.3-1ubuntu1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.4-1_ppc64el.deb ... Unpacking liblzma5:ppc64el (5.2.4-1) over (5.2.2-1.3) ... Setting up liblzma5:ppc64el (5.2.4-1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libudev1_240-5ubuntu2_ppc64el.deb ... Unpacking libudev1:ppc64el (240-5ubuntu2) over (239-7ubuntu15) ... Setting up libudev1:ppc64el (240-5ubuntu2) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libzstd1_1.3.8+dfsg-3_ppc64el.deb ... Unpacking libzstd1:ppc64el (1.3.8+dfsg-3) over (1.3.5+dfsg-1ubuntu1) ... Setting up libzstd1:ppc64el (1.3.8+dfsg-3) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.8.0~beta1_ppc64el.deb ... Unpacking libapt-pkg5.0:ppc64el (1.8.0~beta1) over (1.8.0~alpha2ubuntu1) ... Setting up libapt-pkg5.0:ppc64el (1.8.0~beta1) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.33-3_ppc64el.deb ... Unpacking libgpg-error0:ppc64el (1.33-3) over (1.32-3) ... Setting up libgpg-error0:ppc64el (1.33-3) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpgv (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Setting up gpgv (2.2.12-1ubuntu3) ... (Reading database ... 12603 files and directories currently installed.) Preparing to unpack .../apt_1.8.0~beta1_ppc64el.deb ... Unpacking apt (1.8.0~beta1) over (1.8.0~alpha2ubuntu1) ... Setting up apt (1.8.0~beta1) ... (Reading database ... 12602 files and directories currently installed.) Preparing to unpack .../systemd-sysv_240-5ubuntu2_ppc64el.deb ... Unpacking systemd-sysv (240-5ubuntu2) over (239-7ubuntu15) ... Preparing to unpack .../mount_2.33.1-0.1ubuntu1_ppc64el.deb ... Unpacking mount (2.33.1-0.1ubuntu1) over (2.32-0.1ubuntu2) ... Preparing to unpack .../systemd_240-5ubuntu2_ppc64el.deb ... Unpacking systemd (240-5ubuntu2) over (239-7ubuntu15) ... Preparing to unpack .../libsystemd0_240-5ubuntu2_ppc64el.deb ... Unpacking libsystemd0:ppc64el (240-5ubuntu2) over (239-7ubuntu15) ... Setting up libsystemd0:ppc64el (240-5ubuntu2) ... (Reading database ... 12618 files and directories currently installed.) Preparing to unpack .../libext2fs2_1.44.5-1_ppc64el.deb ... Unpacking libext2fs2:ppc64el (1.44.5-1) over (1.44.4-2ubuntu1) ... Setting up libext2fs2:ppc64el (1.44.5-1) ... (Reading database ... 12617 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.44.5-1_ppc64el.deb ... Unpacking e2fsprogs (1.44.5-1) over (1.44.4-2ubuntu1) ... Setting up util-linux (2.33.1-0.1ubuntu1) ... Setting up mount (2.33.1-0.1ubuntu1) ... Setting up systemd (240-5ubuntu2) ... Installing new version of config file /etc/systemd/journald.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Installing new version of config file /etc/systemd/system.conf ... Setting up systemd-sysv (240-5ubuntu2) ... (Reading database ... 12617 files and directories currently installed.) Preparing to unpack .../init_1.56+nmu1_ppc64el.deb ... Unpacking init (1.56+nmu1) over (1.56) ... Preparing to unpack .../libcap-ng0_0.7.9-2_ppc64el.deb ... Unpacking libcap-ng0:ppc64el (0.7.9-2) over (0.7.9-1build1) ... Setting up libcap-ng0:ppc64el (0.7.9-2) ... (Reading database ... 12617 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.8-2_all.deb ... Unpacking libsemanage-common (2.8-2) over (2.8-1build2) ... Setting up libsemanage-common (2.8-2) ... (Reading database ... 12617 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.8-2_ppc64el.deb ... Unpacking libsemanage1:ppc64el (2.8-2) over (2.8-1build2) ... Setting up libsemanage1:ppc64el (2.8-2) ... (Reading database ... 12617 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.5-1.1ubuntu1_ppc64el.deb ... Unpacking passwd (1:4.5-1.1ubuntu1) over (1:4.5-1ubuntu1) ... Setting up passwd (1:4.5-1.1ubuntu1) ... (Reading database ... 12617 files and directories currently installed.) Preparing to unpack .../00-libcom-err2_1.44.5-1_ppc64el.deb ... Unpacking libcom-err2:ppc64el (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../01-libss2_1.44.5-1_ppc64el.deb ... Unpacking libss2:ppc64el (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../02-ca-certificates_20190110_all.deb ... Unpacking ca-certificates (20190110) over (20180409) ... Preparing to unpack .../03-libargon2-1_0~20171227-0.2_ppc64el.deb ... Unpacking libargon2-1:ppc64el (0~20171227-0.2) over (0~20171227-0.1) ... Preparing to unpack .../04-libjson-c3_0.12.1+ds-2_ppc64el.deb ... Unpacking libjson-c3:ppc64el (0.12.1+ds-2) over (0.12.1-1.3) ... Preparing to unpack .../05-readline-common_8.0-1_all.deb ... Unpacking readline-common (8.0-1) over (7.0-5) ... Selecting previously unselected package libreadline8:ppc64el. Preparing to unpack .../06-libreadline8_8.0-1_ppc64el.deb ... Unpacking libreadline8:ppc64el (8.0-1) ... Preparing to unpack .../07-libsqlite3-0_3.26.0+fossilbc891ac6b-2_ppc64el.deb ... Unpacking libsqlite3-0:ppc64el (3.26.0+fossilbc891ac6b-2) over (3.26.0-2) ... Preparing to unpack .../08-tzdata_2018i-1_all.deb ... Unpacking tzdata (2018i-1) over (2018g-1) ... Preparing to unpack .../09-xz-utils_5.2.4-1_ppc64el.deb ... Unpacking xz-utils (5.2.4-1) over (5.2.2-1.3) ... Preparing to unpack .../10-libgdbm6_1.18.1-2build1_ppc64el.deb ... Unpacking libgdbm6:ppc64el (1.18.1-2build1) over (1.18.1-2) ... Preparing to unpack .../11-libpng16-16_1.6.36-3_ppc64el.deb ... Unpacking libpng16-16:ppc64el (1.6.36-3) over (1.6.34-2) ... Preparing to unpack .../12-dpkg-dev_1.19.2ubuntu2_all.deb ... Unpacking dpkg-dev (1.19.2ubuntu2) over (1.19.2ubuntu1) ... Preparing to unpack .../13-libdpkg-perl_1.19.2ubuntu2_all.deb ... Unpacking libdpkg-perl (1.19.2ubuntu2) over (1.19.2ubuntu1) ... Preparing to unpack .../14-e2fslibs_1.44.5-1_ppc64el.deb ... Unpacking e2fslibs:ppc64el (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../15-libassuan0_2.5.2-1_ppc64el.deb ... Unpacking libassuan0:ppc64el (2.5.2-1) over (2.5.1-2) ... Preparing to unpack .../16-gpg_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpg (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Preparing to unpack .../17-gpgconf_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpgconf (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Preparing to unpack .../18-gpg-agent_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpg-agent (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Preparing to unpack .../19-libcomerr2_1.44.5-1_ppc64el.deb ... Unpacking libcomerr2:ppc64el (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../20-libgdbm-compat4_1.18.1-2build1_ppc64el.deb ... Unpacking libgdbm-compat4:ppc64el (1.18.1-2build1) over (1.18.1-2) ... Preparing to unpack .../21-linux-libc-dev_4.19.0-12.13_ppc64el.deb ... Unpacking linux-libc-dev:ppc64el (4.19.0-12.13) over (4.18.0-11.12) ... Setting up libquadmath0:ppc64el (8.2.0-16ubuntu1) ... Setting up libcom-err2:ppc64el (1.44.5-1) ... Setting up libgomp1:ppc64el (8.2.0-16ubuntu1) ... Setting up libatomic1:ppc64el (8.2.0-16ubuntu1) ... Setting up readline-common (8.0-1) ... Setting up libss2:ppc64el (1.44.5-1) ... Setting up libcc1-0:ppc64el (8.2.0-16ubuntu1) ... Setting up e2fslibs:ppc64el (1.44.5-1) ... Setting up libpng16-16:ppc64el (1.6.36-3) ... Setting up libjson-c3:ppc64el (0.12.1+ds-2) ... Setting up tzdata (2018i-1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Jan 31 12:05:39 UTC 2019. Universal Time is now: Thu Jan 31 12:05:39 UTC 2019. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up init (1.56+nmu1) ... Setting up libtsan0:ppc64el (8.2.0-16ubuntu1) ... Setting up linux-libc-dev:ppc64el (4.19.0-12.13) ... Setting up libmpfr6:ppc64el (4.0.2~rc1-1) ... Setting up libdpkg-perl (1.19.2ubuntu2) ... Setting up e2fsprogs (1.44.5-1) ... Setting up liblsan0:ppc64el (8.2.0-16ubuntu1) ... Setting up libgdbm6:ppc64el (1.18.1-2build1) ... Setting up binutils-common:ppc64el (2.31.1-11ubuntu1) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up xz-utils (5.2.4-1) ... Setting up libsqlite3-0:ppc64el (3.26.0+fossilbc891ac6b-2) ... Setting up libcomerr2:ppc64el (1.44.5-1) ... Setting up libgdbm-compat4:ppc64el (1.18.1-2build1) ... Setting up libargon2-1:ppc64el (0~20171227-0.2) ... Setting up ca-certificates (20190110) ... Updating certificates in /etc/ssl/certs... 2 added, 7 removed; done. Setting up libasan5:ppc64el (8.2.0-16ubuntu1) ... Setting up libassuan0:ppc64el (2.5.2-1) ... Setting up libitm1:ppc64el (8.2.0-16ubuntu1) ... Setting up libreadline8:ppc64el (8.0-1) ... Setting up libubsan1:ppc64el (8.2.0-16ubuntu1) ... Setting up cpp-8 (8.2.0-16ubuntu1) ... Setting up libbinutils:ppc64el (2.31.1-11ubuntu1) ... Setting up gpgconf (2.2.12-1ubuntu3) ... Setting up binutils-powerpc64le-linux-gnu (2.31.1-11ubuntu1) ... Setting up gpg-agent (2.2.12-1ubuntu3) ... Setting up libgcc-8-dev:ppc64el (8.2.0-16ubuntu1) ... Setting up binutils (2.31.1-11ubuntu1) ... Setting up gpg (2.2.12-1ubuntu3) ... Setting up libstdc++-8-dev:ppc64el (8.2.0-16ubuntu1) ... Setting up gcc-8 (8.2.0-16ubuntu1) ... Setting up g++-8 (8.2.0-16ubuntu1) ... Setting up dpkg-dev (1.19.2ubuntu2) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Processing triggers for ca-certificates (20190110) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-16281737 ppc64el disco-proposed -c chroot:build-PACKAGEBUILD-16281737 --arch=ppc64el --dist=disco-proposed --nolog aac-tactics_8.6.1-2build1.dsc Initiating build PACKAGEBUILD-16281737 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-141-generic #167-Ubuntu SMP Wed Dec 5 10:33:00 UTC 2018 ppc64le sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-ppc64el-007.buildd +==============================================================================+ | aac-tactics 8.6.1-2build1 (ppc64el) 31 Jan 2019 12:05 | +==============================================================================+ Package: aac-tactics Version: 8.6.1-2build1 Source Version: 8.6.1-2build1 Distribution: disco-proposed Machine Architecture: ppc64el Host Architecture: ppc64el Build Architecture: ppc64el I: NOTICE: Log filtering will replace 'build/aac-tactics-8Gcjch/aac-tactics-8.6.1' with '<>' I: NOTICE: Log filtering will replace 'build/aac-tactics-8Gcjch' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-16281737/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- aac-tactics_8.6.1-2build1.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-KzXf1t/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-KzXf1t/apt_archive ./ InRelease Get:2 copy:/<>/resolver-KzXf1t/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-KzXf1t/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-KzXf1t/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-KzXf1t/apt_archive ./ Packages [527 B] Fetched 2860 B in 0s (231 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libreadline7 Use 'apt autoremove' to remove it. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 856 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-KzXf1t/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [856 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 856 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12629 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev Filtered Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev dpkg-deb: building package 'sbuild-build-depends-aac-tactics-dummy' in '/<>/resolver-5jYTox/apt_archive/sbuild-build-depends-aac-tactics-dummy.deb'. Ign:1 copy:/<>/resolver-5jYTox/apt_archive ./ InRelease Get:2 copy:/<>/resolver-5jYTox/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-5jYTox/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-5jYTox/apt_archive ./ Sources [260 B] Get:5 copy:/<>/resolver-5jYTox/apt_archive ./ Packages [579 B] Fetched 2958 B in 0s (227 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install aac-tactics build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libreadline7 Use 'apt autoremove' to remove it. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz emacsen-common file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcoq-ocaml libcoq-ocaml-dev libcroco3 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2 libtool libuchardet0 libxml2 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.7 python3.7-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation proofgeneral ledit | readline-editor 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 camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl python3-doc python3-tk python3-venv python3.7-venv python3.7-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libfindlib-ocaml-dev ledit | readline-editor camlp4 libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz emacsen-common file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcoq-ocaml libcoq-ocaml-dev libcroco3 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2 libtool libuchardet0 libxml2 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.7 python3.7-minimal sbuild-build-depends-aac-tactics-dummy 0 upgraded, 57 newly installed, 0 to remove and 0 not upgraded. Need to get 134 MB of archives. After this operation, 688 MB of additional disk space will be used. Get:1 copy:/<>/resolver-5jYTox/apt_archive ./ sbuild-build-depends-aac-tactics-dummy 0.invalid.0 [908 B] Get:2 http://ftpmaster.internal/ubuntu disco/main ppc64el libpython3.7-minimal ppc64el 3.7.2-1build1 [549 kB] Get:3 http://ftpmaster.internal/ubuntu disco/main ppc64el libexpat1 ppc64el 2.2.6-1 [87.0 kB] Get:4 http://ftpmaster.internal/ubuntu disco/main ppc64el python3.7-minimal ppc64el 3.7.2-1build1 [1970 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main ppc64el python3-minimal ppc64el 3.7.2-1 [23.5 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main ppc64el mime-support all 3.60ubuntu1 [30.1 kB] Get:7 http://ftpmaster.internal/ubuntu disco/main ppc64el libmpdec2 ppc64el 2.4.2-2 [86.8 kB] Get:8 http://ftpmaster.internal/ubuntu disco/main ppc64el libpython3.7-stdlib ppc64el 3.7.2-1build1 [1794 kB] Get:9 http://ftpmaster.internal/ubuntu disco/main ppc64el python3.7 ppc64el 3.7.2-1build1 [277 kB] Get:10 http://ftpmaster.internal/ubuntu disco/main ppc64el libpython3-stdlib ppc64el 3.7.2-1 [7028 B] Get:11 http://ftpmaster.internal/ubuntu disco/main ppc64el python3 ppc64el 3.7.2-1 [47.2 kB] Get:12 http://ftpmaster.internal/ubuntu disco/main ppc64el libbsd0 ppc64el 0.9.1-1 [53.6 kB] Get:13 http://ftpmaster.internal/ubuntu disco/main ppc64el bsdmainutils ppc64el 11.1.2ubuntu2 [185 kB] Get:14 http://ftpmaster.internal/ubuntu disco/main ppc64el libuchardet0 ppc64el 0.0.6-3 [67.7 kB] Get:15 http://ftpmaster.internal/ubuntu disco/main ppc64el groff-base ppc64el 1.22.4-2 [935 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main ppc64el libpipeline1 ppc64el 1.5.1-1 [27.8 kB] Get:17 http://ftpmaster.internal/ubuntu disco/main ppc64el man-db ppc64el 2.8.5-1 [1140 kB] Get:18 http://ftpmaster.internal/ubuntu disco/main ppc64el libmagic-mgc ppc64el 1:5.35-2 [200 kB] Get:19 http://ftpmaster.internal/ubuntu disco/main ppc64el libmagic1 ppc64el 1:5.35-2 [90.9 kB] Get:20 http://ftpmaster.internal/ubuntu disco/main ppc64el file ppc64el 1:5.35-2 [24.2 kB] Get:21 http://ftpmaster.internal/ubuntu disco/main ppc64el libelf1 ppc64el 0.175-2 [52.3 kB] Get:22 http://ftpmaster.internal/ubuntu disco/main ppc64el libglib2.0-0 ppc64el 2.58.1-2 [1301 kB] Get:23 http://ftpmaster.internal/ubuntu disco/main ppc64el libicu63 ppc64el 63.1-6 [8520 kB] Get:24 http://ftpmaster.internal/ubuntu disco/main ppc64el libxml2 ppc64el 2.9.4+dfsg1-7ubuntu3 [666 kB] Get:25 http://ftpmaster.internal/ubuntu disco/main ppc64el gettext-base ppc64el 0.19.8.1-9 [52.8 kB] Get:26 http://ftpmaster.internal/ubuntu disco/main ppc64el libsigsegv2 ppc64el 2.12-2 [13.9 kB] Get:27 http://ftpmaster.internal/ubuntu disco/main ppc64el m4 ppc64el 1.4.18-2 [203 kB] Get:28 http://ftpmaster.internal/ubuntu disco/main ppc64el autoconf all 2.69-11 [322 kB] Get:29 http://ftpmaster.internal/ubuntu disco/main ppc64el autotools-dev all 20180224.1 [39.6 kB] Get:30 http://ftpmaster.internal/ubuntu disco/main ppc64el automake all 1:1.16.1-4ubuntu3 [522 kB] Get:31 http://ftpmaster.internal/ubuntu disco/main ppc64el autopoint all 0.19.8.1-9 [412 kB] Get:32 http://ftpmaster.internal/ubuntu disco-proposed/universe ppc64el coq-theories ppc64el 8.8.2-1 [20.1 MB] Get:33 http://ftpmaster.internal/ubuntu disco/main ppc64el emacsen-common all 3.0.4 [14.9 kB] Get:34 http://ftpmaster.internal/ubuntu disco/universe ppc64el ocaml-base-nox ppc64el 4.05.0-10ubuntu2 [542 kB] Get:35 http://ftpmaster.internal/ubuntu disco-proposed/universe ppc64el libcoq-ocaml ppc64el 8.8.2-1 [4621 kB] Get:36 http://ftpmaster.internal/ubuntu disco/main ppc64el libncurses-dev ppc64el 6.1+20180210-4ubuntu1 [408 kB] Get:37 http://ftpmaster.internal/ubuntu disco/main ppc64el libncurses5-dev ppc64el 6.1+20180210-4ubuntu1 [972 B] Get:38 http://ftpmaster.internal/ubuntu disco/universe ppc64el ocaml-compiler-libs ppc64el 4.05.0-10ubuntu2 [18.9 MB] Get:39 http://ftpmaster.internal/ubuntu disco/universe ppc64el ocaml-interp ppc64el 4.05.0-10ubuntu2 [3465 kB] Get:40 http://ftpmaster.internal/ubuntu disco/universe ppc64el ocaml-nox ppc64el 4.05.0-10ubuntu2 [28.3 MB] Get:41 http://ftpmaster.internal/ubuntu disco/universe ppc64el libfindlib-ocaml ppc64el 1.7.3-2 [166 kB] Get:42 http://ftpmaster.internal/ubuntu disco/universe ppc64el ocaml-findlib ppc64el 1.7.3-2 [395 kB] Get:43 http://ftpmaster.internal/ubuntu disco-proposed/universe ppc64el coq ppc64el 8.8.2-1 [17.9 MB] Get:44 http://ftpmaster.internal/ubuntu disco/main ppc64el libtool all 2.4.6-9 [194 kB] Get:45 http://ftpmaster.internal/ubuntu disco/main ppc64el dh-autoreconf all 19 [16.1 kB] Get:46 http://ftpmaster.internal/ubuntu disco/main ppc64el libarchive-zip-perl all 1.64-1 [84.9 kB] Get:47 http://ftpmaster.internal/ubuntu disco/main ppc64el libfile-stripnondeterminism-perl all 1.1.0-1 [13.6 kB] Get:48 http://ftpmaster.internal/ubuntu disco/main ppc64el dh-strip-nondeterminism all 1.1.0-1 [5100 B] Get:49 http://ftpmaster.internal/ubuntu disco/main ppc64el dwz ppc64el 0.12-3 [87.4 kB] Get:50 http://ftpmaster.internal/ubuntu disco/main ppc64el libcroco3 ppc64el 0.6.12-3 [92.5 kB] Get:51 http://ftpmaster.internal/ubuntu disco/main ppc64el gettext ppc64el 0.19.8.1-9 [978 kB] Get:52 http://ftpmaster.internal/ubuntu disco/main ppc64el intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:53 http://ftpmaster.internal/ubuntu disco/main ppc64el po-debconf all 1.0.21 [233 kB] Get:54 http://ftpmaster.internal/ubuntu disco/main ppc64el debhelper all 12ubuntu1 [887 kB] Get:55 http://ftpmaster.internal/ubuntu disco/universe ppc64el camlp5 ppc64el 7.01-1build1 [3461 kB] Get:56 http://ftpmaster.internal/ubuntu disco-proposed/universe ppc64el libcoq-ocaml-dev ppc64el 8.8.2-1 [13.4 MB] Get:57 http://ftpmaster.internal/ubuntu disco/universe ppc64el dh-ocaml all 1.1.0 [79.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 MB in 2s (78.2 MB/s) Selecting previously unselected package libpython3.7-minimal:ppc64el. (Reading database ... 12629 files and directories currently installed.) Preparing to unpack .../libpython3.7-minimal_3.7.2-1build1_ppc64el.deb ... Unpacking libpython3.7-minimal:ppc64el (3.7.2-1build1) ... Selecting previously unselected package libexpat1:ppc64el. Preparing to unpack .../libexpat1_2.2.6-1_ppc64el.deb ... Unpacking libexpat1:ppc64el (2.2.6-1) ... Selecting previously unselected package python3.7-minimal. Preparing to unpack .../python3.7-minimal_3.7.2-1build1_ppc64el.deb ... Unpacking python3.7-minimal (3.7.2-1build1) ... Setting up libpython3.7-minimal:ppc64el (3.7.2-1build1) ... Setting up libexpat1:ppc64el (2.2.6-1) ... Setting up python3.7-minimal (3.7.2-1build1) ... Selecting previously unselected package python3-minimal. (Reading database ... 12878 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.7.2-1_ppc64el.deb ... Unpacking python3-minimal (3.7.2-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libmpdec2:ppc64el. Preparing to unpack .../2-libmpdec2_2.4.2-2_ppc64el.deb ... Unpacking libmpdec2:ppc64el (2.4.2-2) ... Selecting previously unselected package libpython3.7-stdlib:ppc64el. Preparing to unpack .../3-libpython3.7-stdlib_3.7.2-1build1_ppc64el.deb ... Unpacking libpython3.7-stdlib:ppc64el (3.7.2-1build1) ... Selecting previously unselected package python3.7. Preparing to unpack .../4-python3.7_3.7.2-1build1_ppc64el.deb ... Unpacking python3.7 (3.7.2-1build1) ... Selecting previously unselected package libpython3-stdlib:ppc64el. Preparing to unpack .../5-libpython3-stdlib_3.7.2-1_ppc64el.deb ... Unpacking libpython3-stdlib:ppc64el (3.7.2-1) ... Setting up python3-minimal (3.7.2-1) ... Selecting previously unselected package python3. (Reading database ... 13312 files and directories currently installed.) Preparing to unpack .../00-python3_3.7.2-1_ppc64el.deb ... Unpacking python3 (3.7.2-1) ... Selecting previously unselected package libbsd0:ppc64el. Preparing to unpack .../01-libbsd0_0.9.1-1_ppc64el.deb ... Unpacking libbsd0:ppc64el (0.9.1-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_11.1.2ubuntu2_ppc64el.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package libuchardet0:ppc64el. Preparing to unpack .../03-libuchardet0_0.0.6-3_ppc64el.deb ... Unpacking libuchardet0:ppc64el (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../04-groff-base_1.22.4-2_ppc64el.deb ... Unpacking groff-base (1.22.4-2) ... Selecting previously unselected package libpipeline1:ppc64el. Preparing to unpack .../05-libpipeline1_1.5.1-1_ppc64el.deb ... Unpacking libpipeline1:ppc64el (1.5.1-1) ... Selecting previously unselected package man-db. Preparing to unpack .../06-man-db_2.8.5-1_ppc64el.deb ... Unpacking man-db (2.8.5-1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.35-2_ppc64el.deb ... Unpacking libmagic-mgc (1:5.35-2) ... Selecting previously unselected package libmagic1:ppc64el. Preparing to unpack .../08-libmagic1_1%3a5.35-2_ppc64el.deb ... Unpacking libmagic1:ppc64el (1:5.35-2) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.35-2_ppc64el.deb ... Unpacking file (1:5.35-2) ... Selecting previously unselected package libelf1:ppc64el. Preparing to unpack .../10-libelf1_0.175-2_ppc64el.deb ... Unpacking libelf1:ppc64el (0.175-2) ... Selecting previously unselected package libglib2.0-0:ppc64el. Preparing to unpack .../11-libglib2.0-0_2.58.1-2_ppc64el.deb ... Unpacking libglib2.0-0:ppc64el (2.58.1-2) ... Selecting previously unselected package libicu63:ppc64el. Preparing to unpack .../12-libicu63_63.1-6_ppc64el.deb ... Unpacking libicu63:ppc64el (63.1-6) ... Selecting previously unselected package libxml2:ppc64el. Preparing to unpack .../13-libxml2_2.9.4+dfsg1-7ubuntu3_ppc64el.deb ... Unpacking libxml2:ppc64el (2.9.4+dfsg1-7ubuntu3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../14-gettext-base_0.19.8.1-9_ppc64el.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libsigsegv2:ppc64el. Preparing to unpack .../15-libsigsegv2_2.12-2_ppc64el.deb ... Unpacking libsigsegv2:ppc64el (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../16-m4_1.4.18-2_ppc64el.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../17-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../18-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../19-automake_1%3a1.16.1-4ubuntu3_all.deb ... Unpacking automake (1:1.16.1-4ubuntu3) ... Selecting previously unselected package autopoint. Preparing to unpack .../20-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package coq-theories. Preparing to unpack .../21-coq-theories_8.8.2-1_ppc64el.deb ... Unpacking coq-theories (8.8.2-1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../22-emacsen-common_3.0.4_all.deb ... Unpacking emacsen-common (3.0.4) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../23-ocaml-base-nox_4.05.0-10ubuntu2_ppc64el.deb ... Unpacking ocaml-base-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../24-libcoq-ocaml_8.8.2-1_ppc64el.deb ... Unpacking libcoq-ocaml (8.8.2-1) ... Selecting previously unselected package libncurses-dev:ppc64el. Preparing to unpack .../25-libncurses-dev_6.1+20180210-4ubuntu1_ppc64el.deb ... Unpacking libncurses-dev:ppc64el (6.1+20180210-4ubuntu1) ... Selecting previously unselected package libncurses5-dev:ppc64el. Preparing to unpack .../26-libncurses5-dev_6.1+20180210-4ubuntu1_ppc64el.deb ... Unpacking libncurses5-dev:ppc64el (6.1+20180210-4ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../27-ocaml-compiler-libs_4.05.0-10ubuntu2_ppc64el.deb ... Unpacking ocaml-compiler-libs (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../28-ocaml-interp_4.05.0-10ubuntu2_ppc64el.deb ... Unpacking ocaml-interp (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../29-ocaml-nox_4.05.0-10ubuntu2_ppc64el.deb ... Unpacking ocaml-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../30-libfindlib-ocaml_1.7.3-2_ppc64el.deb ... Unpacking libfindlib-ocaml (1.7.3-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../31-ocaml-findlib_1.7.3-2_ppc64el.deb ... Unpacking ocaml-findlib (1.7.3-2) ... Selecting previously unselected package coq. Preparing to unpack .../32-coq_8.8.2-1_ppc64el.deb ... Unpacking coq (8.8.2-1) ... Selecting previously unselected package libtool. Preparing to unpack .../33-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../34-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../35-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.1.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.1.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../38-dwz_0.12-3_ppc64el.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libcroco3:ppc64el. Preparing to unpack .../39-libcroco3_0.6.12-3_ppc64el.deb ... Unpacking libcroco3:ppc64el (0.6.12-3) ... Selecting previously unselected package gettext. Preparing to unpack .../40-gettext_0.19.8.1-9_ppc64el.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../41-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 .../42-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../43-debhelper_12ubuntu1_all.deb ... Unpacking debhelper (12ubuntu1) ... Selecting previously unselected package camlp5. Preparing to unpack .../44-camlp5_7.01-1build1_ppc64el.deb ... Unpacking camlp5 (7.01-1build1) ... Selecting previously unselected package libcoq-ocaml-dev. Preparing to unpack .../45-libcoq-ocaml-dev_8.8.2-1_ppc64el.deb ... Unpacking libcoq-ocaml-dev (8.8.2-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../46-dh-ocaml_1.1.0_all.deb ... Unpacking dh-ocaml (1.1.0) ... Selecting previously unselected package sbuild-build-depends-aac-tactics-dummy. Preparing to unpack .../47-sbuild-build-depends-aac-tactics-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up mime-support (3.60ubuntu1) ... Setting up libicu63:ppc64el (63.1-6) ... Setting up libsigsegv2:ppc64el (2.12-2) ... Setting up libelf1:ppc64el (0.175-2) ... Setting up libglib2.0-0:ppc64el (2.58.1-2) ... No schema files found: doing nothing. Setting up emacsen-common (3.0.4) ... Setting up ocaml-base-nox (4.05.0-10ubuntu2) ... Setting up dh-ocaml (1.1.0) ... Setting up gettext-base (0.19.8.1-9) ... Setting up libpipeline1:ppc64el (1.5.1-1) ... Setting up m4 (1.4.18-2) ... Setting up libbsd0:ppc64el (0.9.1-1) ... Setting up libxml2:ppc64el (2.9.4+dfsg1-7ubuntu3) ... Setting up libuchardet0:ppc64el (0.0.6-3) ... Setting up libmagic-mgc (1:5.35-2) ... Setting up libmagic1:ppc64el (1:5.35-2) ... Setting up libcroco3:ppc64el (0.6.12-3) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up dwz (0.12-3) ... Setting up autotools-dev (20180224.1) ... Setting up bsdmainutils (11.1.2ubuntu2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libncurses-dev:ppc64el (6.1+20180210-4ubuntu1) ... Setting up libfindlib-ocaml (1.7.3-2) ... Setting up ocaml-findlib (1.7.3-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up libmpdec2:ppc64el (2.4.2-2) ... Setting up libfile-stripnondeterminism-perl (1.1.0-1) ... Setting up libcoq-ocaml (8.8.2-1) ... Setting up libpython3.7-stdlib:ppc64el (3.7.2-1build1) ... Setting up gettext (0.19.8.1-9) ... Setting up groff-base (1.22.4-2) ... Setting up python3.7 (3.7.2-1build1) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.35-2) ... Setting up libncurses5-dev:ppc64el (6.1+20180210-4ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up automake (1:1.16.1-4ubuntu3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.8.5-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 libtool (2.4.6-9) ... Setting up libpython3-stdlib:ppc64el (3.7.2-1) ... Setting up po-debconf (1.0.21) ... Setting up python3 (3.7.2-1) ... Setting up coq-theories (8.8.2-1) ... Setting up ocaml-compiler-libs (4.05.0-10ubuntu2) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.05.0-10ubuntu2) ... Setting up dh-strip-nondeterminism (1.1.0-1) ... Setting up debhelper (12ubuntu1) ... Setting up ocaml-nox (4.05.0-10ubuntu2) ... Setting up camlp5 (7.01-1build1) ... Setting up coq (8.8.2-1) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up libcoq-ocaml-dev (8.8.2-1) ... Setting up sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-141-generic ppc64el (ppc64le) Toolchain package versions: binutils_2.31.1-11ubuntu1 dpkg-dev_1.19.2ubuntu2 g++-8_8.2.0-16ubuntu1 gcc-8_8.2.0-16ubuntu1 libc6-dev_2.28-0ubuntu1 libstdc++-8-dev_8.2.0-16ubuntu1 libstdc++6_8.2.0-16ubuntu1 linux-libc-dev_4.19.0-12.13 Package versions: adduser_3.117ubuntu1 advancecomp_2.1-1 apt_1.8.0~beta1 autoconf_2.69-11 automake_1:1.16.1-4ubuntu3 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.1ubuntu8 base-passwd_3.5.45 bash_5.0-2ubuntu1 binutils_2.31.1-11ubuntu1 binutils-common_2.31.1-11ubuntu1 binutils-powerpc64le-linux-gnu_2.31.1-11ubuntu1 bsdmainutils_11.1.2ubuntu2 bsdutils_1:2.33.1-0.1ubuntu1 build-essential_12.5ubuntu2 bzip2_1.0.6-9 ca-certificates_20190110 camlp5_7.01-1build1 coq_8.8.2-1 coq-theories_8.8.2-1 coreutils_8.30-1ubuntu1 cpp_4:8.2.0-2ubuntu2 cpp-8_8.2.0-16ubuntu1 dash_0.5.10.2-4ubuntu1 debconf_1.5.70 debhelper_12ubuntu1 debianutils_4.8.6.1 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_1.1.0-1 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu4 dpkg_1.19.2ubuntu2 dpkg-dev_1.19.2ubuntu2 dwz_0.12-3 e2fslibs_1.44.5-1 e2fsprogs_1.44.5-1 emacsen-common_3.0.4 fakeroot_1.23-1 fdisk_2.33.1-0.1ubuntu1 file_1:5.35-2 findutils_4.6.0+git+20190105-2 g++_4:8.2.0-2ubuntu2 g++-8_8.2.0-16ubuntu1 gcc_4:8.2.0-2ubuntu2 gcc-8_8.2.0-16ubuntu1 gcc-8-base_8.2.0-16ubuntu1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gpg_2.2.12-1ubuntu3 gpg-agent_2.2.12-1ubuntu3 gpgconf_2.2.12-1ubuntu3 gpgv_2.2.12-1ubuntu3 grep_3.3-1 groff-base_1.22.4-2 gzip_1.9-3 hostname_3.21 init_1.56+nmu1 init-system-helpers_1.56+nmu1 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.5 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu10 libapt-pkg5.0_1.8.0~beta1 libarchive-zip-perl_1.64-1 libargon2-1_0~20171227-0.2 libasan5_8.2.0-16ubuntu1 libassuan0_2.5.2-1 libatomic1_8.2.0-16ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.3-1ubuntu3 libaudit1_1:2.8.3-1ubuntu3 libbinutils_2.31.1-11ubuntu1 libblkid1_2.33.1-0.1ubuntu1 libbsd0_0.9.1-1 libbz2-1.0_1.0.6-9 libc-bin_2.28-0ubuntu1 libc-dev-bin_2.28-0ubuntu1 libc6_2.28-0ubuntu1 libc6-dev_2.28-0ubuntu1 libcap-ng0_0.7.9-2 libcap2_1:2.25-1.2 libcc1-0_8.2.0-16ubuntu1 libcom-err2_1.44.5-1 libcomerr2_1.44.5-1 libcoq-ocaml_8.8.2-1 libcoq-ocaml-dev_8.8.2-1 libcroco3_0.6.12-3 libcryptsetup12_2:2.0.4-2ubuntu2 libdb5.3_5.3.28+dfsg1-0.2 libdebconfclient0_0.244ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu4 libdpkg-perl_1.19.2ubuntu2 libelf1_0.175-2 libexpat1_2.2.6-1 libext2fs2_1.44.5-1 libfakeroot_1.23-1 libfdisk1_2.33.1-0.1ubuntu1 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.1.0-1 libfindlib-ocaml_1.7.3-2 libgcc-8-dev_8.2.0-16ubuntu1 libgcc1_1:8.2.0-16ubuntu1 libgcrypt20_1.8.4-3ubuntu1 libgdbm-compat4_1.18.1-2build1 libgdbm6_1.18.1-2build1 libglib2.0-0_2.58.1-2 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.5-2ubuntu1 libgomp1_8.2.0-16ubuntu1 libgpg-error0_1.33-3 libhogweed4_3.4.1-1 libicu63_63.1-6 libidn11_1.33-2.2ubuntu1 libidn2-0_2.0.5-1 libip4tc0_1.6.1-2ubuntu3 libisl19_0.20-2 libitm1_8.2.0-16ubuntu1 libjson-c3_0.12.1+ds-2 libkmod2_25-1ubuntu2 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblsan0_8.2.0-16ubuntu1 liblz4-1_1.8.3-1ubuntu1 liblzma5_5.2.4-1 libmagic-mgc_1:5.35-2 libmagic1_1:5.35-2 libmount1_2.33.1-0.1ubuntu1 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2~rc1-1 libncurses-dev_6.1+20180210-4ubuntu1 libncurses5-dev_6.1+20180210-4ubuntu1 libncurses6_6.1+20180210-4ubuntu1 libncursesw6_6.1+20180210-4ubuntu1 libnettle6_3.4.1-1 libnpth0_1.6-1 libp11-kit0_0.23.14-2 libpam-modules_1.1.8-3.6ubuntu2 libpam-modules-bin_1.1.8-3.6ubuntu2 libpam-runtime_1.1.8-3.6ubuntu2 libpam0g_1.1.8-3.6ubuntu2 libpcre3_2:8.39-11 libperl5.28_5.28.1-3 libpipeline1_1.5.1-1 libpng16-16_1.6.36-3 libprocps7_2:3.3.15-2ubuntu1 libpython3-stdlib_3.7.2-1 libpython3.7-minimal_3.7.2-1build1 libpython3.7-stdlib_3.7.2-1build1 libquadmath0_8.2.0-16ubuntu1 libreadline7_7.0-5 libreadline8_8.0-1 libseccomp2_2.3.3-3ubuntu2 libselinux1_2.8-1build2 libsemanage-common_2.8-2 libsemanage1_2.8-2 libsepol1_2.8-1 libsigsegv2_2.12-2 libslang2_2.3.2-1ubuntu1 libsmartcols1_2.33.1-0.1ubuntu1 libsqlite3-0_3.26.0+fossilbc891ac6b-2 libss2_1.44.5-1 libssl1.1_1.1.1a-1ubuntu2 libstdc++-8-dev_8.2.0-16ubuntu1 libstdc++6_8.2.0-16ubuntu1 libsystemd0_240-5ubuntu2 libtasn1-6_4.13-3 libtinfo6_6.1+20180210-4ubuntu1 libtool_2.4.6-9 libtsan0_8.2.0-16ubuntu1 libubsan1_8.2.0-16ubuntu1 libuchardet0_0.0.6-3 libudev1_240-5ubuntu2 libunistring2_0.9.10-1ubuntu1 libusb-0.1-4_2:0.1.12-32 libustr-1.0-1_1.0.4-6 libuuid1_2.33.1-0.1ubuntu1 libxml2_2.9.4+dfsg1-7ubuntu3 libzstd1_1.3.8+dfsg-3 linux-libc-dev_4.19.0-12.13 lockfile-progs_0.1.18 login_1:4.5-1.1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.5-1 mawk_1.3.3-17ubuntu3 mime-support_3.60ubuntu1 mount_2.33.1-0.1ubuntu1 multiarch-support_2.28-0ubuntu1 ncurses-base_6.1+20180210-4ubuntu1 ncurses-bin_6.1+20180210-4ubuntu1 ocaml-base-nox_4.05.0-10ubuntu2 ocaml-compiler-libs_4.05.0-10ubuntu2 ocaml-findlib_1.7.3-2 ocaml-interp_4.05.0-10ubuntu2 ocaml-nox_4.05.0-10ubuntu2 openssl_1.1.1a-1ubuntu2 optipng_0.7.6-1.1 passwd_1:4.5-1.1ubuntu1 patch_2.7.6-3 perl_5.28.1-3 perl-base_5.28.1-3 perl-modules-5.28_5.28.1-3 pinentry-curses_1.1.0-1build2 pkgbinarymangler_143 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 procps_2:3.3.15-2ubuntu1 python3_3.7.2-1 python3-minimal_3.7.2-1 python3.7_3.7.2-1build1 python3.7-minimal_3.7.2-1build1 readline-common_8.0-1 sbuild-build-depends-aac-tactics-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12 systemd_240-5ubuntu2 systemd-sysv_240-5ubuntu2 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu2 tar_1.30+dfsg-4 tzdata_2018i-1 ubuntu-keyring_2018.09.18.1 util-linux_2.33.1-0.1ubuntu1 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Tue Jan 15 14:41:44 2019 UTC gpgv: using RSA key D56571B88A8BBAF140BF63D6BD7EAA60778FA6F5 gpgv: issuer "doko@ubuntu.com" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./aac-tactics_8.6.1-2build1.dsc dpkg-source: info: extracting aac-tactics in aac-tactics-8.6.1 dpkg-source: info: unpacking aac-tactics_8.6.1.orig.tar.gz dpkg-source: info: unpacking aac-tactics_8.6.1-2build1.debian.tar.xz Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=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-16281737 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-16281737 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-16281737 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package aac-tactics dpkg-buildpackage: info: source version 8.6.1-2build1 dpkg-buildpackage: info: source distribution disco dpkg-source --before-build . dpkg-buildpackage: info: host architecture ppc64el fakeroot debian/rules clean dh clean --with ocaml dh_auto_clean make -j1 clean make[1]: Entering directory '/<>' make -f Makefile.coq Makefile make[2]: Entering directory '/<>' make[2]: Nothing to be done for 'Makefile'. make[2]: Leaving directory '/<>' make -f Makefile.coq clean make[2]: Entering directory '/<>' CLEAN make[2]: Leaving directory '/<>' rm -f Makefile.coq make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules build-arch dh build-arch --with ocaml dh_update_autotools_config -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make Makefile.coq make[2]: Entering directory '/<>' coq_makefile -f Make -o Makefile.coq make -f Makefile.coq Makefile make[3]: Entering directory '/<>' COQDEP VFILES *** Warning: aac_rewrite.mli already found in . (discarding ./aac_rewrite.mli) *** Warning: print.mli already found in . (discarding ./print.mli) *** Warning: theory.mli already found in . (discarding ./theory.mli) *** Warning: matcher.mli already found in . (discarding ./matcher.mli) *** Warning: search_monad.mli already found in . (discarding ./search_monad.mli) *** Warning: helper.mli already found in . (discarding ./helper.mli) *** Warning: coq.mli already found in . (discarding ./coq.mli) *** Warning: print.ml already found in . (discarding ./print.ml) *** Warning: theory.ml already found in . (discarding ./theory.ml) *** Warning: matcher.ml already found in . (discarding ./matcher.ml) *** Warning: search_monad.ml already found in . (discarding ./search_monad.ml) *** Warning: helper.ml already found in . (discarding ./helper.ml) *** Warning: coq.ml already found in . (discarding ./coq.ml) *** Warning: aac_rewrite.ml4 already found in . (discarding ./aac_rewrite.ml4) CAMLDEP aac_rewrite.mli CAMLDEP print.mli CAMLDEP theory.mli CAMLDEP matcher.mli CAMLDEP search_monad.mli CAMLDEP helper.mli CAMLDEP coq.mli COQDEP aac.mlpack CAMLDEP print.ml CAMLDEP theory.ml CAMLDEP matcher.ml CAMLDEP search_monad.ml CAMLDEP helper.ml CAMLDEP coq.ml CAMLDEP -pp aac_rewrite.ml4 make[3]: Nothing to be done for 'Makefile'. make[3]: Leaving directory '/<>' make[2]: 'Makefile.coq' is up to date. make[2]: Leaving directory '/<>' /usr/bin/make -f Makefile.coq opt html make[2]: Entering directory '/<>' make[3]: Entering directory '/<>' CAMLC -c coq.mli File "coq.mli", line 26, characters 45-56: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 30, characters 35-48: Warning 3: deprecated: Tacmach.sigma alias of Evd.sigma File "coq.mli", line 32, characters 44-57: Warning 3: deprecated: Tacmach.sigma alias of Evd.sigma File "coq.mli", line 32, characters 61-71: Warning 3: deprecated: Term.types Alias for Constr.types File "coq.mli", line 32, characters 75-86: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 33, characters 48-58: Warning 3: deprecated: Term.types Alias for Constr.types File "coq.mli", line 33, characters 63-74: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 34, characters 28-39: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 34, characters 43-54: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 35, characters 30-40: Warning 3: deprecated: Term.types Alias for Constr.types File "coq.mli", line 35, characters 45-56: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 36, characters 28-39: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 36, characters 44-55: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 37, characters 31-42: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 37, characters 46-57: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 38, characters 33-44: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 38, characters 48-59: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 39, characters 24-35: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 39, characters 40-51: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 41, characters 29-40: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 41, characters 46-57: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 43, characters 13-24: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 45, characters 18-29: Warning 3: deprecated: Term.constr Alias for Constr.t File "coq.mli", line 45, characters 60-77: Warning 3: deprecated: Term.kind_of_term Alias for Constr.kind_of_term File "coq.mli", line 45, characters 33-77: Error: The type constructor Term.kind_of_term expects 4 argument(s), but is here applied to 2 argument(s) make[4]: *** [Makefile.coq:589: coq.cmi] Error 2 make[3]: *** [Makefile.coq:318: all] Error 2 make[3]: Leaving directory '/<>' make[2]: *** [Makefile.coq:745: opt] Error 2 make[2]: Leaving directory '/<>' make[1]: *** [debian/rules:19: override_dh_auto_build] Error 2 make[1]: Leaving directory '/<>' make: *** [debian/rules:14: build-arch] Error 2 dpkg-buildpackage: error: debian/rules build-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 20190131-1206 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: ppc64el Build-Space: 512 Build-Time: 2 Distribution: disco-proposed Fail-Stage: build Host Architecture: ppc64el Install-Time: 26 Job: aac-tactics_8.6.1-2build1.dsc Machine Architecture: ppc64el Package: aac-tactics Package-Time: 30 Source-Version: 8.6.1-2build1 Space: 512 Status: attempted Version: 8.6.1-2build1 -------------------------------------------------------------------------------- Finished at 20190131-1206 Build needed 00:00:30, 512k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=disco --arch=ppc64el PACKAGEBUILD-16281737 Scanning for processes to kill in build PACKAGEBUILD-16281737