RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux fisher07 4.4.0-53-powerpc64-smp #74-Ubuntu SMP Fri Dec 2 16:41:54 UTC 2016 ppc64 Buildd toolchain package versions: launchpad-buildd_140 python-lpbuildd_140 sbuild_0.67.0-2ubuntu7 git_1:2.7.4-0ubuntu1 dpkg-dev_1.18.4ubuntu1.1 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 2 Feb 01:21:30 ntpdate[394]: adjust time server 10.211.37.1 offset -0.000076 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-11955393', '/home/buildd/filecache-default/f0d95331816c2600b41a871127347d3aa3e00e52'] Unpacking chroot for build PACKAGEBUILD-11955393 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-11955393'] Mounting chroot for build PACKAGEBUILD-11955393 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-11955393', 'deb http://ftpmaster.internal/ubuntu zesty main universe', 'deb http://ftpmaster.internal/ubuntu zesty-security main universe', 'deb http://ftpmaster.internal/ubuntu zesty-updates main universe', 'deb http://ftpmaster.internal/ubuntu zesty-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-11955393 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-11955393', 'powerpc'] Updating debian chroot for build PACKAGEBUILD-11955393 Get:1 http://ftpmaster.internal/ubuntu zesty InRelease [253 kB] Get:2 http://ftpmaster.internal/ubuntu zesty-security InRelease [102 kB] Get:3 http://ftpmaster.internal/ubuntu zesty-updates InRelease [102 kB] Get:4 http://ftpmaster.internal/ubuntu zesty-proposed InRelease [102 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main powerpc Packages [1171 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main Translation-en [589 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/universe powerpc Packages [7806 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/universe Translation-en [4688 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc Packages [123 kB] Get:10 http://ftpmaster.internal/ubuntu zesty-proposed/main Translation-en [76.4 kB] Get:11 http://ftpmaster.internal/ubuntu zesty-proposed/universe powerpc Packages [348 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/universe Translation-en [220 kB] Fetched 15.6 MB in 22s (682 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libperl5.22 perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: libperl5.24 perl-modules-5.24 The following packages will be upgraded: adduser apt apt-transport-https base-files base-passwd bash binutils bsdutils bzip2 ca-certificates cpp cpp-6 debianutils diffutils dmsetup e2fslibs e2fsprogs findutils g++ g++-6 gcc gcc-6 gcc-6-base grep init init-system-helpers libapparmor1 libapt-pkg5.0 libasan3 libasn1-8-heimdal libassuan0 libatomic1 libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libcomerr2 libcurl3-gnutls libdevmapper1.02.1 libfdisk1 libgcc-6-dev libgcc1 libgcrypt20 libgmp10 libgnutls30 libgomp1 libgpg-error0 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhogweed4 libhx509-5-heimdal libisl15 libk5crypto3 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libksba8 libldap-2.4-2 liblzma5 libmount1 libnettle6 libnpth0 libp11-kit0 libpng16-16 libroken18-heimdal libsasl2-2 libsasl2-modules-db libseccomp2 libselinux1 libsemanage-common libsemanage1 libsepol1 libslang2 libsmartcols1 libsqlite3-0 libss2 libssl1.0.0 libstdc++-6-dev libstdc++6 libsystemd0 libtasn1-6 libubsan0 libudev1 libustr-1.0-1 libuuid1 libwind0-heimdal linux-libc-dev mount multiarch-support openssl perl perl-base pinentry-curses pkg-create-dbgsym sed systemd systemd-sysv tar tzdata ubuntu-keyring util-linux xz-utils zlib1g 109 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 50.9 MB of archives. After this operation, 38.9 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu zesty/main powerpc base-files powerpc 9.6ubuntu9 [57.0 kB] Get:2 http://ftpmaster.internal/ubuntu zesty/main powerpc debianutils powerpc 4.8.1 [84.9 kB] Get:3 http://ftpmaster.internal/ubuntu zesty/main powerpc bash powerpc 4.4-2ubuntu1 [550 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main powerpc bsdutils powerpc 1:2.29-1ubuntu2 [54.0 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main powerpc diffutils powerpc 1:3.5-3 [156 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main powerpc libc6-dev powerpc 2.24-7ubuntu2 [2014 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main powerpc libc-dev-bin powerpc 2.24-7ubuntu2 [61.4 kB] Get:8 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc linux-libc-dev powerpc 4.9.0-16.17 [871 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc gcc-6-base powerpc 6.3.0-5ubuntu1 [17.5 kB] Get:10 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libgcc1 powerpc 1:6.3.0-5ubuntu1 [26.9 kB] Get:11 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libcc1-0 powerpc 6.3.0-5ubuntu1 [30.1 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc binutils powerpc 2.27.90.20170118-1ubuntu1 [2252 kB] Get:13 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libgomp1 powerpc 6.3.0-5ubuntu1 [69.5 kB] Get:14 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libatomic1 powerpc 6.3.0-5ubuntu1 [7464 B] Get:15 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libasan3 powerpc 6.3.0-5ubuntu1 [269 kB] Get:16 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libubsan0 powerpc 6.3.0-5ubuntu1 [105 kB] Get:17 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc g++-6 powerpc 6.3.0-5ubuntu1 [6256 kB] Get:18 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libstdc++-6-dev powerpc 6.3.0-5ubuntu1 [1418 kB] Get:19 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libgcc-6-dev powerpc 6.3.0-5ubuntu1 [555 kB] Get:20 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc gcc-6 powerpc 6.3.0-5ubuntu1 [6047 kB] Get:21 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc cpp-6 powerpc 6.3.0-5ubuntu1 [5521 kB] Get:22 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libstdc++6 powerpc 6.3.0-5ubuntu1 [410 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main powerpc zlib1g powerpc 1:1.2.8.dfsg-4ubuntu1 [47.4 kB] Get:24 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libgmp10 powerpc 2:6.1.2+dfsg-1 [197 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main powerpc libisl15 powerpc 0.18-1 [448 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main powerpc libc6 powerpc 2.24-7ubuntu2 [2304 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main powerpc e2fslibs powerpc 1.43.4-2 [153 kB] Get:28 http://ftpmaster.internal/ubuntu zesty/main powerpc e2fsprogs powerpc 1.43.4-2 [468 kB] Get:29 http://ftpmaster.internal/ubuntu zesty/main powerpc findutils powerpc 4.6.0+git+20161106-1 [275 kB] Get:30 http://ftpmaster.internal/ubuntu zesty/main powerpc grep powerpc 2.27-2 [145 kB] Get:31 http://ftpmaster.internal/ubuntu zesty/main powerpc libuuid1 powerpc 2.29-1ubuntu2 [15.9 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main powerpc libblkid1 powerpc 2.29-1ubuntu2 [102 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main powerpc libfdisk1 powerpc 2.29-1ubuntu2 [130 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main powerpc libselinux1 powerpc 2.6-3 [61.2 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main powerpc util-linux powerpc 2.29-1ubuntu2 [825 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main powerpc mount powerpc 2.29-1ubuntu2 [123 kB] Get:37 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc perl-modules-5.24 all 5.24.1-1 [2662 kB] Get:38 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libperl5.24 powerpc 5.24.1-1 [2852 kB] Get:39 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc perl powerpc 5.24.1-1 [219 kB] Get:40 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc perl-base powerpc 5.24.1-1 [1205 kB] Get:41 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc bzip2 powerpc 1.0.6-8.1 [31.4 kB] Get:42 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libbz2-1.0 powerpc 1.0.6-8.1 [32.1 kB] Get:43 http://ftpmaster.internal/ubuntu zesty/main powerpc sed powerpc 4.3-3 [172 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main powerpc tar powerpc 1.29b-1.1 [206 kB] Get:45 http://ftpmaster.internal/ubuntu zesty/main powerpc base-passwd powerpc 3.5.43 [47.4 kB] Get:46 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc init-system-helpers all 1.47 [37.8 kB] Get:47 http://ftpmaster.internal/ubuntu zesty/main powerpc libc-bin powerpc 2.24-7ubuntu2 [524 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main powerpc liblzma5 powerpc 5.2.2-1.2 [91.2 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main powerpc libapt-pkg5.0 powerpc 1.4~beta4ubuntu1 [754 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main powerpc adduser all 3.113+nmu3ubuntu5 [161 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main powerpc ubuntu-keyring all 2016.10.27 [16.6 kB] Get:52 http://ftpmaster.internal/ubuntu zesty/main powerpc apt powerpc 1.4~beta4ubuntu1 [1058 kB] Get:53 http://ftpmaster.internal/ubuntu zesty/main powerpc libapparmor1 powerpc 2.10.95-4ubuntu5.2 [28.1 kB] Get:54 http://ftpmaster.internal/ubuntu zesty/main powerpc libgpg-error0 powerpc 1.26-2 [33.6 kB] Get:55 http://ftpmaster.internal/ubuntu zesty/main powerpc libgcrypt20 powerpc 1.7.6-1 [340 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main powerpc libmount1 powerpc 2.29-1ubuntu2 [104 kB] Get:57 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libseccomp2 powerpc 2.3.1-2.1ubuntu1 [37.6 kB] Get:58 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc systemd powerpc 232-10ubuntu1 [2102 kB] Get:59 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libsystemd0 powerpc 232-10ubuntu1 [188 kB] Get:60 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc init powerpc 1.47 [5836 B] Get:61 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc systemd-sysv powerpc 232-10ubuntu1 [13.9 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main powerpc libcomerr2 powerpc 1.43.4-2 [9206 B] Get:63 http://ftpmaster.internal/ubuntu zesty/main powerpc libsepol1 powerpc 2.6-2 [182 kB] Get:64 http://ftpmaster.internal/ubuntu zesty/main powerpc libustr-1.0-1 powerpc 1.0.4-6 [51.1 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main powerpc libsemanage-common all 2.6-2 [6794 B] Get:66 http://ftpmaster.internal/ubuntu zesty/main powerpc libsemanage1 powerpc 2.6-2 [69.8 kB] Get:67 http://ftpmaster.internal/ubuntu zesty/main powerpc libsmartcols1 powerpc 2.29-1ubuntu2 [62.9 kB] Get:68 http://ftpmaster.internal/ubuntu zesty/main powerpc libss2 powerpc 1.43.4-2 [10.5 kB] Get:69 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libudev1 powerpc 232-10ubuntu1 [52.3 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main powerpc multiarch-support powerpc 2.24-7ubuntu2 [6816 B] Get:71 http://ftpmaster.internal/ubuntu zesty/main powerpc tzdata all 2016j-2 [204 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main powerpc libdevmapper1.02.1 powerpc 2:1.02.136-1ubuntu1 [117 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main powerpc dmsetup powerpc 2:1.02.136-1ubuntu1 [65.5 kB] Get:74 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libroken18-heimdal powerpc 7.1.0+dfsg-9 [38.6 kB] Get:75 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libasn1-8-heimdal powerpc 7.1.0+dfsg-9 [130 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main powerpc libassuan0 powerpc 2.4.3-2 [30.2 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main powerpc libhogweed4 powerpc 3.3-1 [130 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main powerpc libnettle6 powerpc 3.3-1 [110 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main powerpc libp11-kit0 powerpc 0.23.3-5 [85.3 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main powerpc libtasn1-6 powerpc 4.10-1 [33.4 kB] Get:81 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libgnutls30 powerpc 3.5.6-4ubuntu3 [497 kB] Get:82 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libheimbase1-heimdal powerpc 7.1.0+dfsg-9 [26.3 kB] Get:83 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libhcrypto4-heimdal powerpc 7.1.0+dfsg-9 [81.9 kB] Get:84 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libwind0-heimdal powerpc 7.1.0+dfsg-9 [47.2 kB] Get:85 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libhx509-5-heimdal powerpc 7.1.0+dfsg-9 [91.6 kB] Get:86 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libsqlite3-0 powerpc 3.16.2-2 [426 kB] Get:87 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libkrb5-26-heimdal powerpc 7.1.0+dfsg-9 [178 kB] Get:88 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libheimntlm0-heimdal powerpc 7.1.0+dfsg-9 [14.7 kB] Get:89 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libgssapi3-heimdal powerpc 7.1.0+dfsg-9 [82.5 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/main powerpc libksba8 powerpc 1.3.5-2 [80.0 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/main powerpc libsasl2-modules-db powerpc 2.1.27~72-g88d82a3+dfsg-1 [14.5 kB] Get:92 http://ftpmaster.internal/ubuntu zesty/main powerpc libsasl2-2 powerpc 2.1.27~72-g88d82a3+dfsg-1 [43.7 kB] Get:93 http://ftpmaster.internal/ubuntu zesty/main powerpc libldap-2.4-2 powerpc 2.4.42+dfsg-2ubuntu5 [141 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/main powerpc libnpth0 powerpc 1.3-1 [7660 B] Get:95 http://ftpmaster.internal/ubuntu zesty/main powerpc libslang2 powerpc 2.3.1-5ubuntu1 [371 kB] Get:96 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libssl1.0.0 powerpc 1.0.2g-1ubuntu11 [717 kB] Get:97 http://ftpmaster.internal/ubuntu zesty/main powerpc pinentry-curses powerpc 1.0.0-1 [29.7 kB] Get:98 http://ftpmaster.internal/ubuntu zesty/main powerpc xz-utils powerpc 5.2.2-1.2 [83.0 kB] Get:99 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libgssapi-krb5-2 powerpc 1.15-1 [103 kB] Get:100 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libkrb5-3 powerpc 1.15-1 [240 kB] Get:101 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libkrb5support0 powerpc 1.15-1 [30.5 kB] Get:102 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libk5crypto3 powerpc 1.15-1 [84.5 kB] Get:103 http://ftpmaster.internal/ubuntu zesty/main powerpc libcurl3-gnutls powerpc 7.51.0-1ubuntu1 [170 kB] Get:104 http://ftpmaster.internal/ubuntu zesty/main powerpc apt-transport-https powerpc 1.4~beta4ubuntu1 [33.6 kB] Get:105 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc openssl powerpc 1.0.2g-1ubuntu11 [464 kB] Get:106 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc ca-certificates all 20161130 [193 kB] Get:107 http://ftpmaster.internal/ubuntu zesty/main powerpc libpng16-16 powerpc 1.6.28-1 [162 kB] Get:108 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc cpp powerpc 4:6.3.0-1ubuntu3 [27.5 kB] Get:109 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc gcc powerpc 4:6.3.0-1ubuntu3 [5182 B] Get:110 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc g++ powerpc 4:6.3.0-1ubuntu3 [1478 B] Get:111 http://ftpmaster.internal/ubuntu zesty/main powerpc pkg-create-dbgsym all 0.73 [8952 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 50.9 MB in 46s (1103 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12106 files and directories currently installed.) Preparing to unpack .../base-files_9.6ubuntu9_powerpc.deb ... Unpacking base-files (9.6ubuntu9) over (9.6ubuntu5) ... Setting up base-files (9.6ubuntu9) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12108 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.1_powerpc.deb ... Unpacking debianutils (4.8.1) over (4.8) ... Setting up debianutils (4.8.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12108 files and directories currently installed.) Preparing to unpack .../bash_4.4-2ubuntu1_powerpc.deb ... Unpacking bash (4.4-2ubuntu1) over (4.3-15ubuntu1) ... Setting up bash (4.4-2ubuntu1) ... Installing new version of config file /etc/skel/.profile ... 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 ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12108 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu2_powerpc.deb ... Unpacking bsdutils (1:2.29-1ubuntu2) over (1:2.28.2-1ubuntu1) ... Setting up bsdutils (1:2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12108 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.5-3_powerpc.deb ... Unpacking diffutils (1:3.5-3) over (1:3.3-3) ... Setting up diffutils (1:3.5-3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12108 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.24-7ubuntu2_powerpc.deb ... Unpacking libc6-dev:powerpc (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Preparing to unpack .../1-libc-dev-bin_2.24-7ubuntu2_powerpc.deb ... Unpacking libc-dev-bin (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Preparing to unpack .../2-linux-libc-dev_4.9.0-16.17_powerpc.deb ... Unpacking linux-libc-dev:powerpc (4.9.0-16.17) over (4.8.0-22.24) ... Preparing to unpack .../3-gcc-6-base_6.3.0-5ubuntu1_powerpc.deb ... Unpacking gcc-6-base:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Setting up gcc-6-base:powerpc (6.3.0-5ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12124 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a6.3.0-5ubuntu1_powerpc.deb ... Unpacking libgcc1:powerpc (1:6.3.0-5ubuntu1) over (1:6.2.0-5ubuntu12) ... Setting up libgcc1:powerpc (1:6.3.0-5ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12124 files and directories currently installed.) Preparing to unpack .../00-libcc1-0_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libcc1-0:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../01-binutils_2.27.90.20170118-1ubuntu1_powerpc.deb ... Unpacking binutils (2.27.90.20170118-1ubuntu1) over (2.27-8ubuntu2) ... Preparing to unpack .../02-libgomp1_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libgomp1:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../03-libatomic1_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libatomic1:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../04-libasan3_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libasan3:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../05-libubsan0_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libubsan0:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../06-g++-6_6.3.0-5ubuntu1_powerpc.deb ... Unpacking g++-6 (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../07-libstdc++-6-dev_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libstdc++-6-dev:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../08-libgcc-6-dev_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libgcc-6-dev:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../09-gcc-6_6.3.0-5ubuntu1_powerpc.deb ... Unpacking gcc-6 (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../10-cpp-6_6.3.0-5ubuntu1_powerpc.deb ... Unpacking cpp-6 (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../11-libstdc++6_6.3.0-5ubuntu1_powerpc.deb ... Unpacking libstdc++6:powerpc (6.3.0-5ubuntu1) over (6.2.0-5ubuntu12) ... Setting up libstdc++6:powerpc (6.3.0-5ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12177 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-4ubuntu1_powerpc.deb ... Unpacking zlib1g:powerpc (1:1.2.8.dfsg-4ubuntu1) over (1:1.2.8.dfsg-2ubuntu5) ... Setting up zlib1g:powerpc (1:1.2.8.dfsg-4ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12177 files and directories currently installed.) Preparing to unpack .../0-libgmp10_2%3a6.1.2+dfsg-1_powerpc.deb ... Unpacking libgmp10:powerpc (2:6.1.2+dfsg-1) over (2:6.1.1+dfsg-1) ... Preparing to unpack .../1-libisl15_0.18-1_powerpc.deb ... Unpacking libisl15:powerpc (0.18-1) over (0.17.1-1) ... Preparing to unpack .../2-libc6_2.24-7ubuntu2_powerpc.deb ... Unpacking libc6:powerpc (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Setting up libc6:powerpc (2.24-7ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12177 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.43.4-2_powerpc.deb ... Unpacking e2fslibs:powerpc (1.43.4-2) over (1.43.3-1) ... Setting up e2fslibs:powerpc (1.43.4-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12177 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.43.4-2_powerpc.deb ... Unpacking e2fsprogs (1.43.4-2) over (1.43.3-1) ... Setting up e2fsprogs (1.43.4-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12173 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20161106-1_powerpc.deb ... Unpacking findutils (4.6.0+git+20161106-1) over (4.6.0+git+20160703-2) ... Setting up findutils (4.6.0+git+20161106-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12173 files and directories currently installed.) Preparing to unpack .../grep_2.27-2_powerpc.deb ... Unpacking grep (2.27-2) over (2.25-6) ... Setting up grep (2.27-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12173 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu2_powerpc.deb ... Unpacking libuuid1:powerpc (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libuuid1:powerpc (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12173 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu2_powerpc.deb ... Unpacking libblkid1:powerpc (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libblkid1:powerpc (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12173 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.29-1ubuntu2_powerpc.deb ... Unpacking libfdisk1:powerpc (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libfdisk1:powerpc (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12173 files and directories currently installed.) Preparing to unpack .../libselinux1_2.6-3_powerpc.deb ... Unpacking libselinux1:powerpc (2.6-3) over (2.5-3) ... Setting up libselinux1:powerpc (2.6-3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12173 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu2_powerpc.deb ... Unpacking util-linux (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up util-linux (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12172 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu2_powerpc.deb ... Unpacking mount (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up mount (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12172 files and directories currently installed.) Preparing to unpack .../0-perl_5.24.1-1_powerpc.deb ... Unpacking perl (5.24.1-1) over (5.22.2-3) ... Selecting previously unselected package perl-modules-5.24. Preparing to unpack .../1-perl-modules-5.24_5.24.1-1_all.deb ... Unpacking perl-modules-5.24 (5.24.1-1) ... Selecting previously unselected package libperl5.24:powerpc. Preparing to unpack .../2-libperl5.24_5.24.1-1_powerpc.deb ... Unpacking libperl5.24:powerpc (5.24.1-1) ... Preparing to unpack .../3-perl-base_5.24.1-1_powerpc.deb ... Unpacking perl-base (5.24.1-1) over (5.22.2-3) ... Setting up perl-base (5.24.1-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../0-bzip2_1.0.6-8.1_powerpc.deb ... Unpacking bzip2 (1.0.6-8.1) over (1.0.6-8build1) ... Preparing to unpack .../1-libbz2-1.0_1.0.6-8.1_powerpc.deb ... Unpacking libbz2-1.0:powerpc (1.0.6-8.1) over (1.0.6-8build1) ... Setting up libbz2-1.0:powerpc (1.0.6-8.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../archives/sed_4.3-3_powerpc.deb ... Unpacking sed (4.3-3) over (4.2.2-8) ... Setting up sed (4.3-3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../tar_1.29b-1.1_powerpc.deb ... Unpacking tar (1.29b-1.1) over (1.29b-1) ... Setting up tar (1.29b-1.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.43_powerpc.deb ... Unpacking base-passwd (3.5.43) over (3.5.40) ... Setting up base-passwd (3.5.43) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.47_all.deb ... Unpacking init-system-helpers (1.47) over (1.45) ... Setting up init-system-helpers (1.47) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../libc-bin_2.24-7ubuntu2_powerpc.deb ... Unpacking libc-bin (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Setting up libc-bin (2.24-7ubuntu2) ... Updating /etc/nsswitch.conf to current default. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.2-1.2_powerpc.deb ... Unpacking liblzma5:powerpc (5.2.2-1.2) over (5.1.1alpha+20120614-2.1ubuntu1) ... Setting up liblzma5:powerpc (5.2.2-1.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4~beta4ubuntu1_powerpc.deb ... Unpacking libapt-pkg5.0:powerpc (1.4~beta4ubuntu1) over (1.3.1) ... Setting up libapt-pkg5.0:powerpc (1.4~beta4ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../adduser_3.113+nmu3ubuntu5_all.deb ... Unpacking adduser (3.113+nmu3ubuntu5) over (3.113+nmu3ubuntu4) ... Setting up adduser (3.113+nmu3ubuntu5) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13962 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2016.10.27_all.deb ... Unpacking ubuntu-keyring (2016.10.27) over (2016.09.19) ... Setting up ubuntu-keyring (2016.10.27) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../apt_1.4~beta4ubuntu1_powerpc.deb ... Unpacking apt (1.4~beta4ubuntu1) over (1.3.1) ... Setting up apt (1.4~beta4ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13964 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_2.10.95-4ubuntu5.2_powerpc.deb ... Unpacking libapparmor1:powerpc (2.10.95-4ubuntu5.2) over (2.10.95-4ubuntu5) ... Preparing to unpack .../1-libgpg-error0_1.26-2_powerpc.deb ... Unpacking libgpg-error0:powerpc (1.26-2) over (1.24-1) ... Setting up libgpg-error0:powerpc (1.26-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13964 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.6-1_powerpc.deb ... Unpacking libgcrypt20:powerpc (1.7.6-1) over (1.7.2-2ubuntu1) ... Setting up libgcrypt20:powerpc (1.7.6-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13964 files and directories currently installed.) Preparing to unpack .../libmount1_2.29-1ubuntu2_powerpc.deb ... Unpacking libmount1:powerpc (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libmount1:powerpc (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13964 files and directories currently installed.) Preparing to unpack .../0-libseccomp2_2.3.1-2.1ubuntu1_powerpc.deb ... Unpacking libseccomp2:powerpc (2.3.1-2.1ubuntu1) over (2.3.1-2ubuntu2) ... Preparing to unpack .../1-systemd_232-10ubuntu1_powerpc.deb ... Unpacking systemd (232-10ubuntu1) over (231-9git1) ... Preparing to unpack .../2-libsystemd0_232-10ubuntu1_powerpc.deb ... Unpacking libsystemd0:powerpc (232-10ubuntu1) over (231-9git1) ... Setting up libsystemd0:powerpc (232-10ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../archives/init_1.47_powerpc.deb ... Unpacking init (1.47) over (1.45) ... Setting up libapparmor1:powerpc (2.10.95-4ubuntu5.2) ... Setting up libseccomp2:powerpc (2.3.1-2.1ubuntu1) ... Setting up systemd (232-10ubuntu1) ... Installing new version of config file /etc/dbus-1/system.d/org.freedesktop.systemd1.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Installing new version of config file /etc/systemd/system.conf ... addgroup: The group `systemd-journal' already exists as a system group. Exiting. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_232-10ubuntu1_powerpc.deb ... Unpacking systemd-sysv (232-10ubuntu1) over (231-9git1) ... Preparing to unpack .../1-libcomerr2_1.43.4-2_powerpc.deb ... Unpacking libcomerr2:powerpc (1.43.4-2) over (1.43.3-1) ... Setting up libcomerr2:powerpc (1.43.4-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsepol1_2.6-2_powerpc.deb ... Unpacking libsepol1:powerpc (2.6-2) over (2.5-1) ... Setting up libsepol1:powerpc (2.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libustr-1.0-1_1.0.4-6_powerpc.deb ... Unpacking libustr-1.0-1:powerpc (1.0.4-6) over (1.0.4-5) ... Setting up libustr-1.0-1:powerpc (1.0.4-6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.6-2_all.deb ... Unpacking libsemanage-common (2.6-2) over (2.5-1) ... Setting up libsemanage-common (2.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.6-2_powerpc.deb ... Unpacking libsemanage1:powerpc (2.6-2) over (2.5-1) ... Setting up libsemanage1:powerpc (2.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu2_powerpc.deb ... Unpacking libsmartcols1:powerpc (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libsmartcols1:powerpc (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libss2_1.43.4-2_powerpc.deb ... Unpacking libss2:powerpc (1.43.4-2) over (1.43.3-1) ... Setting up libss2:powerpc (1.43.4-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libudev1_232-10ubuntu1_powerpc.deb ... Unpacking libudev1:powerpc (232-10ubuntu1) over (231-9git1) ... Setting up libudev1:powerpc (232-10ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.24-7ubuntu2_powerpc.deb ... Unpacking multiarch-support (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Setting up multiarch-support (2.24-7ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../00-tzdata_2016j-2_all.deb ... Unpacking tzdata (2016j-2) over (2016g-1) ... Preparing to unpack .../01-libdevmapper1.02.1_2%3a1.02.136-1ubuntu1_powerpc.deb ... Unpacking libdevmapper1.02.1:powerpc (2:1.02.136-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../02-dmsetup_2%3a1.02.136-1ubuntu1_powerpc.deb ... Unpacking dmsetup (2:1.02.136-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../03-libroken18-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libroken18-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../04-libasn1-8-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libasn1-8-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../05-libassuan0_2.4.3-2_powerpc.deb ... Unpacking libassuan0:powerpc (2.4.3-2) over (2.4.3-1) ... Preparing to unpack .../06-libhogweed4_3.3-1_powerpc.deb ... Unpacking libhogweed4:powerpc (3.3-1) over (3.2-1) ... Preparing to unpack .../07-libnettle6_3.3-1_powerpc.deb ... Unpacking libnettle6:powerpc (3.3-1) over (3.2-1) ... Preparing to unpack .../08-libp11-kit0_0.23.3-5_powerpc.deb ... Unpacking libp11-kit0:powerpc (0.23.3-5) over (0.23.2-5) ... Preparing to unpack .../09-libtasn1-6_4.10-1_powerpc.deb ... Unpacking libtasn1-6:powerpc (4.10-1) over (4.9-4) ... Preparing to unpack .../10-libgnutls30_3.5.6-4ubuntu3_powerpc.deb ... Unpacking libgnutls30:powerpc (3.5.6-4ubuntu3) over (3.5.3-5ubuntu1) ... Preparing to unpack .../11-libheimbase1-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libheimbase1-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../12-libhcrypto4-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libhcrypto4-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../13-libwind0-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libwind0-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../14-libhx509-5-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libhx509-5-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../15-libsqlite3-0_3.16.2-2_powerpc.deb ... Unpacking libsqlite3-0:powerpc (3.16.2-2) over (3.14.1-1build1) ... Preparing to unpack .../16-libkrb5-26-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libkrb5-26-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../17-libheimntlm0-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libheimntlm0-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../18-libgssapi3-heimdal_7.1.0+dfsg-9_powerpc.deb ... Unpacking libgssapi3-heimdal:powerpc (7.1.0+dfsg-9) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../19-libksba8_1.3.5-2_powerpc.deb ... Unpacking libksba8:powerpc (1.3.5-2) over (1.3.4-4) ... Preparing to unpack .../20-libsasl2-modules-db_2.1.27~72-g88d82a3+dfsg-1_powerpc.deb ... Unpacking libsasl2-modules-db:powerpc (2.1.27~72-g88d82a3+dfsg-1) over (2.1.26.dfsg1-15) ... Preparing to unpack .../21-libsasl2-2_2.1.27~72-g88d82a3+dfsg-1_powerpc.deb ... Unpacking libsasl2-2:powerpc (2.1.27~72-g88d82a3+dfsg-1) over (2.1.26.dfsg1-15) ... Preparing to unpack .../22-libldap-2.4-2_2.4.42+dfsg-2ubuntu5_powerpc.deb ... Unpacking libldap-2.4-2:powerpc (2.4.42+dfsg-2ubuntu5) over (2.4.42+dfsg-2ubuntu4) ... Preparing to unpack .../23-libnpth0_1.3-1_powerpc.deb ... Unpacking libnpth0:powerpc (1.3-1) over (1.2-3) ... Preparing to unpack .../24-libslang2_2.3.1-5ubuntu1_powerpc.deb ... Unpacking libslang2:powerpc (2.3.1-5ubuntu1) over (2.3.0-2.3ubuntu1) ... Preparing to unpack .../25-libssl1.0.0_1.0.2g-1ubuntu11_powerpc.deb ... Unpacking libssl1.0.0:powerpc (1.0.2g-1ubuntu11) over (1.0.2g-1ubuntu9) ... Preparing to unpack .../26-pinentry-curses_1.0.0-1_powerpc.deb ... Unpacking pinentry-curses (1.0.0-1) over (0.9.7-5) ... Preparing to unpack .../27-xz-utils_5.2.2-1.2_powerpc.deb ... Unpacking xz-utils (5.2.2-1.2) over (5.1.1alpha+20120614-2.1ubuntu1) ... Preparing to unpack .../28-libgssapi-krb5-2_1.15-1_powerpc.deb ... Unpacking libgssapi-krb5-2:powerpc (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../29-libkrb5-3_1.15-1_powerpc.deb ... Unpacking libkrb5-3:powerpc (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../30-libkrb5support0_1.15-1_powerpc.deb ... Unpacking libkrb5support0:powerpc (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../31-libk5crypto3_1.15-1_powerpc.deb ... Unpacking libk5crypto3:powerpc (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../32-libcurl3-gnutls_7.51.0-1ubuntu1_powerpc.deb ... Unpacking libcurl3-gnutls:powerpc (7.51.0-1ubuntu1) over (7.50.1-1ubuntu1) ... Preparing to unpack .../33-apt-transport-https_1.4~beta4ubuntu1_powerpc.deb ... Unpacking apt-transport-https (1.4~beta4ubuntu1) over (1.3.1) ... Preparing to unpack .../34-openssl_1.0.2g-1ubuntu11_powerpc.deb ... Unpacking openssl (1.0.2g-1ubuntu11) over (1.0.2g-1ubuntu9) ... Preparing to unpack .../35-ca-certificates_20161130_all.deb ... Unpacking ca-certificates (20161130) over (20160104ubuntu1) ... Preparing to unpack .../36-libpng16-16_1.6.28-1_powerpc.deb ... Unpacking libpng16-16:powerpc (1.6.28-1) over (1.6.25-1) ... Preparing to unpack .../37-cpp_4%3a6.3.0-1ubuntu3_powerpc.deb ... Unpacking cpp (4:6.3.0-1ubuntu3) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../38-gcc_4%3a6.3.0-1ubuntu3_powerpc.deb ... Removing old gcc doc directory. Unpacking gcc (4:6.3.0-1ubuntu3) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../39-g++_4%3a6.3.0-1ubuntu3_powerpc.deb ... Unpacking g++ (4:6.3.0-1ubuntu3) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../40-pkg-create-dbgsym_0.73_all.deb ... Unpacking pkg-create-dbgsym (0.73) over (0.72) ... Setting up libnpth0:powerpc (1.3-1) ... Setting up libgomp1:powerpc (6.3.0-5ubuntu1) ... Setting up libatomic1:powerpc (6.3.0-5ubuntu1) ... Setting up perl-modules-5.24 (5.24.1-1) ... Setting up libperl5.24:powerpc (5.24.1-1) ... Setting up libnettle6:powerpc (3.3-1) ... Setting up libcc1-0:powerpc (6.3.0-5ubuntu1) ... Setting up libasan3:powerpc (6.3.0-5ubuntu1) ... Setting up libssl1.0.0:powerpc (1.0.2g-1ubuntu11) ... Setting up libpng16-16:powerpc (1.6.28-1) ... Setting up tzdata (2016j-2) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Feb 2 06:23:02 UTC 2017. Universal Time is now: Thu Feb 2 06:23:02 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (232-10ubuntu1) ... Setting up libubsan0:powerpc (6.3.0-5ubuntu1) ... Setting up libsasl2-modules-db:powerpc (2.1.27~72-g88d82a3+dfsg-1) ... Setting up linux-libc-dev:powerpc (4.9.0-16.17) ... Setting up libsasl2-2:powerpc (2.1.27~72-g88d82a3+dfsg-1) ... Setting up libroken18-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up libksba8:powerpc (1.3.5-2) ... Setting up libdevmapper1.02.1:powerpc (2:1.02.136-1ubuntu1) ... Setting up libkrb5support0:powerpc (1.15-1) ... Setting up libtasn1-6:powerpc (4.10-1) ... Setting up bzip2 (1.0.6-8.1) ... Setting up perl (5.24.1-1) ... Installing new version of config file /etc/perl/sitecustomize.pl ... Setting up libgmp10:powerpc (2:6.1.2+dfsg-1) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Setting up pkg-create-dbgsym (0.73) ... Setting up xz-utils (5.2.2-1.2) ... Setting up libheimbase1-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up libp11-kit0:powerpc (0.23.3-5) ... Setting up openssl (1.0.2g-1ubuntu11) ... Setting up libsqlite3-0:powerpc (3.16.2-2) ... Setting up dmsetup (2:1.02.136-1ubuntu1) ... Setting up binutils (2.27.90.20170118-1ubuntu1) ... Setting up libc-dev-bin (2.24-7ubuntu2) ... Setting up ca-certificates (20161130) ... Updating certificates in /etc/ssl/certs... 10 added, 10 removed; done. Setting up libc6-dev:powerpc (2.24-7ubuntu2) ... Setting up libslang2:powerpc (2.3.1-5ubuntu1) ... Setting up libassuan0:powerpc (2.4.3-2) ... Setting up libk5crypto3:powerpc (1.15-1) ... Setting up libgcc-6-dev:powerpc (6.3.0-5ubuntu1) ... Setting up libstdc++-6-dev:powerpc (6.3.0-5ubuntu1) ... Setting up libwind0-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up init (1.47) ... Setting up libasn1-8-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up libhcrypto4-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up libhx509-5-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up libhogweed4:powerpc (3.3-1) ... Setting up libisl15:powerpc (0.18-1) ... Setting up pinentry-curses (1.0.0-1) ... Setting up libkrb5-3:powerpc (1.15-1) ... Setting up cpp-6 (6.3.0-5ubuntu1) ... Setting up libkrb5-26-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up libheimntlm0-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up cpp (4:6.3.0-1ubuntu3) ... Setting up libgnutls30:powerpc (3.5.6-4ubuntu3) ... Setting up gcc-6 (6.3.0-5ubuntu1) ... Setting up libgssapi-krb5-2:powerpc (1.15-1) ... Setting up g++-6 (6.3.0-5ubuntu1) ... Setting up libgssapi3-heimdal:powerpc (7.1.0+dfsg-9) ... Setting up gcc (4:6.3.0-1ubuntu3) ... Setting up libldap-2.4-2:powerpc (2.4.42+dfsg-2ubuntu5) ... Setting up g++ (4:6.3.0-1ubuntu3) ... Setting up libcurl3-gnutls:powerpc (7.51.0-1ubuntu1) ... Setting up apt-transport-https (1.4~beta4ubuntu1) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Processing triggers for ca-certificates (20161130) ... 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 ['sbuild-package', 'PACKAGEBUILD-11955393', 'powerpc', 'zesty-proposed', '-c', 'chroot:autobuild', '--arch=powerpc', '--dist=zesty-proposed', '--purge=never', '--nolog', 'why_2.36-5build2.dsc'] Initiating build PACKAGEBUILD-11955393 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-53-powerpc64-smp #74-Ubuntu SMP Fri Dec 2 16:41:54 UTC 2016 ppc sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on fisher07.buildd +==============================================================================+ | why 2.36-5build2 (powerpc) 02 Feb 2017 01:23 | +==============================================================================+ Package: why Version: 2.36-5build2 Source Version: 2.36-5build2 Distribution: zesty-proposed Machine Architecture: powerpc Host Architecture: powerpc Build Architecture: powerpc I: NOTICE: Log filtering will replace 'build/why-V7028F/why-2.36' with '<>' I: NOTICE: Log filtering will replace 'build/why-V7028F' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-11955393/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- why_2.36-5build2.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-ewutst/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-ewutst/apt_archive ./ InRelease Get:2 copy:/<>/resolver-ewutst/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-ewutst/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-ewutst/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-ewutst/apt_archive ./ Packages [526 B] Fetched 2859 B in 0s (212 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 packages were automatically installed and are no longer required: libperl5.22 perl-modules-5.22 Use 'sudo apt autoremove' to remove them. 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 772 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-ewutst/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [772 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 772 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13970 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_powerpc.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 10), autotools-dev, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20151002+magnesium+dfsg), camlidl, why3, why3-coq Filtered Build-Depends: debhelper (>= 10), autotools-dev, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20151002+magnesium+dfsg), camlidl, why3, why3-coq dpkg-deb: building package 'sbuild-build-depends-why-dummy' in '/<>/resolver-d_BmyX/apt_archive/sbuild-build-depends-why-dummy.deb'. Ign:1 copy:/<>/resolver-d_BmyX/apt_archive ./ InRelease Get:2 copy:/<>/resolver-d_BmyX/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-d_BmyX/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-d_BmyX/apt_archive ./ Sources [318 B] Get:5 copy:/<>/resolver-d_BmyX/apt_archive ./ Packages [642 B] Fetched 3079 B in 0s (231 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install why build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libperl5.22 perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.4-0 libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libunistring0 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzip-ocaml m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox po-debconf shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq Suggested packages: aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation camlidl-doc proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc dh-make git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff cups-common libenchant-voikko gvfs ncurses-doc librsvg2-bin libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less www-browser ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl why3-examples Recommended packages: coqide | proofgeneral alt-ergo curl | wget | lynx-cur dbus enchant libglib2.0-data xdg-user-dirs libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary | myspell-dictionary libltdl-dev xml-core libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.4-0 libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libunistring0 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzip-ocaml m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox po-debconf sbuild-build-depends-why-dummy shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq 0 upgraded, 124 newly installed, 0 to remove and 0 not upgraded. Need to get 137 MB of archives. After this operation, 753 MB of additional disk space will be used. Get:1 copy:/<>/resolver-d_BmyX/apt_archive ./ sbuild-build-depends-why-dummy 0.invalid.0 [890 B] Get:2 http://ftpmaster.internal/ubuntu zesty/main powerpc libxau6 powerpc 1:1.0.8-1 [8284 B] Get:3 http://ftpmaster.internal/ubuntu zesty/main powerpc libxdmcp6 powerpc 1:1.1.2-1.1 [10.6 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main powerpc libxcb1 powerpc 1.11.1-1ubuntu1 [35.8 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main powerpc libx11-data all 2:1.6.3-1ubuntu3 [113 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main powerpc libx11-6 powerpc 2:1.6.3-1ubuntu3 [518 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main powerpc libxext6 powerpc 2:1.3.3-1 [26.2 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/main powerpc groff-base powerpc 1.22.3-9 [1194 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main powerpc libbsd0 powerpc 0.8.3-1 [50.6 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main powerpc bsdmainutils powerpc 9.0.12ubuntu1 [172 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main powerpc libpipeline1 powerpc 1.4.1-2 [24.2 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc man-db powerpc 2.7.6.1-2 [876 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main powerpc fonts-dejavu-core all 2.37-1 [1041 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main powerpc ucf all 3.0036 [52.9 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main powerpc fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:16 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libexpat1 powerpc 2.2.0-2 [64.5 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main powerpc libfreetype6 powerpc 2.6.3-3ubuntu1 [280 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main powerpc libfontconfig1 powerpc 2.11.94-0ubuntu2 [124 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main powerpc fontconfig powerpc 2.11.94-0ubuntu2 [176 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main powerpc libglib2.0-0 powerpc 2.51.0-2 [986 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main powerpc libatk1.0-data all 2.22.0-1 [2844 B] Get:22 http://ftpmaster.internal/ubuntu zesty/main powerpc libatk1.0-0 powerpc 2.22.0-1 [37.2 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main powerpc libjpeg-turbo8 powerpc 1.5.1-0ubuntu1 [102 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main powerpc libjpeg8 powerpc 8c-2ubuntu8 [2200 B] Get:25 http://ftpmaster.internal/ubuntu zesty/main powerpc libjbig0 powerpc 2.1-3.1 [25.3 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main powerpc libtiff5 powerpc 4.0.7-5 [133 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main powerpc libicu57 powerpc 57.1-5 [7477 kB] Get:28 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libxml2 powerpc 2.9.4+dfsg1-2.2 [572 kB] Get:29 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc shared-mime-info powerpc 1.8-1 [418 kB] Get:30 http://ftpmaster.internal/ubuntu zesty/main powerpc libgdk-pixbuf2.0-common all 2.36.4-1 [4266 B] Get:31 http://ftpmaster.internal/ubuntu zesty/main powerpc libgdk-pixbuf2.0-0 powerpc 2.36.4-1 [149 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main powerpc libgtk2.0-common all 2.24.31-1ubuntu1 [124 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main powerpc libpixman-1-0 powerpc 0.34.0-1 [149 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main powerpc libxcb-render0 powerpc 1.11.1-1ubuntu1 [10.5 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main powerpc libxcb-shm0 powerpc 1.11.1-1ubuntu1 [5474 B] Get:36 http://ftpmaster.internal/ubuntu zesty/main powerpc libxrender1 powerpc 1:0.9.10-1 [17.0 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main powerpc libcairo2 powerpc 1.14.8-1 [503 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main powerpc libavahi-common-data powerpc 0.6.32-1ubuntu1 [22.0 kB] Get:39 http://ftpmaster.internal/ubuntu zesty/main powerpc libavahi-common3 powerpc 0.6.32-1ubuntu1 [20.6 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main powerpc libdbus-1-3 powerpc 1.10.10-1ubuntu2 [145 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main powerpc libavahi-client3 powerpc 0.6.32-1ubuntu1 [21.7 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main powerpc libcups2 powerpc 2.2.2-1 [178 kB] Get:43 http://ftpmaster.internal/ubuntu zesty/main powerpc libthai-data all 0.1.26-1 [131 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main powerpc libdatrie1 powerpc 0.2.10-4 [16.0 kB] Get:45 http://ftpmaster.internal/ubuntu zesty/main powerpc libthai0 powerpc 0.1.26-1 [16.1 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main powerpc libpango-1.0-0 powerpc 1.40.3-3 [139 kB] Get:47 http://ftpmaster.internal/ubuntu zesty/main powerpc libgraphite2-3 powerpc 1.3.9-3 [63.8 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main powerpc libharfbuzz0b powerpc 1.4.2-1 [189 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main powerpc libpangoft2-1.0-0 powerpc 1.40.3-3 [30.6 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main powerpc libpangocairo-1.0-0 powerpc 1.40.3-3 [19.2 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main powerpc libxcomposite1 powerpc 1:0.4.4-2 [6766 B] Get:52 http://ftpmaster.internal/ubuntu zesty/main powerpc libxfixes3 powerpc 1:5.0.3-1 [9982 B] Get:53 http://ftpmaster.internal/ubuntu zesty/main powerpc libxcursor1 powerpc 1:1.1.14-1 [22.1 kB] Get:54 http://ftpmaster.internal/ubuntu zesty/main powerpc libxdamage1 powerpc 1:1.1.4-2 [6610 B] Get:55 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libxi6 powerpc 2:1.7.9-1 [27.1 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main powerpc libxinerama1 powerpc 2:1.1.3-1 [7640 B] Get:57 http://ftpmaster.internal/ubuntu zesty/main powerpc libxrandr2 powerpc 2:1.5.1-1 [16.3 kB] Get:58 http://ftpmaster.internal/ubuntu zesty/main powerpc hicolor-icon-theme all 0.15-1 [8378 B] Get:59 http://ftpmaster.internal/ubuntu zesty/main powerpc gtk-update-icon-cache powerpc 3.22.7-1ubuntu2 [26.2 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main powerpc libcroco3 powerpc 0.6.11-2 [68.5 kB] Get:61 http://ftpmaster.internal/ubuntu zesty/main powerpc librsvg2-2 powerpc 2.40.16-1 [88.1 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main powerpc librsvg2-common powerpc 2.40.16-1 [4852 B] Get:63 http://ftpmaster.internal/ubuntu zesty/main powerpc humanity-icon-theme all 0.6.12 [1288 kB] Get:64 http://ftpmaster.internal/ubuntu zesty/main powerpc ubuntu-mono all 16.10+17.04.20161205-0ubuntu1 [160 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main powerpc adwaita-icon-theme all 3.22.0-1ubuntu1 [3358 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main powerpc libgtk2.0-0 powerpc 2.24.31-1ubuntu1 [1501 kB] Get:67 http://ftpmaster.internal/ubuntu zesty/main powerpc libglade2-0 powerpc 1:2.6.4-2 [40.3 kB] Get:68 http://ftpmaster.internal/ubuntu zesty/main powerpc libunistring0 powerpc 0.9.3-5.2ubuntu1 [254 kB] Get:69 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libmagic-mgc powerpc 1:5.29-3 [182 kB] Get:70 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc libmagic1 powerpc 1:5.29-3 [66.6 kB] Get:71 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc file powerpc 1:5.29-3 [21.7 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main powerpc libtext-iconv-perl powerpc 1.7-5build5 [12.5 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main powerpc gettext-base powerpc 0.19.8.1-1ubuntu2 [45.5 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main powerpc libaspell15 powerpc 0.60.7~20110707-3build1 [273 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main powerpc emacsen-common all 2.0.8 [17.6 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main powerpc dictionaries-common all 1.27.2 [186 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main powerpc aspell powerpc 0.60.7~20110707-3build1 [68.6 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main powerpc aspell-en all 2016.11.20-0-0.1 [298 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main powerpc libsigsegv2 powerpc 2.10-5 [13.6 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main powerpc m4 powerpc 1.4.18-1 [186 kB] Get:81 http://ftpmaster.internal/ubuntu zesty/main powerpc autoconf all 2.69-10 [321 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main powerpc autotools-dev all 20161112.1 [39.5 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main powerpc automake all 1:1.15-5ubuntu1 [509 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main powerpc autopoint all 0.19.8.1-1ubuntu2 [412 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/universe powerpc ocaml-base-nox powerpc 4.02.3-6ubuntu2 [431 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main powerpc libtinfo-dev powerpc 6.0+20160625-1ubuntu1 [72.1 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main powerpc libncurses5-dev powerpc 6.0+20160625-1ubuntu1 [163 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/universe powerpc ocaml-compiler-libs powerpc 4.02.3-6ubuntu2 [9469 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/universe powerpc ocaml-interp powerpc 4.02.3-6ubuntu2 [271 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/universe powerpc ocaml-nox powerpc 4.02.3-6ubuntu2 [6493 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/universe powerpc camlidl powerpc 1.05-14build2 [103 kB] Get:92 http://ftpmaster.internal/ubuntu zesty/universe powerpc libcamlp4-ocaml-dev powerpc 4.02.1+3-2 [13.7 MB] Get:93 http://ftpmaster.internal/ubuntu zesty/universe powerpc camlp4 powerpc 4.02.1+3-2 [2720 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/universe powerpc coq-theories powerpc 8.6-4 [22.5 MB] Get:95 http://ftpmaster.internal/ubuntu zesty/main powerpc libhunspell-1.4-0 powerpc 1.4.1-2build1 [126 kB] Get:96 http://ftpmaster.internal/ubuntu zesty/main powerpc libenchant1c2a powerpc 1.6.0-11build1 [61.1 kB] Get:97 http://ftpmaster.internal/ubuntu zesty/main powerpc libgtkspell0 powerpc 2.0.16-1.1ubuntu1 [10.1 kB] Get:98 http://ftpmaster.internal/ubuntu zesty/universe powerpc liblablgtk2-ocaml powerpc 2.18.3+dfsg-2 [638 kB] Get:99 http://ftpmaster.internal/ubuntu zesty/universe powerpc libgtksourceview2.0-common all 2.10.5-2ubuntu2 [434 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/universe powerpc libgtksourceview2.0-0 powerpc 2.10.5-2ubuntu2 [125 kB] Get:101 http://ftpmaster.internal/ubuntu zesty/universe powerpc liblablgtksourceview2-ocaml powerpc 2.18.3+dfsg-2 [81.8 kB] Get:102 http://ftpmaster.internal/ubuntu zesty/universe powerpc libcoq-ocaml powerpc 8.6-4 [3288 kB] Get:103 http://ftpmaster.internal/ubuntu zesty/universe powerpc ocaml-native-compilers powerpc 4.02.3-6ubuntu2 [2065 kB] Get:104 http://ftpmaster.internal/ubuntu zesty/universe powerpc libfindlib-ocaml powerpc 1.6.2-1 [149 kB] Get:105 http://ftpmaster.internal/ubuntu zesty/universe powerpc ocaml-findlib powerpc 1.6.2-1 [246 kB] Get:106 http://ftpmaster.internal/ubuntu zesty/universe powerpc coq powerpc 8.6-4 [12.4 MB] Get:107 http://ftpmaster.internal/ubuntu zesty/main powerpc libtool all 2.4.6-2 [194 kB] Get:108 http://ftpmaster.internal/ubuntu zesty-proposed/main powerpc dh-autoreconf all 13 [15.6 kB] Get:109 http://ftpmaster.internal/ubuntu zesty/main powerpc libarchive-zip-perl all 1.59-1 [84.0 kB] Get:110 http://ftpmaster.internal/ubuntu zesty/main powerpc libfile-stripnondeterminism-perl all 0.029-2 [12.9 kB] Get:111 http://ftpmaster.internal/ubuntu zesty/main powerpc libtimedate-perl all 2.3000-2 [37.5 kB] Get:112 http://ftpmaster.internal/ubuntu zesty/main powerpc dh-strip-nondeterminism all 0.029-2 [4804 B] Get:113 http://ftpmaster.internal/ubuntu zesty/main powerpc gettext powerpc 0.19.8.1-1ubuntu2 [1018 kB] Get:114 http://ftpmaster.internal/ubuntu zesty/main powerpc intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:115 http://ftpmaster.internal/ubuntu zesty/main powerpc po-debconf all 1.0.20 [232 kB] Get:116 http://ftpmaster.internal/ubuntu zesty/main powerpc debhelper all 10.2.2ubuntu1 [742 kB] Get:117 http://ftpmaster.internal/ubuntu zesty/universe powerpc libocamlgraph-ocaml-dev powerpc 1.8.6-1build2 [1151 kB] Get:118 http://ftpmaster.internal/ubuntu zesty/universe powerpc libzarith-ocaml powerpc 1.4.1-1 [24.3 kB] Get:119 http://ftpmaster.internal/ubuntu zesty/universe powerpc libzip-ocaml powerpc 1.06-2 [69.3 kB] Get:120 http://ftpmaster.internal/ubuntu zesty/main powerpc tex-common all 6.06 [545 kB] Get:121 http://ftpmaster.internal/ubuntu zesty/universe powerpc why3 powerpc 0.87.3-2 [6986 kB] Get:122 http://ftpmaster.internal/ubuntu zesty/universe powerpc why3-coq powerpc 0.87.3-2 [4887 kB] Get:123 http://ftpmaster.internal/ubuntu zesty/universe powerpc dh-ocaml all 1.0.10 [80.2 kB] Get:124 http://ftpmaster.internal/ubuntu zesty-proposed/universe powerpc frama-c-base powerpc 20161101+silicon+dfsg-5 [19.1 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 137 MB in 2min 47s (818 kB/s) Selecting previously unselected package libxau6:powerpc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13970 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_powerpc.deb ... Unpacking libxau6:powerpc (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:powerpc. Preparing to unpack .../001-libxdmcp6_1%3a1.1.2-1.1_powerpc.deb ... Unpacking libxdmcp6:powerpc (1:1.1.2-1.1) ... Selecting previously unselected package libxcb1:powerpc. Preparing to unpack .../002-libxcb1_1.11.1-1ubuntu1_powerpc.deb ... Unpacking libxcb1:powerpc (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../003-libx11-data_2%3a1.6.3-1ubuntu3_all.deb ... Unpacking libx11-data (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libx11-6:powerpc. Preparing to unpack .../004-libx11-6_2%3a1.6.3-1ubuntu3_powerpc.deb ... Unpacking libx11-6:powerpc (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libxext6:powerpc. Preparing to unpack .../005-libxext6_2%3a1.3.3-1_powerpc.deb ... Unpacking libxext6:powerpc (2:1.3.3-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../006-groff-base_1.22.3-9_powerpc.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package libbsd0:powerpc. Preparing to unpack .../007-libbsd0_0.8.3-1_powerpc.deb ... Unpacking libbsd0:powerpc (0.8.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../008-bsdmainutils_9.0.12ubuntu1_powerpc.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:powerpc. Preparing to unpack .../009-libpipeline1_1.4.1-2_powerpc.deb ... Unpacking libpipeline1:powerpc (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.7.6.1-2_powerpc.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../011-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../012-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../013-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libexpat1:powerpc. Preparing to unpack .../014-libexpat1_2.2.0-2_powerpc.deb ... Unpacking libexpat1:powerpc (2.2.0-2) ... Selecting previously unselected package libfreetype6:powerpc. Preparing to unpack .../015-libfreetype6_2.6.3-3ubuntu1_powerpc.deb ... Unpacking libfreetype6:powerpc (2.6.3-3ubuntu1) ... Selecting previously unselected package libfontconfig1:powerpc. Preparing to unpack .../016-libfontconfig1_2.11.94-0ubuntu2_powerpc.deb ... Unpacking libfontconfig1:powerpc (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../017-fontconfig_2.11.94-0ubuntu2_powerpc.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package libglib2.0-0:powerpc. Preparing to unpack .../018-libglib2.0-0_2.51.0-2_powerpc.deb ... Unpacking libglib2.0-0:powerpc (2.51.0-2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../019-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:powerpc. Preparing to unpack .../020-libatk1.0-0_2.22.0-1_powerpc.deb ... Unpacking libatk1.0-0:powerpc (2.22.0-1) ... Selecting previously unselected package libjpeg-turbo8:powerpc. Preparing to unpack .../021-libjpeg-turbo8_1.5.1-0ubuntu1_powerpc.deb ... Unpacking libjpeg-turbo8:powerpc (1.5.1-0ubuntu1) ... Selecting previously unselected package libjpeg8:powerpc. Preparing to unpack .../022-libjpeg8_8c-2ubuntu8_powerpc.deb ... Unpacking libjpeg8:powerpc (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:powerpc. Preparing to unpack .../023-libjbig0_2.1-3.1_powerpc.deb ... Unpacking libjbig0:powerpc (2.1-3.1) ... Selecting previously unselected package libtiff5:powerpc. Preparing to unpack .../024-libtiff5_4.0.7-5_powerpc.deb ... Unpacking libtiff5:powerpc (4.0.7-5) ... Selecting previously unselected package libicu57:powerpc. Preparing to unpack .../025-libicu57_57.1-5_powerpc.deb ... Unpacking libicu57:powerpc (57.1-5) ... Selecting previously unselected package libxml2:powerpc. Preparing to unpack .../026-libxml2_2.9.4+dfsg1-2.2_powerpc.deb ... Unpacking libxml2:powerpc (2.9.4+dfsg1-2.2) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../027-shared-mime-info_1.8-1_powerpc.deb ... Unpacking shared-mime-info (1.8-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../028-libgdk-pixbuf2.0-common_2.36.4-1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.4-1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:powerpc. Preparing to unpack .../029-libgdk-pixbuf2.0-0_2.36.4-1_powerpc.deb ... Unpacking libgdk-pixbuf2.0-0:powerpc (2.36.4-1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../030-libgtk2.0-common_2.24.31-1ubuntu1_all.deb ... Unpacking libgtk2.0-common (2.24.31-1ubuntu1) ... Selecting previously unselected package libpixman-1-0:powerpc. Preparing to unpack .../031-libpixman-1-0_0.34.0-1_powerpc.deb ... Unpacking libpixman-1-0:powerpc (0.34.0-1) ... Selecting previously unselected package libxcb-render0:powerpc. Preparing to unpack .../032-libxcb-render0_1.11.1-1ubuntu1_powerpc.deb ... Unpacking libxcb-render0:powerpc (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:powerpc. Preparing to unpack .../033-libxcb-shm0_1.11.1-1ubuntu1_powerpc.deb ... Unpacking libxcb-shm0:powerpc (1.11.1-1ubuntu1) ... Selecting previously unselected package libxrender1:powerpc. Preparing to unpack .../034-libxrender1_1%3a0.9.10-1_powerpc.deb ... Unpacking libxrender1:powerpc (1:0.9.10-1) ... Selecting previously unselected package libcairo2:powerpc. Preparing to unpack .../035-libcairo2_1.14.8-1_powerpc.deb ... Unpacking libcairo2:powerpc (1.14.8-1) ... Selecting previously unselected package libavahi-common-data:powerpc. Preparing to unpack .../036-libavahi-common-data_0.6.32-1ubuntu1_powerpc.deb ... Unpacking libavahi-common-data:powerpc (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:powerpc. Preparing to unpack .../037-libavahi-common3_0.6.32-1ubuntu1_powerpc.deb ... Unpacking libavahi-common3:powerpc (0.6.32-1ubuntu1) ... Selecting previously unselected package libdbus-1-3:powerpc. Preparing to unpack .../038-libdbus-1-3_1.10.10-1ubuntu2_powerpc.deb ... Unpacking libdbus-1-3:powerpc (1.10.10-1ubuntu2) ... Selecting previously unselected package libavahi-client3:powerpc. Preparing to unpack .../039-libavahi-client3_0.6.32-1ubuntu1_powerpc.deb ... Unpacking libavahi-client3:powerpc (0.6.32-1ubuntu1) ... Selecting previously unselected package libcups2:powerpc. Preparing to unpack .../040-libcups2_2.2.2-1_powerpc.deb ... Unpacking libcups2:powerpc (2.2.2-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../041-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:powerpc. Preparing to unpack .../042-libdatrie1_0.2.10-4_powerpc.deb ... Unpacking libdatrie1:powerpc (0.2.10-4) ... Selecting previously unselected package libthai0:powerpc. Preparing to unpack .../043-libthai0_0.1.26-1_powerpc.deb ... Unpacking libthai0:powerpc (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:powerpc. Preparing to unpack .../044-libpango-1.0-0_1.40.3-3_powerpc.deb ... Unpacking libpango-1.0-0:powerpc (1.40.3-3) ... Selecting previously unselected package libgraphite2-3:powerpc. Preparing to unpack .../045-libgraphite2-3_1.3.9-3_powerpc.deb ... Unpacking libgraphite2-3:powerpc (1.3.9-3) ... Selecting previously unselected package libharfbuzz0b:powerpc. Preparing to unpack .../046-libharfbuzz0b_1.4.2-1_powerpc.deb ... Unpacking libharfbuzz0b:powerpc (1.4.2-1) ... Selecting previously unselected package libpangoft2-1.0-0:powerpc. Preparing to unpack .../047-libpangoft2-1.0-0_1.40.3-3_powerpc.deb ... Unpacking libpangoft2-1.0-0:powerpc (1.40.3-3) ... Selecting previously unselected package libpangocairo-1.0-0:powerpc. Preparing to unpack .../048-libpangocairo-1.0-0_1.40.3-3_powerpc.deb ... Unpacking libpangocairo-1.0-0:powerpc (1.40.3-3) ... Selecting previously unselected package libxcomposite1:powerpc. Preparing to unpack .../049-libxcomposite1_1%3a0.4.4-2_powerpc.deb ... Unpacking libxcomposite1:powerpc (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:powerpc. Preparing to unpack .../050-libxfixes3_1%3a5.0.3-1_powerpc.deb ... Unpacking libxfixes3:powerpc (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:powerpc. Preparing to unpack .../051-libxcursor1_1%3a1.1.14-1_powerpc.deb ... Unpacking libxcursor1:powerpc (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:powerpc. Preparing to unpack .../052-libxdamage1_1%3a1.1.4-2_powerpc.deb ... Unpacking libxdamage1:powerpc (1:1.1.4-2) ... Selecting previously unselected package libxi6:powerpc. Preparing to unpack .../053-libxi6_2%3a1.7.9-1_powerpc.deb ... Unpacking libxi6:powerpc (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:powerpc. Preparing to unpack .../054-libxinerama1_2%3a1.1.3-1_powerpc.deb ... Unpacking libxinerama1:powerpc (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:powerpc. Preparing to unpack .../055-libxrandr2_2%3a1.5.1-1_powerpc.deb ... Unpacking libxrandr2:powerpc (2:1.5.1-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../056-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../057-gtk-update-icon-cache_3.22.7-1ubuntu2_powerpc.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.22.7-1ubuntu2) ... Selecting previously unselected package libcroco3:powerpc. Preparing to unpack .../058-libcroco3_0.6.11-2_powerpc.deb ... Unpacking libcroco3:powerpc (0.6.11-2) ... Selecting previously unselected package librsvg2-2:powerpc. Preparing to unpack .../059-librsvg2-2_2.40.16-1_powerpc.deb ... Unpacking librsvg2-2:powerpc (2.40.16-1) ... Selecting previously unselected package librsvg2-common:powerpc. Preparing to unpack .../060-librsvg2-common_2.40.16-1_powerpc.deb ... Unpacking librsvg2-common:powerpc (2.40.16-1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../061-humanity-icon-theme_0.6.12_all.deb ... Unpacking humanity-icon-theme (0.6.12) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../062-ubuntu-mono_16.10+17.04.20161205-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.04.20161205-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../063-adwaita-icon-theme_3.22.0-1ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.22.0-1ubuntu1) ... Selecting previously unselected package libgtk2.0-0:powerpc. Preparing to unpack .../064-libgtk2.0-0_2.24.31-1ubuntu1_powerpc.deb ... Unpacking libgtk2.0-0:powerpc (2.24.31-1ubuntu1) ... Selecting previously unselected package libglade2-0:powerpc. Preparing to unpack .../065-libglade2-0_1%3a2.6.4-2_powerpc.deb ... Unpacking libglade2-0:powerpc (1:2.6.4-2) ... Selecting previously unselected package libunistring0:powerpc. Preparing to unpack .../066-libunistring0_0.9.3-5.2ubuntu1_powerpc.deb ... Unpacking libunistring0:powerpc (0.9.3-5.2ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../067-libmagic-mgc_1%3a5.29-3_powerpc.deb ... Unpacking libmagic-mgc (1:5.29-3) ... Selecting previously unselected package libmagic1:powerpc. Preparing to unpack .../068-libmagic1_1%3a5.29-3_powerpc.deb ... Unpacking libmagic1:powerpc (1:5.29-3) ... Selecting previously unselected package file. Preparing to unpack .../069-file_1%3a5.29-3_powerpc.deb ... Unpacking file (1:5.29-3) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../070-libtext-iconv-perl_1.7-5build5_powerpc.deb ... Unpacking libtext-iconv-perl (1.7-5build5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../071-gettext-base_0.19.8.1-1ubuntu2_powerpc.deb ... Unpacking gettext-base (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libaspell15:powerpc. Preparing to unpack .../072-libaspell15_0.60.7~20110707-3build1_powerpc.deb ... Unpacking libaspell15:powerpc (0.60.7~20110707-3build1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../073-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../074-dictionaries-common_1.27.2_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.27.2) ... Selecting previously unselected package aspell. Preparing to unpack .../075-aspell_0.60.7~20110707-3build1_powerpc.deb ... Unpacking aspell (0.60.7~20110707-3build1) ... Selecting previously unselected package aspell-en. Preparing to unpack .../076-aspell-en_2016.11.20-0-0.1_all.deb ... Unpacking aspell-en (2016.11.20-0-0.1) ... Selecting previously unselected package libsigsegv2:powerpc. Preparing to unpack .../077-libsigsegv2_2.10-5_powerpc.deb ... Unpacking libsigsegv2:powerpc (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../078-m4_1.4.18-1_powerpc.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../079-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../080-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../081-automake_1%3a1.15-5ubuntu1_all.deb ... Unpacking automake (1:1.15-5ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../082-autopoint_0.19.8.1-1ubuntu2_all.deb ... Unpacking autopoint (0.19.8.1-1ubuntu2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../083-ocaml-base-nox_4.02.3-6ubuntu2_powerpc.deb ... Unpacking ocaml-base-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package libtinfo-dev:powerpc. Preparing to unpack .../084-libtinfo-dev_6.0+20160625-1ubuntu1_powerpc.deb ... Unpacking libtinfo-dev:powerpc (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:powerpc. Preparing to unpack .../085-libncurses5-dev_6.0+20160625-1ubuntu1_powerpc.deb ... Unpacking libncurses5-dev:powerpc (6.0+20160625-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../086-ocaml-compiler-libs_4.02.3-6ubuntu2_powerpc.deb ... Unpacking ocaml-compiler-libs (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../087-ocaml-interp_4.02.3-6ubuntu2_powerpc.deb ... Unpacking ocaml-interp (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../088-ocaml-nox_4.02.3-6ubuntu2_powerpc.deb ... Unpacking ocaml-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package camlidl. Preparing to unpack .../089-camlidl_1.05-14build2_powerpc.deb ... Unpacking camlidl (1.05-14build2) ... Selecting previously unselected package libcamlp4-ocaml-dev. Preparing to unpack .../090-libcamlp4-ocaml-dev_4.02.1+3-2_powerpc.deb ... Unpacking libcamlp4-ocaml-dev (4.02.1+3-2) ... Selecting previously unselected package camlp4. Preparing to unpack .../091-camlp4_4.02.1+3-2_powerpc.deb ... Unpacking camlp4 (4.02.1+3-2) ... Selecting previously unselected package coq-theories. Preparing to unpack .../092-coq-theories_8.6-4_powerpc.deb ... Unpacking coq-theories (8.6-4) ... Selecting previously unselected package libhunspell-1.4-0:powerpc. Preparing to unpack .../093-libhunspell-1.4-0_1.4.1-2build1_powerpc.deb ... Unpacking libhunspell-1.4-0:powerpc (1.4.1-2build1) ... Selecting previously unselected package libenchant1c2a:powerpc. Preparing to unpack .../094-libenchant1c2a_1.6.0-11build1_powerpc.deb ... Unpacking libenchant1c2a:powerpc (1.6.0-11build1) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../095-libgtkspell0_2.0.16-1.1ubuntu1_powerpc.deb ... Unpacking libgtkspell0 (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../096-liblablgtk2-ocaml_2.18.3+dfsg-2_powerpc.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../097-libgtksourceview2.0-common_2.10.5-2ubuntu2_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-2ubuntu2) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../098-libgtksourceview2.0-0_2.10.5-2ubuntu2_powerpc.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu2) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../099-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_powerpc.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../100-libcoq-ocaml_8.6-4_powerpc.deb ... Unpacking libcoq-ocaml (8.6-4) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../101-ocaml-native-compilers_4.02.3-6ubuntu2_powerpc.deb ... Unpacking ocaml-native-compilers (4.02.3-6ubuntu2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../102-libfindlib-ocaml_1.6.2-1_powerpc.deb ... Unpacking libfindlib-ocaml (1.6.2-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../103-ocaml-findlib_1.6.2-1_powerpc.deb ... Unpacking ocaml-findlib (1.6.2-1) ... Selecting previously unselected package coq. Preparing to unpack .../104-coq_8.6-4_powerpc.deb ... Unpacking coq (8.6-4) ... Selecting previously unselected package libtool. Preparing to unpack .../105-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../106-dh-autoreconf_13_all.deb ... Unpacking dh-autoreconf (13) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../107-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../108-libfile-stripnondeterminism-perl_0.029-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.029-2) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../109-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../110-dh-strip-nondeterminism_0.029-2_all.deb ... Unpacking dh-strip-nondeterminism (0.029-2) ... Selecting previously unselected package gettext. Preparing to unpack .../111-gettext_0.19.8.1-1ubuntu2_powerpc.deb ... Unpacking gettext (0.19.8.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../112-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../113-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../114-debhelper_10.2.2ubuntu1_all.deb ... Unpacking debhelper (10.2.2ubuntu1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../115-libocamlgraph-ocaml-dev_1.8.6-1build2_powerpc.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.6-1build2) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../116-libzarith-ocaml_1.4.1-1_powerpc.deb ... Unpacking libzarith-ocaml (1.4.1-1) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../117-libzip-ocaml_1.06-2_powerpc.deb ... Unpacking libzip-ocaml (1.06-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../118-tex-common_6.06_all.deb ... Unpacking tex-common (6.06) ... Selecting previously unselected package why3. Preparing to unpack .../119-why3_0.87.3-2_powerpc.deb ... Unpacking why3 (0.87.3-2) ... Selecting previously unselected package why3-coq. Preparing to unpack .../120-why3-coq_0.87.3-2_powerpc.deb ... Unpacking why3-coq (0.87.3-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../121-dh-ocaml_1.0.10_all.deb ... Unpacking dh-ocaml (1.0.10) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../122-frama-c-base_20161101+silicon+dfsg-5_powerpc.deb ... Unpacking frama-c-base (20161101+silicon+dfsg-5) ... Selecting previously unselected package sbuild-build-depends-why-dummy. Preparing to unpack .../123-sbuild-build-depends-why-dummy_0.invalid.0_powerpc.deb ... Unpacking sbuild-build-depends-why-dummy (0.invalid.0) ... Setting up libexpat1:powerpc (2.2.0-2) ... Setting up libgtk2.0-common (2.24.31-1ubuntu1) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:powerpc (2.1-3.1) ... Setting up libsigsegv2:powerpc (2.10-5) ... Setting up libaspell15:powerpc (0.60.7~20110707-3build1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:powerpc (2.51.0-2) ... No schema files found: doing nothing. Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.02.3-6ubuntu2) ... Setting up libtinfo-dev:powerpc (6.0+20160625-1ubuntu1) ... Setting up dh-ocaml (1.0.10) ... Setting up libgdk-pixbuf2.0-common (2.36.4-1) ... Setting up libdatrie1:powerpc (0.2.10-4) ... Setting up gettext-base (0.19.8.1-1ubuntu2) ... Setting up libjpeg-turbo8:powerpc (1.5.1-0ubuntu1) ... Setting up libpipeline1:powerpc (1.4.1-2) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:powerpc (57.1-5) ... Setting up libbsd0:powerpc (0.8.3-1) ... Setting up ucf (3.0036) ... Setting up libxml2:powerpc (2.9.4+dfsg1-2.2) ... Setting up libfreetype6:powerpc (2.6.3-3ubuntu1) ... Setting up libmagic-mgc (1:5.29-3) ... Setting up libmagic1:powerpc (1:5.29-3) ... Setting up libgraphite2-3:powerpc (1.3.9-3) ... Setting up libcroco3:powerpc (0.6.11-2) ... Setting up libncurses5-dev:powerpc (6.0+20160625-1ubuntu1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libpixman-1-0:powerpc (0.34.0-1) ... Setting up libgtksourceview2.0-common (2.10.5-2ubuntu2) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Setting up autotools-dev (20161112.1) ... Setting up libunistring0:powerpc (0.9.3-5.2ubuntu1) ... Setting up libatk1.0-0:powerpc (2.22.0-1) ... Setting up libtext-iconv-perl (1.7-5build5) ... Setting up shared-mime-info (1.8-1) ... Setting up libzarith-ocaml (1.4.1-1) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:powerpc (1:1.1.2-1.1) ... Setting up bsdmainutils (9.0.12ubuntu1) ... 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 hicolor-icon-theme (0.15-1) ... Setting up libzip-ocaml (1.06-2) ... Setting up libfindlib-ocaml (1.6.2-1) ... Setting up libhunspell-1.4-0:powerpc (1.4.1-2build1) ... Setting up ocaml-findlib (1.6.2-1) ... Setting up libx11-data (2:1.6.3-1ubuntu3) ... Setting up libxau6:powerpc (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-1ubuntu2) ... Setting up libdbus-1-3:powerpc (1.10.10-1ubuntu2) ... Setting up libavahi-common-data:powerpc (0.6.32-1ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.029-2) ... Setting up libjpeg8:powerpc (8c-2ubuntu8) ... Setting up fontconfig-config (2.11.94-0ubuntu2) ... Setting up tex-common (6.06) ... update-language: texlive-base not installed and configured, doing nothing! Setting up gettext (0.19.8.1-1ubuntu2) ... Setting up dictionaries-common (1.27.2) ... Setting up libharfbuzz0b:powerpc (1.4.2-1) ... Setting up libtiff5:powerpc (4.0.7-5) ... Setting up autoconf (2.69-10) ... Setting up libthai0:powerpc (0.1.26-1) ... Setting up file (1:5.29-3) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15-5ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:powerpc (0.6.32-1ubuntu1) ... Setting up aspell (0.60.7~20110707-3build1) ... Setting up libxcb1:powerpc (1.11.1-1ubuntu1) ... Setting up libtool (2.4.6-2) ... Setting up libfontconfig1:powerpc (2.11.94-0ubuntu2) ... Setting up libxcb-render0:powerpc (1.11.1-1ubuntu1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:powerpc (2:1.6.3-1ubuntu3) ... Setting up aspell-en (2016.11.20-0-0.1) ... Setting up libxcomposite1:powerpc (1:0.4.4-2) ... Setting up libxcb-shm0:powerpc (1.11.1-1ubuntu1) ... Setting up libxrender1:powerpc (1:0.9.10-1) ... Setting up libavahi-client3:powerpc (0.6.32-1ubuntu1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:powerpc (2.2.2-1) ... Setting up libenchant1c2a:powerpc (1.6.0-11build1) ... Setting up libxdamage1:powerpc (1:1.1.4-2) ... Setting up libxext6:powerpc (2:1.3.3-1) ... Setting up libxfixes3:powerpc (1:5.0.3-1) ... Setting up libgdk-pixbuf2.0-0:powerpc (2.36.4-1) ... Setting up gtk-update-icon-cache (3.22.7-1ubuntu2) ... Setting up libxcursor1:powerpc (1:1.1.14-1) ... Setting up libpango-1.0-0:powerpc (1.40.3-3) ... Setting up libxrandr2:powerpc (2:1.5.1-1) ... Setting up libxi6:powerpc (2:1.7.9-1) ... Setting up libcairo2:powerpc (1.14.8-1) ... Setting up libxinerama1:powerpc (2:1.1.3-1) ... Setting up libpangoft2-1.0-0:powerpc (1.40.3-3) ... Setting up libpangocairo-1.0-0:powerpc (1.40.3-3) ... Setting up librsvg2-2:powerpc (2.40.16-1) ... Setting up librsvg2-common:powerpc (2.40.16-1) ... Setting up coq-theories (8.6-4) ... Setting up adwaita-icon-theme (3.22.0-1ubuntu1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up ocaml-compiler-libs (4.02.3-6ubuntu2) ... Setting up libgtk2.0-0:powerpc (2.24.31-1ubuntu1) ... Setting up dh-autoreconf (13) ... Setting up libgtksourceview2.0-0 (2.10.5-2ubuntu2) ... Setting up humanity-icon-theme (0.6.12) ... Setting up ocaml-interp (4.02.3-6ubuntu2) ... Setting up libgtkspell0 (2.0.16-1.1ubuntu1) ... Setting up libglade2-0:powerpc (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.029-2) ... Setting up debhelper (10.2.2ubuntu1) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-2) ... Setting up ocaml-nox (4.02.3-6ubuntu2) ... Setting up ubuntu-mono (16.10+17.04.20161205-0ubuntu1) ... Setting up libocamlgraph-ocaml-dev (1.8.6-1build2) ... Setting up why3 (0.87.3-2) ... Setting up ocaml-native-compilers (4.02.3-6ubuntu2) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Setting up frama-c-base (20161101+silicon+dfsg-5) ... Setting up libcamlp4-ocaml-dev (4.02.1+3-2) ... Setting up camlidl (1.05-14build2) ... Setting up camlp4 (4.02.1+3-2) ... Setting up libcoq-ocaml (8.6-4) ... Setting up coq (8.6-4) ... 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 why3-coq (0.87.3-2) ... Setting up sbuild-build-depends-why-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Processing triggers for dictionaries-common (1.27.2) ... aspell-autobuildhash: processing: en [en-common]. aspell-autobuildhash: processing: en [en-variant_0]. aspell-autobuildhash: processing: en [en-variant_1]. aspell-autobuildhash: processing: en [en-variant_2]. aspell-autobuildhash: processing: en [en-w_accents-only]. aspell-autobuildhash: processing: en [en-wo_accents-only]. aspell-autobuildhash: processing: en [en_AU-variant_0]. aspell-autobuildhash: processing: en [en_AU-variant_1]. aspell-autobuildhash: processing: en [en_AU-w_accents-only]. aspell-autobuildhash: processing: en [en_AU-wo_accents-only]. aspell-autobuildhash: processing: en [en_CA-variant_0]. aspell-autobuildhash: processing: en [en_CA-variant_1]. aspell-autobuildhash: processing: en [en_CA-w_accents-only]. aspell-autobuildhash: processing: en [en_CA-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-variant_0]. aspell-autobuildhash: processing: en [en_GB-variant_1]. aspell-autobuildhash: processing: en [en_US-w_accents-only]. aspell-autobuildhash: processing: en [en_US-wo_accents-only]. Processing triggers for libgdk-pixbuf2.0-0:powerpc (2.36.4-1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-53-powerpc64-smp powerpc (ppc) Toolchain package versions: binutils_2.27.90.20170118-1ubuntu1 dpkg-dev_1.18.10ubuntu1 g++-6_6.3.0-5ubuntu1 gcc-6_6.3.0-5ubuntu1 libc6-dev_2.24-7ubuntu2 libstdc++-6-dev_6.3.0-5ubuntu1 libstdc++6_6.3.0-5ubuntu1 linux-libc-dev_4.9.0-16.17 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_1.20-1 adwaita-icon-theme_3.22.0-1ubuntu1 apt_1.4~beta4ubuntu1 apt-transport-https_1.4~beta4ubuntu1 aspell_0.60.7~20110707-3build1 aspell-en_2016.11.20-0-0.1 autoconf_2.69-10 automake_1:1.15-5ubuntu1 autopoint_0.19.8.1-1ubuntu2 autotools-dev_20161112.1 base-files_9.6ubuntu9 base-passwd_3.5.43 bash_4.4-2ubuntu1 binutils_2.27.90.20170118-1ubuntu1 bsdmainutils_9.0.12ubuntu1 bsdutils_1:2.29-1ubuntu2 build-essential_12.1ubuntu2 bzip2_1.0.6-8.1 ca-certificates_20161130 camlidl_1.05-14build2 camlp4_4.02.1+3-2 coq_8.6-4 coq-theories_8.6-4 coreutils_8.25-2ubuntu2 cpp_4:6.3.0-1ubuntu3 cpp-6_6.3.0-5ubuntu1 dash_0.5.8-2.3ubuntu1 debconf_1.5.59ubuntu1 debhelper_10.2.2ubuntu1 debianutils_4.8.1 dh-autoreconf_13 dh-ocaml_1.0.10 dh-strip-nondeterminism_0.029-2 dictionaries-common_1.27.2 diffutils_1:3.5-3 dmsetup_2:1.02.136-1ubuntu1 dpkg_1.18.10ubuntu1 dpkg-dev_1.18.10ubuntu1 e2fslibs_1.43.4-2 e2fsprogs_1.43.4-2 emacsen-common_2.0.8 fakeroot_1.21-1ubuntu2 file_1:5.29-3 findutils_4.6.0+git+20161106-1 fontconfig_2.11.94-0ubuntu2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 frama-c-base_20161101+silicon+dfsg-5 g++_4:6.3.0-1ubuntu3 g++-6_6.3.0-5ubuntu1 gcc_4:6.3.0-1ubuntu3 gcc-6_6.3.0-5ubuntu1 gcc-6-base_6.3.0-5ubuntu1 gettext_0.19.8.1-1ubuntu2 gettext-base_0.19.8.1-1ubuntu2 gnupg_2.1.15-1ubuntu6 gnupg-agent_2.1.15-1ubuntu6 gpgv_2.1.15-1ubuntu6 grep_2.27-2 groff-base_1.22.3-9 gtk-update-icon-cache_3.22.7-1ubuntu2 gzip_1.6-4ubuntu1 hicolor-icon-theme_0.15-1 hostname_3.18 humanity-icon-theme_0.6.12 init_1.47 init-system-helpers_1.47 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3 libapparmor1_2.10.95-4ubuntu5.2 libapt-pkg5.0_1.4~beta4ubuntu1 libarchive-zip-perl_1.59-1 libasan3_6.3.0-5ubuntu1 libasn1-8-heimdal_7.1.0+dfsg-9 libaspell15_0.60.7~20110707-3build1 libassuan0_2.4.3-2 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatomic1_6.3.0-5ubuntu1 libattr1_1:2.4.47-2 libaudit-common_1:2.6.6-1ubuntu1 libaudit1_1:2.6.6-1ubuntu1 libavahi-client3_0.6.32-1ubuntu1 libavahi-common-data_0.6.32-1ubuntu1 libavahi-common3_0.6.32-1ubuntu1 libblkid1_2.29-1ubuntu2 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.24-7ubuntu2 libc-dev-bin_2.24-7ubuntu2 libc6_2.24-7ubuntu2 libc6-dev_2.24-7ubuntu2 libcairo2_1.14.8-1 libcamlp4-ocaml-dev_4.02.1+3-2 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_6.3.0-5ubuntu1 libcomerr2_1.43.4-2 libcoq-ocaml_8.6-4 libcroco3_0.6.11-2 libcryptsetup4_2:1.7.2-0ubuntu1 libcups2_2.2.2-1 libcurl3-gnutls_7.51.0-1ubuntu1 libdatrie1_0.2.10-4 libdb5.3_5.3.28-12 libdbus-1-3_1.10.10-1ubuntu2 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.136-1ubuntu1 libdpkg-perl_1.18.10ubuntu1 libenchant1c2a_1.6.0-11build1 libexpat1_2.2.0-2 libfakeroot_1.21-1ubuntu2 libfdisk1_2.29-1ubuntu2 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.029-2 libfindlib-ocaml_1.6.2-1 libfontconfig1_2.11.94-0ubuntu2 libfreetype6_2.6.3-3ubuntu1 libgcc-6-dev_6.3.0-5ubuntu1 libgcc1_1:6.3.0-5ubuntu1 libgcrypt20_1.7.6-1 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.4-1 libgdk-pixbuf2.0-common_2.36.4-1 libglade2-0_1:2.6.4-2 libglib2.0-0_2.51.0-2 libgmp10_2:6.1.2+dfsg-1 libgnutls30_3.5.6-4ubuntu3 libgomp1_6.3.0-5ubuntu1 libgpg-error0_1.26-2 libgraphite2-3_1.3.9-3 libgssapi-krb5-2_1.15-1 libgssapi3-heimdal_7.1.0+dfsg-9 libgtk2.0-0_2.24.31-1ubuntu1 libgtk2.0-common_2.24.31-1ubuntu1 libgtksourceview2.0-0_2.10.5-2ubuntu2 libgtksourceview2.0-common_2.10.5-2ubuntu2 libgtkspell0_2.0.16-1.1ubuntu1 libharfbuzz0b_1.4.2-1 libhcrypto4-heimdal_7.1.0+dfsg-9 libheimbase1-heimdal_7.1.0+dfsg-9 libheimntlm0-heimdal_7.1.0+dfsg-9 libhogweed4_3.3-1 libhunspell-1.4-0_1.4.1-2build1 libhx509-5-heimdal_7.1.0+dfsg-9 libicu57_57.1-5 libidn11_1.33-1 libip4tc0_1.6.0-3ubuntu2 libisl15_0.18-1 libjbig0_2.1-3.1 libjpeg-turbo8_1.5.1-0ubuntu1 libjpeg8_8c-2ubuntu8 libk5crypto3_1.15-1 libkeyutils1_1.5.9-9ubuntu1 libkmod2_22-1.1ubuntu1 libkrb5-26-heimdal_7.1.0+dfsg-9 libkrb5-3_1.15-1 libkrb5support0_1.15-1 libksba8_1.3.5-2 liblablgtk2-ocaml_2.18.3+dfsg-2 liblablgtksourceview2-ocaml_2.18.3+dfsg-2 libldap-2.4-2_2.4.42+dfsg-2ubuntu5 liblockfile-bin_1.09-6ubuntu1 liblockfile1_1.09-6ubuntu1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.2 libmagic-mgc_1:5.29-3 libmagic1_1:5.29-3 libmount1_2.29-1ubuntu2 libmpc3_1.0.3-1 libmpfr4_3.1.5-1 libncurses5_6.0+20160625-1ubuntu1 libncurses5-dev_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.3-1 libocamlgraph-ocaml-dev_1.8.6-1build2 libp11-kit0_0.23.3-5 libpam-modules_1.1.8-3.2ubuntu2 libpam-modules-bin_1.1.8-3.2ubuntu2 libpam-runtime_1.1.8-3.2ubuntu2 libpam0g_1.1.8-3.2ubuntu2 libpango-1.0-0_1.40.3-3 libpangocairo-1.0-0_1.40.3-3 libpangoft2-1.0-0_1.40.3-3 libpcre3_2:8.39-2 libperl5.22_5.22.2-3 libperl5.24_5.24.1-1 libpipeline1_1.4.1-2 libpixman-1-0_0.34.0-1 libpng16-16_1.6.28-1 libprocps6_2:3.3.12-1ubuntu2 libreadline7_7.0-0ubuntu2 libroken18-heimdal_7.1.0+dfsg-9 librsvg2-2_2.40.16-1 librsvg2-common_2.40.16-1 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~72-g88d82a3+dfsg-1 libsasl2-modules-db_2.1.27~72-g88d82a3+dfsg-1 libseccomp2_2.3.1-2.1ubuntu1 libselinux1_2.6-3 libsemanage-common_2.6-2 libsemanage1_2.6-2 libsepol1_2.6-2 libsigsegv2_2.10-5 libslang2_2.3.1-5ubuntu1 libsmartcols1_2.29-1ubuntu2 libsqlite3-0_3.16.2-2 libss2_1.43.4-2 libssl1.0.0_1.0.2g-1ubuntu11 libstdc++-6-dev_6.3.0-5ubuntu1 libstdc++6_6.3.0-5ubuntu1 libsystemd0_232-10ubuntu1 libtasn1-6_4.10-1 libtext-iconv-perl_1.7-5build5 libthai-data_0.1.26-1 libthai0_0.1.26-1 libtiff5_4.0.7-5 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 libubsan0_6.3.0-5ubuntu1 libudev1_232-10ubuntu1 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-6 libuuid1_2.29-1ubuntu2 libwind0-heimdal_7.1.0+dfsg-9 libx11-6_2:1.6.3-1ubuntu3 libx11-data_2:1.6.3-1ubuntu3 libxau6_1:1.0.8-1 libxcb-render0_1.11.1-1ubuntu1 libxcb-shm0_1.11.1-1ubuntu1 libxcb1_1.11.1-1ubuntu1 libxcomposite1_1:0.4.4-2 libxcursor1_1:1.1.14-1 libxdamage1_1:1.1.4-2 libxdmcp6_1:1.1.2-1.1 libxext6_2:1.3.3-1 libxfixes3_1:5.0.3-1 libxi6_2:1.7.9-1 libxinerama1_2:1.1.3-1 libxml2_2.9.4+dfsg1-2.2 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libzarith-ocaml_1.4.1-1 libzip-ocaml_1.06-2 linux-libc-dev_4.9.0-16.17 lockfile-progs_0.1.17 login_1:4.2-3.2ubuntu1 lsb-base_9.20160110ubuntu5 m4_1.4.18-1 make_4.1-9 man-db_2.7.6.1-2 mawk_1.3.3-17ubuntu2 mount_2.29-1ubuntu2 multiarch-support_2.24-7ubuntu2 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 ocaml-base-nox_4.02.3-6ubuntu2 ocaml-compiler-libs_4.02.3-6ubuntu2 ocaml-findlib_1.6.2-1 ocaml-interp_4.02.3-6ubuntu2 ocaml-native-compilers_4.02.3-6ubuntu2 ocaml-nox_4.02.3-6ubuntu2 openssl_1.0.2g-1ubuntu11 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu1 patch_2.7.5-1 perl_5.24.1-1 perl-base_5.24.1-1 perl-modules-5.22_5.22.2-3 perl-modules-5.24_5.24.1-1 pinentry-curses_1.0.0-1 pkg-create-dbgsym_0.73 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-why-dummy_0.invalid.0 sed_4.3-3 sensible-utils_0.0.9 shared-mime-info_1.8-1 systemd_232-10ubuntu1 systemd-sysv_232-10ubuntu1 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 tar_1.29b-1.1 tex-common_6.06 tzdata_2016j-2 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.04.20161205-0ubuntu1 ucf_3.0036 util-linux_2.29-1ubuntu2 why3_0.87.3-2 why3-coq_0.87.3-2 xz-utils_5.2.2-1.2 zlib1g_1:1.2.8.dfsg-4ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Thu Feb 2 06:10:53 2017 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./why_2.36-5build2.dsc dpkg-source: info: extracting why in why-2.36 dpkg-source: info: unpacking why_2.36.orig.tar.gz dpkg-source: info: unpacking why_2.36-5build2.debian.tar.xz dpkg-source: info: applying bprintf dpkg-source: info: applying edge dpkg-source: info: applying reproducible_build Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/home/buildd LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd MAIL=/var/mail/buildd OLDPWD=/ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games PWD=/<> SHELL=/bin/sh SUDO_COMMAND=/usr/sbin/chroot /<> su buildd -s /bin/sh -c cd '/<>' && 'env' SUDO_GID=2501 SUDO_UID=2001 SUDO_USER=buildd TERM=unknown USER=buildd USERNAME=root dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package why dpkg-buildpackage: info: source version 2.36-5build2 dpkg-buildpackage: info: source distribution zesty dpkg-source --before-build why-2.36 dpkg-buildpackage: info: host architecture powerpc fakeroot debian/rules clean dh clean --with ocaml --no-parallel dh_testdir -O--no-parallel rm -f debian/*.debhelper.log debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' [ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian [ ! -f Makefile.debian ] || /usr/bin/make -f Makefile.debian clean rm -f -f lib/coq/*.glob make[1]: Leaving directory '/<>' dh_autoreconf_clean -O--no-parallel dh_ocamlclean -O--no-parallel rm -f ocamlinit-stamp dh_clean -O--no-parallel rm -f debian/debhelper-build-stamp rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ rm -f debian/libwhy-coq.substvars rm -f debian/libwhy-coq.*.debhelper rm -rf debian/libwhy-coq/ rm -rf debian/.debhelper/ rm -f debian/*.debhelper.log rm -f debian/files rm -f -- Makefile Makefile.debian a.out bin/gwhy.opt bin/krakatoa.opt bin/simplify2why.opt bin/why-config.opt config.status config.log bench/bench config/check_ocamlgraph.cmi config/check_ocamlgraph.cmo config/check_ocamlgraph.cmx config/check_ocamlgraph.o doc/version.tex jc/jc.a jc/jc.cma jc/jc.cmxa lib/coq/WhyCoqCompat.vo lib/why/arrays_why.v lib/why/floats_why.v lib/why/prelude_why.v mix/mix_parser.output regtest.opt tools/simplify_parser.output tools/toolstat_pars.output find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) rm -f *-stamp debian/rules build-arch dh build-arch --with ocaml --no-parallel dh_testdir -a -O--no-parallel dh_update_autotools_config -a -O--no-parallel dh_autoreconf -a -O--no-parallel find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + > debian/autoreconf.before autoreconf -f -i aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + > debian/autoreconf.after dh_ocamlinit -a -O--no-parallel touch ocamlinit-stamp rm -f debian/*.debhelper.log debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure \ --host=powerpc-linux-gnu \ --build=powerpc-linux-gnu \ --prefix=/usr \ --libdir=/usr/share \ --mandir=\${prefix}/share/man \ --infodir=\${prefix}/share/info \ LDFLAGS="-Wl,-z,defs" checking for ocamlc... ocamlc ocaml version is 4.02.3 ocaml library path is /usr/lib/ocaml checking for ocamlfind... yes checking OS dependent settings... Unix checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt ocamlfind found ocamlgraph in /usr/lib/ocaml/ocamlgraph checking for ocamlweb... true checking for frama-c... /usr/bin/frama-c checking Frama-c version... Silicon-20161101 configure: WARNING: bad Frama-c version "Silicon-20161101", you need version Magnesium checking for why3... /usr/bin/why3 checking Why3 version... 0.87.3 checking for coqc... /usr/bin/coqc checking for coqdep... coqdep checking Coq version... 8.6 checking Coq realizations for Why3... yes checking for pvs... no configure: WARNING: Cannot find PVS. configure: creating ./config.status config.status: creating Makefile Summary ----------------------------------------- OCaml version : 4.02.3 OCaml library path : /usr/lib/ocaml OcamlGraph lib : found by ocamlfind Verbose make : no Inference of annotations : no Why3 support : yes Binary : /usr/bin/why3 Version : 0.87.3 Frama-C plugin : no Coq support (via Why3) : yes Binary : /usr/bin/coqc Version : v8 (8.6) Libraries : /usr/lib/coq PVS support (via Why3) : no command 'pvs' not found Other provers support : (via Why3) make[1]: Leaving directory '/<>' rm -f debian/*.debhelper.log debian/rules override_dh_auto_build make[1]: Entering directory '/<>' mkdir -p bin dh_auto_build make -j1 make[2]: Entering directory '/<>' ocamllex.opt jc/numconst.mll 71 states, 764 transitions, table size 3482 bytes rm -f jc/jc_stdlib.ml case 4.02.3 in \ 3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml jc/jc_stdlib.ml ;; \ 3.12*) cp jc/jc_stdlib_ge312.ml jc/jc_stdlib.ml ;; \ 4.0*) cp jc/jc_stdlib_ge400.ml jc/jc_stdlib.ml ;; \ esac chmod -w jc/jc_stdlib.ml ocamllex.opt jc/jc_lexer.mll 526 states, 32030 transitions, table size 131276 bytes 16374 additional bytes used for bindings ocamlyacc -v jc/jc_parser.mly 1 shift/reduce conflict. if test "no" = "yes" ; then \ echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \ else \ echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \ fi ocamlyacc -v java/java_parser.mly ocamllex.opt java/java_lexer.mll 168 states, 1957 transitions, table size 8836 bytes 4503 additional bytes used for bindings ocamllex.opt mix/mix_lexer.mll 65 states, 434 transitions, table size 2126 bytes ocamlyacc -v mix/mix_parser.mly printf "[main]\n" > lib/why3/why3.conf printf "loadpath=\"/usr/share/why/why3\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[prover_modifiers]\n" >> lib/why3/why3.conf printf "name=\"Coq\"\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "driver=\"/usr/share/why/why3/coq.drv\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers coqide]\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers proofgeneral-coq]\n" >> lib/why3/why3.conf printf "option=\"--eval \\\\\"(setq coq-load-path (cons '(\\\\\\\\\\\\\"/usr/share/why/coq\\\\\\\\\\\\\" \\\\\\\\\\\\\"Why\\\\\\\\\\\\\") coq-load-path))\\\\\"\"\n" >> lib/why3/why3.conf rm -f .depend ocamldep.opt -slash -I src -I jc -I java -I mix -I tools src/*.ml src/*.mli jc/*.mli jc/*.ml java/*.mli java/*.ml mix/*.mli mix/*.ml > .depend BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8 ./version.sh Ocamlopt src/version.ml Ocamlc src/lib.mli Ocamlopt src/lib.ml Ocamlc src/rc.mli Ocamlopt src/rc.ml Ocamlc src/loc.mli Ocamlopt src/loc.ml Ocamlc src/ident.mli Ocamlopt src/ident.ml Ocamlc src/logic.mli Ocamlopt src/print_real.ml Ocamlc src/effect.mli Ocamlopt src/effect.ml Ocamlc src/pp.mli Ocamlopt src/pp.ml Ocamlc src/option_misc.mli Ocamlopt src/option_misc.ml Ocamlc src/types.mli Ocamlc src/ptree.mli Ocamlc src/parser.mli Ocamlopt src/parser.ml Ocamlc src/lexer.mli Ocamlopt src/lexer.ml Ocamlc src/error.mli Ocamlc src/report.mli Ocamlopt src/report.ml Ocamlc src/cc.mli Ocamlc src/ast.mli Ocamlc src/env.mli Ocamlc src/logic_decl.mli Ocamlc src/explain.mli Ocamlopt src/explain.ml Ocamlc src/xml.mli Ocamlopt src/xml.ml Ocamlc src/project.mli Ocamlopt src/project.ml Ocamlc src/why3_kw.mli Ocamlopt src/why3_kw.ml Ocamlc jc/jc_env.mli Ocamlc jc/output.mli Ocamlopt jc/output.ml Ocamlc jc/jc_common_options.mli Ocamlopt jc/jc_common_options.ml Ocamlopt jc/jc_stdlib.ml Ocamlc jc/jc_stdlib.ml Ocamlc jc/jc_envset.mli Ocamlopt jc/jc_envset.ml Ocamlopt jc/jc_region.ml Ocamlc jc/jc_ast.mli Ocamlopt jc/jc_fenv.ml Ocamlc jc/jc_region.ml Ocamlc jc/jc_fenv.ml Ocamlc jc/jc_constructors.mli Ocamlopt jc/jc_constructors.ml Ocamlc jc/jc_pervasives.mli Ocamlopt jc/jc_pervasives.ml Ocamlc jc/jc_iterators.mli Ocamlopt jc/jc_iterators.ml Ocamlc jc/jc_type_var.mli Ocamlopt jc/jc_type_var.ml Ocamlopt jc/jc_output_misc.ml Ocamlopt jc/jc_poutput.ml Ocamlopt jc/jc_output.ml Ocamlopt jc/jc_noutput.ml Ocamlc jc/jc_options.mli Ocamlopt jc/jc_options.ml Ocamlopt jc/jc_name.ml Ocamlc jc/jc_struct_tools.mli Ocamlopt jc/jc_struct_tools.ml Ocamlc jc/jc_norm.mli Ocamlopt jc/jc_norm.ml Ocamlc jc/jc_typing.mli Ocamlopt jc/jc_typing.ml Ocamlc jc/numconst.mli Ocamlopt jc/numconst.ml Ocamlc jc/jc_parser.mli Ocamlopt jc/jc_parser.ml Ocamlc jc/jc_lexer.mli Ocamlopt jc/jc_lexer.ml Ocamlopt jc/jc_separation.ml Ocamlc jc/jc_callgraph.mli Ocamlopt jc/jc_callgraph.ml Ocamlopt jc/jc_effect.ml Ocamlc jc/jc_ai.mli Ocamlopt jc/jc_ai.ml Ocamlc jc/jc_interp_misc.mli Ocamlopt jc/jc_interp_misc.ml Ocamlopt jc/jc_invariants.ml Ocamlopt jc/jc_pattern.ml Ocamlopt jc/jc_frame_notin.ml Ocamlc jc/jc_interp.mli Ocamlopt jc/jc_interp.ml Ocamlc jc/jc_frame.mli Ocamlopt jc/jc_frame.ml Ocamlopt jc/jc_make.ml Ocamlopt jc/jc_main.ml Linking bin/jessie.opt strip bin/jessie.opt Ocamlc java/java_env.mli Ocamlopt java/java_options.ml Ocamlc java/java_ast.mli Ocamlc java/java_tast.mli Ocamlopt java/java_pervasives.ml Ocamlopt java/java_abstract.ml Ocamlc java/java_parser.mli Ocamlopt java/java_parser.ml Ocamlopt java/java_lexer.ml Ocamlopt java/java_syntax.ml Ocamlc java/java_typing.mli Ocamlopt java/java_typing.ml Ocamlc java/java_callgraph.mli Ocamlopt java/java_callgraph.ml Ocamlopt java/java_analysis.ml Ocamlopt java/java_interp.ml Ocamlopt java/java_main.ml Linking bin/krakatoa.opt strip bin/krakatoa.opt ocamlopt.opt -w Aer-3-6-41-44-45-48-50 -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I /usr/lib/ocaml/ocamlgraph -thread -o regtest.opt unix.cmxa str.cmxa threads.cmxa tools/regtest.ml /usr/bin/coqc -R /usr/lib/powerpc-linux-gnu/why3/coq Why3 -R lib/coq Why lib/coq/Jessie_memory_model.v make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' fakeroot debian/rules binary-arch dh binary-arch --with ocaml --no-parallel dh_testroot -a -O--no-parallel dh_prep -a -O--no-parallel rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ dh_installdirs -a -O--no-parallel install -d debian/why install -d debian/why/usr/share/why rm -f debian/*.debhelper.log debian/rules override_dh_auto_install make[1]: Entering directory '/<>' echo 'description = "Frama-C Jessie plug-in"' > frama-c-plugin/META.frama-c-jessie echo -n 'version = "' >> frama-c-plugin/META.frama-c-jessie echo -n 20161101+silicon+dfsg-5 >> frama-c-plugin/META.frama-c-jessie echo '"' >> frama-c-plugin/META.frama-c-jessie echo 'requires = ""' >> frama-c-plugin/META.frama-c-jessie echo 'archive(byte) = "Jessie.cma"' >> frama-c-plugin/META.frama-c-jessie echo 'archive(native) = "Jessie.cmxa"' >> frama-c-plugin/META.frama-c-jessie echo 'archive(plugin) = "Jessie.cmxs"' >> frama-c-plugin/META.frama-c-jessie echo 'directory = ""' >> frama-c-plugin/META.frama-c-jessie mkdir -p /<>/debian/why/usr/lib/frama-c/plugins /usr/bin/make prefix=/<>/debian/why/usr install \ LIBDIR=/<>/debian/why/usr/share \ PLUGIN_INSTALL_DIR=/<>/debian/why/usr/lib/frama-c/plugins \ COQLIB=/<>/debian/libwhy-coq//usr/lib/coq make[2]: Entering directory '/<>' mkdir -p /<>/debian/why/usr/bin cp -f bin/jessie.opt /<>/debian/why/usr/bin/jessie cp -f bin/krakatoa.opt /<>/debian/why/usr/bin/krakatoa rm -rf /<>/debian/why/usr/share/why mkdir -p /<>/debian/why/usr/share/why/why3 cp -f lib/why3/why3.conf lib/why3/coq.drv lib/why3/jessie_why3theories.why lib/why3/jessie_why3.mlw /<>/debian/why/usr/share/why/why3 cd lib; cp -rf java_api /<>/debian/why/usr/share/why cd lib; cp -rf javacard_api /<>/debian/why/usr/share/why if test -w /<>/debian/libwhy-coq//usr/lib/coq ; then \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/caduceus*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Caduceus*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/jessie*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Jessie*.v* ; \ mkdir -p /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ cp -f lib/coq/Jessie_memory_model.vo /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ else \ echo "Cannot copy to Coq standard library. Add \"-R /<>/debian/why/usr/share/why/coq Why\" to Coq options." ;\ fi Cannot copy to Coq standard library. Add "-R /<>/debian/why/usr/share/why/coq Why" to Coq options. mkdir -p /<>/debian/why/usr/share/why/coq cp -f lib/coq/Jessie_memory_model.vo /<>/debian/why/usr/share/why/coq make[2]: Leaving directory '/<>' #Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq rm -f -rf /<>/debian/why/usr/share/coq/ #There is no program using the Jessie library. rm -f -rf /<>/debian/why/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file rm -f -f /<>/debian/why/usr/lib/frama-c/plugins/Jessie.cmo echo 'F:CoqABI=8.6+4.02.3' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=20161101+silicon+dfsg-5' >> debian/why.substvars make[1]: Leaving directory '/<>' dh_ocamldoc -a -O--no-parallel dh_installdocs -a -O--no-parallel install -d debian/why/usr/share/doc/why cp --reflink=auto -a README debian/why/usr/share/doc/why chown -R 0:0 debian/why/usr/share/doc chmod -R go=rX debian/why/usr/share/doc chmod -R u\+rw debian/why/usr/share/doc install -p -m0644 debian/copyright debian/why/usr/share/doc/why/copyright dh_installchangelogs -a -O--no-parallel install -p -m0644 debian/changelog debian/why/usr/share/doc/why/changelog.Debian install -p -m0644 debian/why.NEWS debian/why/usr/share/doc/why/NEWS.Debian dh_installman -a -O--no-parallel install -d debian/why/usr/share/man/man1/ install -p -m0644 debian/jessie.1 debian/why/usr/share/man/man1/jessie.1 install -p -m0644 debian/krakatoa.1 debian/why/usr/share/man/man1/krakatoa.1 man --recode UTF-8 ./krakatoa\.1 > krakatoa\.1\.new chmod 0755 -- krakatoa.1.new chown 0:0 -- krakatoa.1.new mv -f krakatoa.1.new krakatoa.1 man --recode UTF-8 ./jessie\.1 > jessie\.1\.new chmod 0755 -- jessie.1.new chown 0:0 -- jessie.1.new mv -f jessie.1.new jessie.1 dh_perl -a -O--no-parallel dh_link -a -O--no-parallel dh_strip_nondeterminism -a -O--no-parallel rm -f debian/*.debhelper.log debian/rules override_dh_compress make[1]: Entering directory '/<>' dh_compress -X.v -X.sx -X.why cd debian/why chmod a-x usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 gzip -9nf usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 cd '/<>' make[1]: Leaving directory '/<>' dh_fixperms -a -O--no-parallel find debian/why -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/why ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/why/usr/share/doc -type f ! -regex 'debian/why/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 0755 find debian/why/usr/share/man -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/lib/powerpc-linux-gnu/perl5/5.24 debian/why/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X find debian/why -perm -5 -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/bin -type f -print0 2>/dev/null | xargs -0r chmod a+x find debian/why/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w dh_strip -a -O--no-parallel dh_strip debug symbol extraction: enabling -a due to Build-Debug-Symbols: yes in /CurrentlyBuilding dh_strip debug symbol extraction: all non-arch-all packages for this build platform powerpc: why dh_strip debug symbol extraction: packages to act on: why dh_strip debug symbol extraction: ignored packages: Using buildid for compat level >= 9 why has no unstripped objects, ignoring find: ‘/<>/debian/why-dbgsym’: No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /<>/debian/why-dbgsym and no dbgdepends, ignoring strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/krakatoa strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/jessie dh_makeshlibs -a -O--no-parallel rm -f debian/why/DEBIAN/shlibs dh_shlibdeps -a -O--no-parallel install -d debian/why/DEBIAN dpkg-shlibdeps -Tdebian/why.substvars debian/why/usr/bin/krakatoa debian/why/usr/bin/jessie dh_installdeb -a -O--no-parallel dh_ocaml -a -O--no-parallel +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ "cat debian/why.olist.debhelper" +++ Compute .md5sums and lintian files for dev packages +++ +++ Compute dependencies for dev +++ +++ Compute dependencies for binary packages+++ grep -a -s -v '^ocaml:Depends=' debian/why.substvars > debian/why.substvars.new || true mv debian/why.substvars.new debian/why.substvars /usr/bin/ocaml-md5sums -v --package why dep < debian/why.olist.debhelper dh_gencontrol -a -O--no-parallel echo misc:Depends= >> debian/why.substvars echo misc:Pre-Depends= >> debian/why.substvars dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/why dpkg-gencontrol: warning: Depends field of package why: unknown substitution variable ${ocaml:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe chmod 0644 -- debian/why/DEBIAN/control chown 0:0 -- debian/why/DEBIAN/control dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform powerpc: why dh_gencontrol debug symbol wrapper: packages to act on: why dh_gencontrol debug symbol wrapper: ignored packages: dh_gencontrol debug symbol wrapper: no debian/why-dbgsym, skipping package why dh_md5sums -a -O--no-parallel (cd debian/why >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/why/DEBIAN/md5sums chown 0:0 -- debian/why/DEBIAN/md5sums dh_builddeb -a -O--no-parallel dpkg-deb --build debian/why .. INFO: pkgstriptranslations version 131 pkgstriptranslations: processing why (in debian/why); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/why/DEBIAN/control, package why, directory debian/why pkgstripfiles: Truncating usr/share/doc/why/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package why ... pkgstripfiles: No PNG files. dpkg-deb: building package 'why' in '../why_2.36-5build2_powerpc.deb'. dpkg-genchanges --build=any -mLaunchpad Build Daemon >../why_2.36-5build2_powerpc.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build why-2.36 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20170202-0126 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ why_2.36-5build2_powerpc.changes: --------------------------------- Format: 1.8 Date: Thu, 02 Feb 2017 11:34:20 +0530 Source: why Binary: why libwhy-coq Architecture: powerpc Version: 2.36-5build2 Distribution: zesty-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Bhavani Shankar Description: libwhy-coq - Why library for Coq why - Software verification tool for C and Java Changes: why (2.36-5build2) zesty; urgency=medium . * Try rebuild again against latest OCaml. Checksums-Sha1: c5ba133d628f44f8cfe827468bbf092f28b10067 1148642 why_2.36-5build2_powerpc.deb Checksums-Sha256: d7a34d12ff8ad4451e40981f7e00bea514b6ee2f7c69844f1ee41bfbace80ad1 1148642 why_2.36-5build2_powerpc.deb Files: 0aa12ea31a296ab90af715665a682445 1148642 math optional why_2.36-5build2_powerpc.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ why_2.36-5build2_powerpc.deb ---------------------------- new debian package, version 2.0. size 1148642 bytes: control archive=3789 bytes. 771 bytes, 17 lines control 8982 bytes, 104 lines md5sums Package: why Version: 2.36-5build2 Architecture: powerpc Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 6079 Depends: libc6 (>= 2.15), frama-c-base (= 20161101+silicon+dfsg-5), why3, make Suggests: libwhy-coq (= 2.36-5build2) Section: math Priority: optional Homepage: http://krakatoa.lri.fr/ Description: Software verification tool for C and Java This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL). drwxr-xr-x root/root 0 2017-02-02 01:04 ./ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/bin/ -rwxr-xr-x root/root 2806128 2017-02-02 01:04 ./usr/bin/jessie -rwxr-xr-x root/root 2022616 2017-02-02 01:04 ./usr/bin/krakatoa drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/lib/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/lib/frama-c/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/lib/frama-c/plugins/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/doc/why/ -rw-r--r-- root/root 222 2016-12-27 07:13 ./usr/share/doc/why/NEWS.Debian.gz -rw-r--r-- root/root 3206 2016-07-22 04:03 ./usr/share/doc/why/README -rw-r--r-- root/root 2052 2017-02-02 01:04 ./usr/share/doc/why/changelog.Debian.gz -rw-r--r-- root/root 3865 2016-12-27 07:13 ./usr/share/doc/why/copyright drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/man/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/man/man1/ -rw-r--r-- root/root 907 2017-02-02 01:04 ./usr/share/man/man1/jessie.1.gz -rw-r--r-- root/root 553 2017-02-02 01:04 ./usr/share/man/man1/krakatoa.1.gz drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/coq/ -rw-r--r-- root/root 88305 2017-02-02 01:04 ./usr/share/why/coq/Jessie_memory_model.vo drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/java_api/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/java_api/java/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/java_api/java/io/ -rw-r--r-- root/root 7104 2017-02-02 01:04 ./usr/share/why/java_api/java/io/BufferedWriter.java -rw-r--r-- root/root 63721 2017-02-02 01:04 ./usr/share/why/java_api/java/io/File.java -rw-r--r-- root/root 3929 2017-02-02 01:04 ./usr/share/why/java_api/java/io/FileDescriptor.java -rw-r--r-- root/root 1932 2017-02-02 01:04 ./usr/share/why/java_api/java/io/FileNotFoundException.java -rw-r--r-- root/root 2093 2017-02-02 01:04 ./usr/share/why/java_api/java/io/FileReader.java -rw-r--r-- root/root 5152 2017-02-02 01:04 ./usr/share/why/java_api/java/io/FilterOutputStream.java -rw-r--r-- root/root 1103 2017-02-02 01:04 ./usr/share/why/java_api/java/io/IOException.java -rw-r--r-- root/root 14881 2017-02-02 01:04 ./usr/share/why/java_api/java/io/InputStream.java -rw-r--r-- root/root 5732 2017-02-02 01:04 ./usr/share/why/java_api/java/io/InputStreamReader.java -rw-r--r-- root/root 64725 2017-02-02 01:04 ./usr/share/why/java_api/java/io/ObjectStreamClass.java -rw-r--r-- root/root 5082 2017-02-02 01:04 ./usr/share/why/java_api/java/io/OutputStream.java -rw-r--r-- root/root 6788 2017-02-02 01:04 ./usr/share/why/java_api/java/io/OutputStreamWriter.java -rw-r--r-- root/root 18130 2017-02-02 01:04 ./usr/share/why/java_api/java/io/PrintStream.java -rw-r--r-- root/root 7268 2017-02-02 01:04 ./usr/share/why/java_api/java/io/Reader.java -rw-r--r-- root/root 4695 2017-02-02 01:04 ./usr/share/why/java_api/java/io/Serializable.java -rw-r--r-- root/root 25753 2017-02-02 01:04 ./usr/share/why/java_api/java/io/StreamTokenizer.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/ -rw-r--r-- root/root 1028 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/ArrayStoreException.java -rw-r--r-- root/root 3067 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/CharSequence.java -rw-r--r-- root/root 74738 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Character.java -rw-r--r-- root/root 89699 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Class.java -rw-r--r-- root/root 1353 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Cloneable.java -rw-r--r-- root/root 5730 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Comparable.java -rw-r--r-- root/root 28832 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Double.java -rw-r--r-- root/root 2772 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Exception.java -rw-r--r-- root/root 893 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java -rw-r--r-- root/root 35750 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Integer.java -rw-r--r-- root/root 34165 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Long.java -rw-r--r-- root/root 37242 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Math.java -rw-r--r-- root/root 3072 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Number.java -rw-r--r-- root/root 1356 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/NumberFormatException.java -rw-r--r-- root/root 23657 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Object.java -rw-r--r-- root/root 2935 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/RuntimeException.java -rw-r--r-- root/root 90665 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/String.java -rw-r--r-- root/root 50601 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/StringBuffer.java -rw-r--r-- root/root 38062 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/System.java -rw-r--r-- root/root 26985 2017-02-02 01:04 ./usr/share/why/java_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/java_api/java/util/ -rw-r--r-- root/root 23747 2017-02-02 01:04 ./usr/share/why/java_api/java/util/AbstractMap.java -rw-r--r-- root/root 18850 2017-02-02 01:04 ./usr/share/why/java_api/java/util/Collection.java -rw-r--r-- root/root 34531 2017-02-02 01:04 ./usr/share/why/java_api/java/util/HashMap.java -rw-r--r-- root/root 761 2017-02-02 01:04 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java -rw-r--r-- root/root 785 2017-02-02 01:04 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java -rw-r--r-- root/root 2165 2017-02-02 01:04 ./usr/share/why/java_api/java/util/Iterator.java -rw-r--r-- root/root 39 2017-02-02 01:04 ./usr/share/why/java_api/java/util/Locale.java -rw-r--r-- root/root 19069 2017-02-02 01:04 ./usr/share/why/java_api/java/util/Map.java -rw-r--r-- root/root 14662 2017-02-02 01:04 ./usr/share/why/java_api/java/util/Set.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/com/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/com/sun/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/com/sun/javacard/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/com/sun/javacard/impl/ -rw-r--r-- root/root 114 2017-02-02 01:04 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java -rw-r--r-- root/root 65 2017-02-02 01:04 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java -rw-r--r-- root/root 64 2017-02-02 01:04 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java -rw-r--r-- root/root 62 2017-02-02 01:04 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/java/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/java/lang/ -rw-r--r-- root/root 500 2017-02-02 01:04 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java -rw-r--r-- root/root 1659 2017-02-02 01:04 ./usr/share/why/javacard_api/java/lang/Exception.java -rw-r--r-- root/root 482 2017-02-02 01:04 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java -rw-r--r-- root/root 3513 2017-02-02 01:04 ./usr/share/why/javacard_api/java/lang/Object.java -rw-r--r-- root/root 1758 2017-02-02 01:04 ./usr/share/why/javacard_api/java/lang/RuntimeException.java -rw-r--r-- root/root 1793 2017-02-02 01:04 ./usr/share/why/javacard_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/ -rw-r--r-- root/root 7395 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/AID.java -rw-r--r-- root/root 38103 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/APDU.java -rw-r--r-- root/root 5011 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/APDUException.java -rw-r--r-- root/root 14548 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/Applet.java -rw-r--r-- root/root 3167 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/CardException.java -rw-r--r-- root/root 3306 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java -rw-r--r-- root/root 9040 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java -rw-r--r-- root/root 4779 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java -rw-r--r-- root/root 4190 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/ISOException.java -rw-r--r-- root/root 17345 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java -rw-r--r-- root/root 11618 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java -rw-r--r-- root/root 5358 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/PIN.java -rw-r--r-- root/root 3042 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/PINException.java -rw-r--r-- root/root 1565 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/Shareable.java -rw-r--r-- root/root 4295 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/SystemException.java -rw-r--r-- root/root 4167 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java -rw-r--r-- root/root 3223 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/UserException.java -rw-r--r-- root/root 17202 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/framework/Util.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/ -rw-r--r-- root/root 3820 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/CryptoException.java -rw-r--r-- root/root 3138 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/DESKey.java -rw-r--r-- root/root 6928 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/DSAKey.java -rw-r--r-- root/root 3305 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java -rw-r--r-- root/root 3308 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java -rw-r--r-- root/root 2223 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/Key.java -rw-r--r-- root/root 5796 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java -rw-r--r-- root/root 6484 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/KeyPair.java -rw-r--r-- root/root 5038 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java -rw-r--r-- root/root 1190 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java -rw-r--r-- root/root 1190 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/PublicKey.java -rw-r--r-- root/root 10715 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java -rw-r--r-- root/root 5014 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java -rw-r--r-- root/root 4723 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java -rw-r--r-- root/root 3257 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/RandomData.java -rw-r--r-- root/root 1186 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/SecretKey.java -rw-r--r-- root/root 18870 2017-02-02 01:04 ./usr/share/why/javacard_api/javacard/security/Signature.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/javacardx/ drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/javacard_api/javacardx/crypto/ -rw-r--r-- root/root 2970 2017-02-02 01:04 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java drwxr-xr-x root/root 0 2017-02-02 01:04 ./usr/share/why/why3/ -rw-r--r-- root/root 141 2017-02-02 01:04 ./usr/share/why/why3/coq.drv -rw-r--r-- root/root 19602 2017-02-02 01:04 ./usr/share/why/why3/jessie_why3.mlw -rw-r--r-- root/root 19703 2017-02-02 01:04 ./usr/share/why/why3/jessie_why3theories.why -rw-r--r-- root/root 344 2017-02-02 01:04 ./usr/share/why/why3/why3.conf +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: powerpc Build-Space: 55216 Build-Time: 24 Distribution: zesty-proposed Host Architecture: powerpc Install-Time: 200 Job: why_2.36-5build2.dsc Machine Architecture: powerpc Package: why Package-Time: 225 Source-Version: 2.36-5build2 Space: 55216 Status: successful Version: 2.36-5build2 -------------------------------------------------------------------------------- Finished at 20170202-0126 Build needed 00:03:45, 55216k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-11955393'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-11955393/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-11955393'] Unmounting chroot for build PACKAGEBUILD-11955393... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-11955393'] Removing build PACKAGEBUILD-11955393